/[svn]/cduce/trunk/Makefile
ViewVC logotype

Diff of /cduce/trunk/Makefile

Parent Directory Parent Directory | Revision Log Revision Log | View Patch Patch

revision 95 by abate, Tue Jul 10 17:05:54 2007 UTC revision 309 by abate, Tue Jul 10 17:23:55 2007 UTC
# Line 1  Line 1 
1  # Source directories  # Source directories
2    
3  DIRS = misc parser typing types runtime driver  DIRS = misc parser typing types runtime driver toplevel
4  CLEAN_DIRS = $(DIRS) tools tests  CLEAN_DIRS = $(DIRS) tools tests
5    
6  # Objects to build  # Objects to build
7    
8  MISC = misc/pool.cmo misc/encodings.cmo misc/state.cmo  MISC = misc/state.cmo misc/pool.cmo misc/encodings.cmo misc/bool.cmo
9    
10  PARSER = parser/lexer.cmo parser/location.cmo \  PARSER = parser/lexer.cmo parser/location.cmo \
11           parser/wlexer.cmo \           parser/wlexer.cmo \
# Line 13  Line 13 
13    
14  TYPING = typing/typed.cmo typing/typer.cmo  TYPING = typing/typed.cmo typing/typer.cmo
15    
16  TYPES  = types/recursive.cmo \  TYPES  = \
          types/recursive_share.cmo types/recursive_noshare.cmo \  
