]> matita.cs.unibo.it Git - helm.git/blob - helm/DEVEL/pxp/pxp/compatibility/Makefile
- the mathql interpreter is not helm-dependent any more
[helm.git] / helm / DEVEL / pxp / pxp / compatibility / Makefile
1 # make all:             make bytecode archive
2 # make opt:             make native archive
3 # make install:         install bytecode archive, and if present, native archive
4 # make uninstall:       uninstall package
5 # make clean:           remove intermediate files (in this directory)
6 # make CLEAN:           remove intermediate files (recursively)
7 # make distclean:       remove any superflous files (recursively)
8
9 #----------------------------------------------------------------------
10
11 include Makefile.conf
12
13 .PHONY: all
14 all: 
15         $(MAKE) -f Makefile.code all
16
17 .PHONY: opt
18 opt: 
19         $(MAKE) -f Makefile.code opt
20
21 .PHONY: install
22 install: all 
23         files=`../tools/collect_files *.cmi *.cma *.cmxa *.a` && \
24         ocamlfind install $(NAME) $(MLI) $$files META
25
26 .PHONY: uninstall
27 uninstall:
28         ocamlfind remove $(NAME)
29
30 .PHONY: clean
31 clean:
32         rm -f *.cmi *.cmo *.cma *.cmx *.o *.a *.cmxa *.new *.old
33
34 .PHONY: CLEAN
35 CLEAN: clean
36
37 .PHONY: distclean
38 distclean: clean
39         rm -f *~ depend depend.pkg
40