/[mojave]/metaprl/editor/ml/Makefile
ViewVC logotype

Diff of /metaprl/editor/ml/Makefile

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

revision 3590 by nogin, Tue Sep 25 16:52:43 2001 UTC revision 3591 by nogin, Sun Apr 28 19:51:58 2002 UTC
# Line 11  Line 11 
11          -I $(ROOT)/library\          -I $(ROOT)/library\
12          -I $(CAMLP4LIB)\          -I $(CAMLP4LIB)\
13          -I $(ROOT)/ensemble\          -I $(ROOT)/ensemble\
14          $(addprefix -I $(ROOT)/theories/, $(THEORIES))\          $(addprefix -I , $(MP_DIRS))\
15          -I $(ROOT)/library\          -I $(ROOT)/library\
16          -I $(ROOT)/ocaml_debug\          -I $(ROOT)/ocaml_debug\
17          -I $(CAMLP4LIB)          -I $(CAMLP4LIB)
# Line 123  Line 123 
123          $(ROOT)/lib/library.cmxa\          $(ROOT)/lib/library.cmxa\
124          $(CMXALIBS_ens)\          $(CMXALIBS_ens)\
125          $(ROOT)/lib/prlc.cmxa\          $(ROOT)/lib/prlc.cmxa\
126          $(addprefix $(ROOT)/theories/, $(addsuffix /theory.cmxa, $(THEORIES)))\          $(addsuffix /theory.cmxa, $(MP_DIRS))\
127          mp.cmxa          mp.cmxa
128    
129  CMXLIBS =\  CMXLIBS =\
# Line 139  Line 139 
139          $(ROOT)/lib/library.cmxa\          $(ROOT)/lib/library.cmxa\
140          $(CMXALIBS_ens)\          $(CMXALIBS_ens)\
141          $(ROOT)/lib/prlc.cmxa\          $(ROOT)/lib/prlc.cmxa\
142          $(addprefix $(ROOT)/theories/, $(addsuffix /theory.cmxa, $(THEORIES)))\          $(addsuffix /theory.cmxa, $(MP_DIRS))\
143          $(CAMLP4LIB)/pa_o.cmx\          $(CAMLP4LIB)/pa_o.cmx\
144          $(CAMLP4LIB)/pa_op.cmx\          $(CAMLP4LIB)/pa_op.cmx\
145          $(MAIN).cmxa          $(MAIN).cmxa
# Line 158  Line 158 
158          $(ROOT)/lib/library.cma\          $(ROOT)/lib/library.cma\
159          $(CMALIBS_ens)\          $(CMALIBS_ens)\
160          $(ROOT)/lib/prlc.cma\          $(ROOT)/lib/prlc.cma\
161          $(addprefix $(ROOT)/theories/, $(addsuffix /theory.cma, $(THEORIES)))\          $(addsuffix /theory.cma, $(MP_DIRS))\
162          $(CAMLP4LIB)/pa_o.cmo\          $(CAMLP4LIB)/pa_o.cmo\
163          $(CAMLP4LIB)/pa_op.cmo\          $(CAMLP4LIB)/pa_op.cmo\
164          $(MAIN).cma          $(MAIN).cma
# Line 173  Line 173 
173          $(ROOT)/lib/library.cma\          $(ROOT)/lib/library.cma\
174          $(CMALIBS_ens)\          $(CMALIBS_ens)\
175          $(ROOT)/lib/prlc.cma\          $(ROOT)/lib/prlc.cma\
176          $(addprefix $(ROOT)/theories/, $(addsuffix /theory.cma, $(THEORIES)))\          $(addsuffix /theory.cma, $(MP_DIRS))\
177          $(CAMLP4LIB)/pa_o.cmo\          $(CAMLP4LIB)/pa_o.cmo\
178          $(CAMLP4LIB)/pa_op.cmo\          $(CAMLP4LIB)/pa_op.cmo\
179          $(MAIN).cma          $(MAIN).cma

Legend:
Removed from v.3590  
changed lines
  Added in v.3591

  ViewVC Help
Powered by ViewVC 1.1.26