Commit 883dbfa1 authored by Pietro Abate's avatar Pietro Abate
Browse files

[r2004-02-19 02:02:05 by beppe] Changed cdo2cmo installation settings and added README and INSTALL

Original author: beppe
Date: 2004-02-19 02:02:05+00:00
parent 9a271256
......@@ -184,7 +184,7 @@ INCLUDES = $(DIRS:%=-I %)
cduce: $(CDUCE:.cmo=.$(EXTENSION))
cDuce_all.cma: $(OBJECTS)
cDuce_all: $(OBJECTS)
$(CAMLC) -o cDuce_all.cmo -pack $(OBJECTS)
$(CAMLC) -a -o cDuce_all.cma -linkpkg gramlib.cma cDuce_all.cmo
OBJECTS=src/types.cmo src/ocaml.cmo src/cduce.cmo src/checker.cmo \
src/generator.cmo src/main.cmo
INTERFACES=$(shell for o in $(OBJECTS); do echo $${o%cmo}cmi; done )
INCLUDES=-I src -I lib
LIBS=lib/oCaml_all.cma lib/cDuce_all.cma
LIBS=oCaml_all.cma lib/cDuce_all.cma
all: $(BIN)
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment