From: Stefano Zacchiroli <zack@upsilon.cc>
Date: Mon, 9 Dec 2002 11:08:51 +0000 (+0000)
Subject: - switched to automake based built
X-Git-Tag: v0_3_99~160
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=f7577be5c39d197f4d92d932f47f413eccf0335d;p=helm.git

- switched to automake based built
---

diff --git a/helm/DEVEL/gdome_xslt/ocaml/test/.cvsignore b/helm/DEVEL/gdome_xslt/ocaml/test/.cvsignore
index 6deb7349f..fb5d24d4f 100644
--- a/helm/DEVEL/gdome_xslt/ocaml/test/.cvsignore
+++ b/helm/DEVEL/gdome_xslt/ocaml/test/.cvsignore
@@ -4,3 +4,5 @@ test.cmx
 test.o
 test
 test.opt
+Makefile
+Makefile.in
diff --git a/helm/DEVEL/gdome_xslt/ocaml/test/META.gdome2-xslt b/helm/DEVEL/gdome_xslt/ocaml/test/META.gdome2-xslt
deleted file mode 100644
index 42d1f7333..000000000
--- a/helm/DEVEL/gdome_xslt/ocaml/test/META.gdome2-xslt
+++ /dev/null
@@ -1,6 +0,0 @@
-requires="gdome2"
-version="0.0.3"
-archive(byte)="gdome_xslt_init.cmo gdome2-xslt.cma"
-archive(native)="gdome_xslt_init.cmx gdome2-xslt.cmxa"
-linkopts=""
-directory="../gdome_xslt"
diff --git a/helm/DEVEL/gdome_xslt/ocaml/test/Makefile.am b/helm/DEVEL/gdome_xslt/ocaml/test/Makefile.am
new file mode 100644
index 000000000..44f2658cb
--- /dev/null
+++ b/helm/DEVEL/gdome_xslt/ocaml/test/Makefile.am
@@ -0,0 +1,24 @@
+REQUIRES = gdome2
+OCAMLFIND = @OCAMLFIND@
+OCAMLC = $(OCAMLFIND) @OCAMLC@ -package "$(REQUIRES)"
+OCAMLOPT = $(OCAMLFIND) @OCAMLOPT@ -package "$(REQUIRES)"
+CMA = ../gdome_xslt/mlgdome2-xslt.cma
+CMXA = ../gdome_xslt/mlgdome2-xslt.cmxa
+INIT_CMO = ../gdome_xslt/gdome_xslt_init.cmo
+INIT_CMX = ../gdome_xslt/gdome_xslt_init.cmx
+INCLUDES = -I ../gdome_xslt/
+
+EXTRA_DIST = test.ml
+CLEANFILES = test{,.o,.opt} test.cm[iox]
+
+if HAVE_OCAMLOPT_COND
+noinst_DATA = test.opt test
+else
+noinst_DATA = test
+endif
+
+test: test.ml $(CMA) $(INIT_CMO)
+	$(OCAMLC) -o $@ -linkpkg $(INCLUDES) $(CMA) $(INIT_CMO) $<
+test.opt: test.ml $(CMXA) $(INIT_CMX)
+	$(OCAMLOPT) -o $@ -linkpkg $(INCLUDES) $(CMXA) $(INIT_CMX) $<
+