Commit 305317b6 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 edb15a91
......@@ -184,7 +184,7 @@ INCLUDES = $(DIRS:%=-I %)
cduce: $(CDUCE:.cmo=.$(EXTENSION))
$(LINK) $(INCLUDES) -o $@ $^ $(EXTRA_LINK_OPTS)
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 )
BIN=bin/cdo2cmo
BIN=cdo2cmo
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