17           types/sortedList.cmo types/sortedMap.cmo types/boolean.cmo \           types/sortedList.cmo types/sortedMap.cmo types/boolean.cmo \
18             types/ident.cmo \
19           types/intervals.cmo types/chars.cmo types/atoms.cmo \           types/intervals.cmo types/chars.cmo types/atoms.cmo \
20             types/normal.cmo \
21           types/types.cmo \           types/types.cmo \
22           types/patterns.cmo \           types/patterns.cmo \
23           types/sequence.cmo \           types/sequence.cmo \
# Line 32  Line 33 
33  OBJECTS = $(MISC) $(TYPES) $(PARSER) $(TYPING) $(RUNTIME)  OBJECTS = $(MISC) $(TYPES) $(PARSER) $(TYPING) $(RUNTIME)
34    
35  CDUCE = $(OBJECTS) $(DRIVER) driver/run.cmo  CDUCE = $(OBJECTS) $(DRIVER) driver/run.cmo
36  WEBIFACE  = $(OBJECTS) $(DRIVER) driver/webiface.cmo  WEBIFACE  = $(OBJECTS) $(DRIVER) driver/examples.cmo driver/webiface.cmo
37  TOPLEVEL = $(OBJECTS) toplevel/toploop.cmo  TOPLEVEL = $(OBJECTS) toplevel/toploop.cmo
38    
39  XOBJECTS = $(OBJECTS:.cmo=.cmx)  XOBJECTS = $(OBJECTS:.cmo=.cmx)
40  XCDUCE = $(CDUCE:.cmo=.cmx)  XCDUCE = $(CDUCE:.cmo=.cmx)
41    XWEBIFACE =  $(WEBIFACE:.cmo=.cmx)
42    
43    
44  DEBUG = -g  DEBUG = -g
# Line 45  Line 46 
46  OCAMLCP = ocamlc  OCAMLCP = ocamlc
47  OCAMLC = ocamlfind $(OCAMLCP) -package $(PACKAGES)  OCAMLC = ocamlfind $(OCAMLCP) -package $(PACKAGES)
48  OCAMLOPT = ocamlfind ocamlopt  -package $(PACKAGES)  OCAMLOPT = ocamlfind ocamlopt  -package $(PACKAGES)
49    # extra options:
50    #    -inline 25
51    #    -p (profiling)
52    #    -noassert
53    
54  DEPEND = $(DIRS:=/*.ml) $(DIRS:=/*.mli)  DEPEND = $(DIRS:=/*.ml) $(DIRS:=/*.mli)
55  INCLUDES = $(DIRS:%=-I %)  INCLUDES = $(DIRS:%=-I %)
# Line 60  Line 65 
65          $(OCAMLOPT) -a -o $@ $(XOBJECTS)          $(OCAMLOPT) -a -o $@ $(XOBJECTS)
66    
67    
68    OCAMLDEFUN = /home/frisch/defun/bin/ocamldefun
69    DEFUN_FILES = $(OBJECTS:%.cmo=%)
70    
71    build_defun:
72            for i in $(DEFUN_FILES); do \
73            $(OCAMLDEFUN) $(DIRS:%=-I defun/%) -p -d defun $$i.mli $$i.ml; \
74            $(OCAMLDEFUN) $(DIRS:%=-I defun/%) -p -d defun $$i.ml; \
75            done
76    
77  cduce: $(CDUCE)  cduce: $(CDUCE)
78          $(OCAMLC) $(DEBUG) -linkpkg -o $@ gramlib.cma $(CDUCE)          $(OCAMLC) $(DEBUG) -linkpkg -o $@ gramlib.cma $(CDUCE)
79    
80  toplevel: $(TOPLEVEL)  toplevel.out: $(TOPLEVEL)
81          $(OCAMLC) $(DEBUG) -linkpkg -o $@ gramlib.cma $(TOPLEVEL)          $(OCAMLC) $(DEBUG) -linkpkg -o $@ gramlib.cma $(TOPLEVEL)
82    
83  webiface: $(WEBIFACE)  webiface: $(WEBIFACE)
# Line 76  Line 90 
90  pull: tools/pull.cmo  pull: tools/pull.cmo
91          $(OCAMLC) $(DEBUG) -linkpkg -o $@ $<          $(OCAMLC) $(DEBUG) -linkpkg -o $@ $<
92    
93  cduce.opt: all.cmxa $(XDRIVER)  cduce.opt: $(XCDUCE)
94          $(OCAMLOPT) -linkpkg -o $@ gramlib.cmxa $(XOBJECTS) $(XDRIVER)          $(OCAMLOPT) -linkpkg -o $@ gramlib.cmxa $(XCDUCE)
95    
96    webiface.opt: $(XWEBIFACE)
97            $(OCAMLOPT) -linkpkg -o $@ gramlib.cmxa $(XWEBIFACE)
98    
99  compute_depend:  compute_depend:
100          @echo "Computing dependencies ..."          @echo "Computing dependencies ..."
# Line 95  Line 112 
112          done          done
113          rm -f parser/wlexer.ml          rm -f parser/wlexer.ml
114          rm -f *.cmi *.cmo *.cma *.cmx *.a *.cmxa *.o *~          rm -f *.cmi *.cmo *.cma *.cmx *.a *.cmxa *.o *~
115          rm -f cduce cduce.opt ocamlprof.dump          rm -f cduce cduce.opt webiface.opt ocamlprof.dump
116          rm -f dtd2cduce pool webiface          rm -f dtd2cduce pool webiface
117          rm -Rf prepro          rm -Rf prepro
118            rm -f web/*.php web/*~
119    
120    
121  .SUFFIXES: .ml .mli .cmo .cmi .cmx  .SUFFIXES: .ml .mli .cmo .cmi .cmx
# Line 114  Line 132 
132          fi; \          fi; \
133          done; \          done; \
134          done          done
135            cp parser/wlexer.mll prepro/parser/
136          cp Makefile depend prepro/          cp Makefile depend prepro/
137          (cd prepro;  make cduce OCAMLCP="ocamlcp -p a" SYNTAX_PARSER=)          (cd prepro;  make cduce OCAMLCP="ocamlcp -p a" SYNTAX_PARSER=)
138    
# Line 135  Line 154 
154          fort all.cma $(INCLUDES) tests/test_fort.ml          fort all.cma $(INCLUDES) tests/test_fort.ml
155    
156  include depend  include depend
157    
158    
159    driver/examples.ml: cduce.opt web/examples/build.cd web/examples/examples.xml
160            (cd web/examples; ../../cduce.opt -quiet build.cd)
161    
162    
163    web/files: cduce.opt web/site.cd
164            (cd web; ../cduce.opt -quiet site.cd)
165    
166    
167    write_header:
168            headache -h header $(DEPEND)
169    
170    remove_header:
171            headache -r $(DEPEND)
172    
173    # Site-specific installation
174    build_web:
175            rsh cedre ". .env; cd IMPLEM/CDUCE; make webiface.opt"
176    install_web:
177            ssh cduce@iris.ens.fr "cp ~frisch/IMPLEM/CDUCE/webiface.opt cgi-bin/cduce; chmod +s cgi-bin/cduce"
178    install_web_local:
179            ssh root@localhost "cp ~beppe/IMPLEM/CDUCE/webiface.opt /var/www/cgi-bin/cduce; cp ~beppe/IMPLEM/CDUCE/web/*.php /var/www/html/; chmod +s /var/www/cgi-bin/cduce;"
180    
181    build_website:
182            rsh cedre ". .env; cd IMPLEM/CDUCE; make web/files"
183            scp web/*.php web/cduce.css cduce@iris:public_html/
184    
Legend:
Removed from v.95  
changed lines
  Added in v.309
CVS Admin">CVS Admin
 ViewVC Help
Powered by ViewVC 1.1.5