/[svn]/Makefile
ViewVC logotype

Contents of /Makefile

Parent Directory Parent Directory | Revision Log Revision Log


Revision 816 - (show annotations)
Tue Jul 10 18:05:10 2007 UTC (5 years, 10 months ago) by abate
File size: 3422 byte(s)
[r2003-11-25 08:36:05 by beppe] Empty log message

Original author: beppe
Date: 2003-11-25 08:36:05+00:00
1 NATIVE=false
2
3 include Makefile.distrib
4
5 # For development
6
7 pull: tools/pull.$(EXTENSION)
8 $(LINK) -o $@ $^
9
10 PREPRO = camlp4o -I `ocamlfind query ulex` pa_ulex.cma pr_o.cmo $(SYNTAX) -sep "\n"
11
12 profile: misc/q_symbol.cmo
13 rm -Rf prepro
14 mkdir prepro
15 for i in $(DIRS); do \
16 mkdir prepro/$$i; \
17 for j in $$i/*.ml $$i/*.mli; do \
18 if [ -f "$$j" ]; then \
19 echo $$j; \
20 $(PREPRO) $$j -o prepro/$$j; \
21 fi; \
22 done; \
23 done
24 cp Makefile.distrib Makefile Makefile.conf prepro/
25 (cd prepro; \
26 touch depend; \
27 $(MAKE) compute_depend PROFILE=true SYNTAX_PARSER= ; \
28 $(MAKE) cduce PROFILE=true SYNTAX_PARSER= NATIVE=false)
29
30 # Site-specific installation
31
32 cedre_build:
33 rsh cedre ". .env; cd IMPLEM/CDUCE; $(MAKE) webiface webpages"
34 scp CHANGES INSTALL INSTALL.WIN32 web/www/*.html web/cduce.css cduce@iris:public_html/
35 scp webiface cduce@iris:cgi-bin/cduce
36
37 install_web_distant:
38 $(MAKE) webpages
39 scp CHANGES INSTALL INSTALL.WIN32 web/www/*.html web/cduce.css cduce@iris:public_html/
40
41 SCRIPT =
42 INCLUDES_DEB = $(INCLUDES) $(shell ocamlfind query -i-format -recursive $(PACKAGES))
43 DEBUGGER = ocamldebug
44 debug:
45 ledit $(DEBUGGER) $(INCLUDES_DEB) ./cduce $(SCRIPT)
46
47 # Packaging
48
49 DISTRIB = $(DIRS) cduce.spec expat tools web depend INSTALL INSTALL.WIN32 CHANGES LICENSE README Makefile.conf doc
50
51 PACKAGE = cduce-$(VERSION)
52 .PHONY: package
53 package: clean
54 rm -Rf $(PACKAGE)
55 mkdir $(PACKAGE)
56 cp -R $(DISTRIB) $(PACKAGE)/
57 cp Makefile.distrib $(PACKAGE)/Makefile
58 (cd $(PACKAGE); \
59 rm -f types/IDEAS; \
60 headache -h ../header $(DEPEND))
61 tar czf $(PACKAGE).tar.gz --exclude CVS --exclude ".#*" $(PACKAGE)
62 rm -Rf $(PACKAGE)
63
64 OCAML_STDLIBDIR := $(shell ocamlc -where)
65 .PHONY: .ocamlinit
66 .ocamlinit:
67 echo '(* AUTOMATICALLY GENERATED by Makefile: DO NOT EDIT! *)' > $@
68 echo '#load "$(OCAML_STDLIBDIR)/pcre/pcre.cma";;' >> $@
69 echo '#load "$(OCAML_STDLIBDIR)/unix.cma";;' >> $@
70 echo '#load "$(OCAML_STDLIBDIR)/netstring/netstring.cma";;' >> $@
71 # echo '#load "$(OCAML_STDLIBDIR)/netstring/netstring_top.cmo";;' >> $@
72 echo '#load "$(OCAML_STDLIBDIR)/pxp-engine/pxp_engine.cma";;' >> $@
73 # echo '#load "$(OCAML_STDLIBDIR)/pxp-engine/pxp_top.cmo";;' *)' >> $@
74 echo '#load "$(OCAML_STDLIBDIR)/pxp-lex-iso88591/pxp_lex_iso88591.cma";;' >> $@
75 echo '#load "$(OCAML_STDLIBDIR)/pxp-lex-iso88591/pxp_lex_link_iso88591.cmo";;' >> $@
76 echo '#load "$(OCAML_STDLIBDIR)/ulex/ulexing.cma";;' >> $@
77 echo '#load "$(OCAML_STDLIBDIR)/nums.cma";;' >> $@
78 # echo '#load "$(OCAML_STDLIBDIR)/num_top.cma";;' >> $@
79 echo '#load "$(OCAML_STDLIBDIR)/cgi/cgi.cma";;' >> $@
80 for o in $(VALIDATE_OBJECTS); do echo "prerr_endline \"Loading $$o ...\";;" >> $@; echo "#load \"$$o\";;" >> $@; done
81 for d in $(DIRS); do echo "#directory \"$$d\";;" >> $@; done
82 for p in pcre netstring pxp-engine ulex cgi; do echo "#directory \"`$(OCAMLFIND) query $$p`\";;" >> $@; done
83 echo "prerr_endline \"All done!\"" >> $@
84 echo '(* vim: set ft=ocaml: *)' >> $@
85
86 CVS_DISTRIB = web CHANGES LICENSE README doc cduce dtd2cduce
87 cvs_snapshot: clean
88 if [[ `uname` != Linux ]]; then echo "Not a Linux box!"; exit 2; fi
89 $(MAKE) cduce dtd2cduce NATIVE=true EXTRA_LINK_OPTS="-ccopt -static" VERSION=cvs`date +%Y%m%d`
90 rm -Rf cduce-cvs
91 mkdir cduce-cvs
92 cp -R $(CVS_DISTRIB) cduce-cvs
93 cp Makefile.binary cduce-cvs/Makefile
94 tar czf cduce-cvs-linux-static.tar.gz --exclude CVS cduce-cvs
95 rm -Rf cduce-cvs
96 scp cduce-cvs-linux-static.tar.gz cduce@di.ens.fr:public_html/download

CVS Admin">CVS Admin
ViewVC Help
Powered by ViewVC 1.1.5