aboutsummaryrefslogtreecommitdiff
path: root/makefile
blob: f027be5317038463ccce682cc31b6d9f06ff8248 (plain)
1
2
3
4
5
6
7
8
9
10
11
RESULT = urm
LIBS = str
SOURCES = \
  common.ml \
  parser.mli parser.ml \
  instptr.mli instptr.ml \
  reg.mli reg.ml \
  urm.mli urm.ml

OCAMLMAKEFILE = /usr/share/ocamlmakefile/OCamlMakefile
include $(OCAMLMAKEFILE)