Reshaped structure of ocaml/ libraries.

[helm.git] / helm / ocaml / cic_transformations / Makefile

diff --git a/helm/ocaml/cic_transformations/Makefile b/helm/ocaml/cic_transformations/Makefile
deleted file mode 100644 (file)
index c5b5eaf..0000000
--- a/helm/ocaml/cic_transformations/Makefile
+++ /dev/null
@@ -1,25 +0,0 @@
-PACKAGE = cic_transformations
-PREDICATES =
-
-# modules which have both a .ml and a .mli
-INTERFACE_FILES =              \
-       cic2Xml.mli             \
-       content2pres.mli        \
-       sequent2pres.mli        \
-       domMisc.mli             \
-       xml2Gdome.mli           \
-       applyTransformation.mli \
-       $(NULL)
-IMPLEMENTATION_FILES = \
-       $(INTERFACE_FILES:%.mli=%.ml)
-EXTRA_OBJECTS_TO_INSTALL =
-EXTRA_OBJECTS_TO_CLEAN =
-
-all:
-
-clean: extra_clean
-distclean: extra_clean
-extra_clean:
-       rm -f make_table
-
-include ../Makefile.common