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

Diff of /cduce/trunk/Makefile

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

revision 61 by abate, Tue Jul 10 17:02:11 2007 UTC revision 124 by abate, Tue Jul 10 17:08:19 2007 UTC
# Line 1  Line 1 
1  # Source directories  # Source directories
2    
3  DIRS = parser typing types runtime driver  DIRS = misc parser typing types runtime driver toplevel
4    CLEAN_DIRS = $(DIRS) tools tests
5    
6  # Objects to build  # Objects to build
7    
8  PARSER = parser/lexer.cmo parser/location.cmo parser/ast.cmo parser/parser.cmo  MISC = misc/state.cmo misc/pool.cmo misc/encodings.cmo
9    
10    PARSER = parser/lexer.cmo parser/location.cmo \
11             parser/wlexer.cmo \
12             parser/ast.cmo parser/parser.cmo
13    
14  TYPING = typing/typed.cmo typing/typer.cmo  TYPING = typing/typed.cmo typing/typer.cmo
15    
16  TYPES  = types/recursive.cmo types/sortedList.cmo \  TYPES  = types/recursive.cmo \
17           types/sortedMap.cmo types/boolean.cmo \           types/recursive_share.cmo types/recursive_noshare.cmo \
18             types/sortedList.cmo types/sortedMap.cmo types/boolean.cmo \
19           types/intervals.cmo types/chars.cmo types/atoms.cmo \           types/intervals.cmo types/chars.cmo types/atoms.cmo \
20           types/types.cmo \           types/types.cmo \
21           types/patterns.cmo \           types/patterns.cmo \
22           types/sequence.cmo \           types/sequence.cmo \
23           types/builtin.cmo           types/builtin.cmo
24    
25  RUNTIME = runtime/value.cmo  RUNTIME = runtime/value.cmo \
26              runtime/load_xml.cmo runtime/run_dispatch.cmo \
27              runtime/print_xml.cmo \
28              runtime/eval.cmo
29    
30  DRIVER = driver/cduce.cmo  DRIVER = driver/cduce.cmo
31    
32  OBJECTS = $(TYPES) $(PARSER) $(TYPING) $(RUNTIME)  OBJECTS = $(MISC) $(TYPES) $(PARSER) $(TYPING) $(RUNTIME)
33    
34    CDUCE = $(OBJECTS) $(DRIVER) driver/run.cmo
35    WEBIFACE  = $(OBJECTS) $(DRIVER) driver/webiface.cmo
36    TOPLEVEL = $(OBJECTS) toplevel/toploop.cmo
37    
38  XOBJECTS = $(OBJECTS:.cmo=.cmx)  XOBJECTS = $(OBJECTS:.cmo=.cmx)
39  XDRIVER = $(DRIVER:.cmo=.cmx)  XCDUCE = $(CDUCE:.cmo=.cmx)
40    
41    
42    
43  DEBUG = -g  DEBUG = -g
44  PACKAGES = pxp-engine,pxp-lex-iso88591,camlp4,num  PACKAGES = pxp-engine,pxp-lex-iso88591,wlexing,camlp4,num,cgi
45  OCAMLCP = ocamlc  OCAMLCP = ocamlc
46  OCAMLC = ocamlfind $(OCAMLCP) -package $(PACKAGES)  OCAMLC = ocamlfind $(OCAMLCP) -package $(PACKAGES)
47  OCAMLOPT = ocamlfind ocamlopt  -package $(PACKAGES)  OCAMLOPT = ocamlfind ocamlopt  -package $(PACKAGES)
# Line 46  Line 60 
60          $(OCAMLOPT) -a -o $@ $(XOBJECTS)          $(OCAMLOPT) -a -o $@ $(XOBJECTS)
61    
62    
63  cduce: $(OBJECTS) $(DRIVER)  cduce: $(CDUCE)
64          $(OCAMLC) $(DEBUG) -linkpkg -o $@ gramlib.cma $(OBJECTS) $(DRIVER)          $(OCAMLC) $(DEBUG) -linkpkg -o $@ gramlib.cma $(CDUCE)
65    
66    toplevel.out: $(TOPLEVEL)
67            $(OCAMLC) $(DEBUG) -linkpkg -o $@ gramlib.cma $(TOPLEVEL)
68    
69    webiface: $(WEBIFACE)
70            $(OCAMLC) $(DEBUG) -linkpkg -o $@ gramlib.cma $(WEBIFACE)
71    
72    
73    dtd2cduce: tools/dtd2cduce.cmo
74            $(OCAMLC) $(DEBUG) -linkpkg -o $@ $<
75    
76  cduce.opt: all.cmxa $(XDRIVER)  pull: tools/pull.cmo
77          $(OCAMLOPT) -linkpkg -o $@ gramlib.cmxa $(XOBJECTS) $(XDRIVER)          $(OCAMLC) $(DEBUG) -linkpkg -o $@ $<
78    
79    cduce.opt: $(XCDUCE)
80            $(OCAMLOPT) -linkpkg -o $@ gramlib.cmxa $(XCDUCE)
81    
82  compute_depend:  compute_depend:
83          @echo "Computing dependencies ..."          @echo "Computing dependencies ..."
84          ocamldep $(INCLUDES) $(SYNTAX_PARSER) $(DEPEND) > depend          ocamldep $(INCLUDES) $(SYNTAX_PARSER) $(DEPEND) > depend
85    
86    parser/wlexer.ml: parser/wlexer.mll
87            wlex parser/wlexer.mll
88    
89  run_top: all.cma  run_top: all.cma
90          ledit ocaml $(INCLUDES) `ocamlfind use pxp` all.cma          ledit ocaml $(INCLUDES) `ocamlfind use pxp` all.cma
91    
92  clean:  clean:
93          for i in $(DIRS); do \          for i in $(CLEAN_DIRS); do \
94          (cd $$i; rm -f *.cmi *.cmo *.cma *.cmx *.o *~); \          (cd $$i; rm -f *.cmi *.cmo *.cma *.cmx *.o *~); \
95          done          done
96            rm -f parser/wlexer.ml
97          rm -f *.cmi *.cmo *.cma *.cmx *.a *.cmxa *.o *~          rm -f *.cmi *.cmo *.cma *.cmx *.a *.cmxa *.o *~
98          rm -f cduce cduce.opt          rm -f cduce cduce.opt ocamlprof.dump
99            rm -f dtd2cduce pool webiface
100          rm -Rf prepro          rm -Rf prepro
101    
102    
# Line 103  Line 135 
135          fort all.cma $(INCLUDES) tests/test_fort.ml          fort all.cma $(INCLUDES) tests/test_fort.ml
136    
137  include depend  include depend
138    
139    
140    # Site-specific installation
141    build_web:
142            rsh cedre ". .env; cd IMPLEM/CDUCE; make webiface"
143    install_web:
144            ssh cduce@iris "cp ~frisch/IMPLEM/CDUCE/webiface cgi-bin/cduce2; chmod +s cgi-bin/cduce2"
145    
146    
147    
148    
149    
150    
151    
152    
153    
154    
155    
156    
157    
158    
Legend:
Removed from v.61  
changed lines
  Added in v.124
CVS Admin">CVS Admin
 ViewVC Help
Powered by ViewVC 1.1.5