| 1 |
DEBUG = -g
|
| 2 |
OCAMLC = ocamlc
|
| 3 |
|
| 4 |
PARSER = parser/lexer.cmo parser/location.cmo parser/ast.cmo parser/parser.cmo
|
| 5 |
|
| 6 |
TYPING = typing/typed.cmo typing/typer.cmo
|
| 7 |
|
| 8 |
TYPES = types/recursive.cmo types/sortedList.cmo \
|
| 9 |
types/sortedMap.cmo types/boolean.cmo \
|
| 10 |
types/intervals.cmo types/chars.cmo types/atoms.cmo \
|
| 11 |
types/types.cmo \
|
| 12 |
types/patterns.cmo \
|
| 13 |
types/sequence.cmo \
|
| 14 |
types/builtin.cmo
|
| 15 |
|
| 16 |
RUNTIME = runtime/value.cmo
|
| 17 |
|
| 18 |
DRIVER = driver/cduce.cmo
|
| 19 |
|
| 20 |
DIRS = parser typing types runtime driver
|
| 21 |
|
| 22 |
OBJECTS = $(TYPES) $(PARSER) $(TYPING) $(RUNTIME)
|
| 23 |
XOBJECTS = $(OBJECTS:.cmo=.cmx)
|
| 24 |
XDRIVER = $(DRIVER:.cmo=.cmx)
|
| 25 |
|
| 26 |
DEPEND = parser/*.ml parser/*.mli typing/*.ml typing/*.mli types/*.ml types/*.mli runtime/*.mli runtime/*.ml driver/*.mli driver/*.ml
|
| 27 |
INCLUDES = -I +camlp4 -I parser -I types -I runtime -I typing
|
| 28 |
|
| 29 |
SYNTAX_PARSER = -pp 'camlp4o pa_extend.cmo'
|
| 30 |
|
| 31 |
all.cma: $(OBJECTS)
|
| 32 |
$(OCAMLC) $(DEBUG) -o all.cma -I +camlp4 gramlib.cma nums.cma -a $(OBJECTS)
|
| 33 |
|
| 34 |
all.cmxa: $(XOBJECTS)
|
| 35 |
ocamlopt -a -o all.cmxa $(XOBJECTS)
|
| 36 |
|
| 37 |
|
| 38 |
cduce: all.cma $(DRIVER)
|
| 39 |
$(OCAMLC) $(DEBUG) -o cduce all.cma $(DRIVER)
|
| 40 |
|
| 41 |
cduce.opt: all.cmxa $(XDRIVER)
|
| 42 |
ocamlopt -o cduce.opt -I +camlp4 gramlib.cmxa nums.cmxa all.cmxa $(XDRIVER)
|
| 43 |
|
| 44 |
compute_depend:
|
| 45 |
@echo "Computing dependencies ..."
|
| 46 |
ocamldep $(INCLUDES) $(SYNTAX_PARSER) $(DEPEND) > depend
|
| 47 |
|
| 48 |
run_top: all.cma
|
| 49 |
ledit ocaml $(INCLUDES) all.cma
|
| 50 |
|
| 51 |
clean:
|
| 52 |
(cd parser; rm -f *.cmi *.cmo *.cma *.cmx *.o *~)
|
| 53 |
(cd types; rm -f *.cmi *.cmo *.cma *.cmx *.o *~)
|
| 54 |
(cd typing; rm -f *.cmi *.cmo *.cma *.cmx *.o *~)
|
| 55 |
(cd driver; rm -f *.cmi *.cmo *.cma *.cmx *.o *~)
|
| 56 |
rm -f *.cmi *.cmo *.cma *.cmx *.o *~
|
| 57 |
rm -f cduce
|
| 58 |
|
| 59 |
.SUFFIXES: .ml .mli .cmo .cmi .cmx
|
| 60 |
|
| 61 |
.ml.cmo:
|
| 62 |
$(OCAMLC) $(DEBUG) -c $(SYNTAX_PARSER) $(INCLUDES) $<
|
| 63 |
.ml.cmx:
|
| 64 |
ocamlopt -c $(SYNTAX_PARSER) $(INCLUDES) $<
|
| 65 |
|
| 66 |
.mli.cmi:
|
| 67 |
$(OCAMLC) $(DEBUG) -c $(INCLUDES) $<
|
| 68 |
|
| 69 |
# FORTPATH = /users/formel8/frisch/solaris/fort/fort
|
| 70 |
FORTPATH = /home/frisch/fort
|
| 71 |
FORTBIN = $(FORTPATH)/fort
|
| 72 |
FORTLIB = $(FORTPATH)
|
| 73 |
|
| 74 |
test: all.cma
|
| 75 |
$(FORTBIN) -I $(FORTLIB) all.cma test_fort.ml
|
| 76 |
|
| 77 |
include depend
|
Parent Directory
| 
Revision Log