Lines 147-154
Link Here
|
147 |
|
147 |
|
148 |
ifeq ($(OCAMLBEST),opt) |
148 |
ifeq ($(OCAMLBEST),opt) |
149 |
JCLIB=jc/jc.cmo jc/jc.cmx |
149 |
JCLIB=jc/jc.cmo jc/jc.cmx |
|
|
150 |
JCLD=jc/jc.cmi jc/jc.o |
150 |
else |
151 |
else |
151 |
JCLIB=jc/jc.cmo |
152 |
JCLIB=jc/jc.cmo |
|
|
153 |
JCLD=jc/jc.cmi |
152 |
endif |
154 |
endif |
153 |
|
155 |
|
154 |
all: $(BINARY) $(WHYCONFIG) check $(CADUCEUS) $(JESSIE) $(KRAKATOA) coq-@COQ@ pvs-@PVS@ $(TOOLS) gwhy-@LABLGTK2@ $(JCLIB) $(REGTEST) |
156 |
all: $(BINARY) $(WHYCONFIG) check $(CADUCEUS) $(JESSIE) $(KRAKATOA) coq-@COQ@ pvs-@PVS@ $(TOOLS) gwhy-@LABLGTK2@ $(JCLIB) $(REGTEST) |
Lines 276-290
Link Here
|
276 |
|
278 |
|
277 |
# jessie |
279 |
# jessie |
278 |
JCCML_EXPORT = src/lib.ml src/rc.ml src/loc.ml src/pp.ml src/option_misc.ml \ |
280 |
JCCML_EXPORT = src/lib.ml src/rc.ml src/loc.ml src/pp.ml src/option_misc.ml \ |
279 |
jc/jc_type_var.ml jc/output.ml \ |
281 |
jc/jc_type_var.ml jc/jc_env.ml jc/output.ml \ |
280 |
jc/jc_common_options.ml jc/jc_stdlib.ml \ |
282 |
jc/jc_common_options.ml jc/jc_stdlib.ml \ |
281 |
jc/jc_envset.ml jc/jc_region.ml jc/jc_fenv.ml \ |
283 |
jc/jc_envset.ml jc/jc_region.ml jc/jc_ast.ml jc/jc_fenv.ml \ |
282 |
jc/jc_constructors.ml \ |
284 |
jc/jc_constructors.ml \ |
283 |
jc/jc_pervasives.ml jc/jc_iterators.ml \ |
285 |
jc/jc_pervasives.ml jc/jc_iterators.ml \ |
284 |
jc/jc_output_misc.ml jc/jc_poutput.ml jc/jc_output.ml jc/jc_noutput.ml |
286 |
jc/jc_output_misc.ml jc/jc_poutput.ml jc/jc_output.ml jc/jc_noutput.ml |
285 |
JCCMO_EXPORT = $(JCCML_EXPORT:.ml=.cmo) |
287 |
JCCMO_EXPORT = $(JCCML_EXPORT:.ml=.cmo) |
286 |
JCCMX_EXPORT = $(JCCML_EXPORT:.ml=.cmx) |
288 |
JCCMX_EXPORT = $(JCCML_EXPORT:.ml=.cmx) |
287 |
JCCMI_EXPORT = jc/jc_ast.cmi jc/jc_env.cmi $(JCCML_EXPORT:.ml=.cmi) |
289 |
JCCMI_EXPORT = $(JCCML_EXPORT:.ml=.cmi) |
288 |
|
290 |
|
289 |
JCCMO = src/version.cmo \ |
291 |
JCCMO = src/version.cmo \ |
290 |
@ATPCMO@ $(JCCMO_EXPORT) \ |
292 |
@ATPCMO@ $(JCCMO_EXPORT) \ |
Lines 744-750
Link Here
|
744 |
mkdir -p $(LIBDIR)/why/why |
746 |
mkdir -p $(LIBDIR)/why/why |
745 |
cp -f $(PRELUDE) $(LIBDIR)/why/why |
747 |
cp -f $(PRELUDE) $(LIBDIR)/why/why |
746 |
mkdir -p $(LIBDIR)/caduceus/why |
748 |
mkdir -p $(LIBDIR)/caduceus/why |
747 |
# ??? cp -f $(JCLIB) $(JCCMI_EXPORT) $(LIBDIR) |
749 |
mkdir -p $(LIBDIR)/ocaml/jessie |
|
|
750 |
cp -f $(JCLIB) $(JCLD) $(JCCMI_EXPORT) $(LIBDIR)/ocaml/jessie |
748 |
cp -f lib/why/caduceus.why $(LIBDIR)/caduceus/why |
751 |
cp -f lib/why/caduceus.why $(LIBDIR)/caduceus/why |
749 |
cp -f lib/why/caduceus_arith.why $(LIBDIR)/caduceus/why |
752 |
cp -f lib/why/caduceus_arith.why $(LIBDIR)/caduceus/why |
750 |
mkdir -p $(LIBDIR)/caduceus/coq |
753 |
mkdir -p $(LIBDIR)/caduceus/coq |