1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
|
OCAMLMAKEFILE = ../OCamlMakefile
SOURCES = strat.mli \
pres_intf.mli pres_impl.ml \
nopres_intf.mli nopres_impl.ml \
weak_intf.mli weak_impl.ml \
res.mli res.ml
RESULT = res
LIBINSTALL_FILES = res.mli strat.mli pres_intf.mli nopres_intf.mli \
strat.cmi pres_intf.cmi nopres_intf.cmi weak_intf.cmi \
res.cmi res.cma res.cmxa res.a
LIBINSTALL_BC_FILES := $(filter-out %.a,$(filter-out %.cmxa,$(LIBINSTALL_FILES)))
all:
install: libinstall
uninstall: libuninstall
libinstall-byte-code: LIBINSTALL_FILES = $(LIBINSTALL_BC_FILES)
libinstall-byte-code: libinstall
clean:: clean-doc
-include $(OCAMLMAKEFILE)
|
