From: Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Date: Thu, 15 Nov 2001 12:37:05 +0000 (+0000)
Subject: Distribution improvements.
X-Git-Tag: mlminidom_0_2_2~79
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=7ce2db4ef8c362186703163a894cf6250ff00fae;p=helm.git

Distribution improvements.
---

diff --git a/helm/DEVEL/lablgtkmathview/.cvsignore b/helm/DEVEL/lablgtkmathview/.cvsignore
index 801e37634..7f6b239a9 100644
--- a/helm/DEVEL/lablgtkmathview/.cvsignore
+++ b/helm/DEVEL/lablgtkmathview/.cvsignore
@@ -1,3 +1,4 @@
 *.cmi *.cmo *.cmx *.cma *.cmxa config.make config.cache config.log configure
 Makefile
 config.status
+META
diff --git a/helm/DEVEL/lablgtkmathview/META.in b/helm/DEVEL/lablgtkmathview/META.in
new file mode 100644
index 000000000..ef5298f15
--- /dev/null
+++ b/helm/DEVEL/lablgtkmathview/META.in
@@ -0,0 +1,5 @@
+requires="mlminidom lablgtk"
+version="@VERSION@"
+archive(byte)="lablgtkmathview.cma ml_gtk_mathview.o"
+archive(native)="lablgtkmathview.cmxa ml_gtk_mathview.o"
+linkopts=""
diff --git a/helm/DEVEL/lablgtkmathview/Makefile.in b/helm/DEVEL/lablgtkmathview/Makefile.in
index e2fcf1965..3dc357ea6 100644
--- a/helm/DEVEL/lablgtkmathview/Makefile.in
+++ b/helm/DEVEL/lablgtkmathview/Makefile.in
@@ -88,8 +88,9 @@ uninstall:
 
 clean:
 	rm -f *.o *.cm? $(ARCHIVE) $(ARCHIVE_C) $(ARCHIVE_OPT)
-	cd test ; make clean
+	cd $(TESTDIR) ; make clean
 	rm -rf $(TMPDIR)
 
 distclean: clean
 	rm -f config.log config.cache config.status Makefile META lablgtkmathview.spec
+	cd $(TESTDIR) ; make distclean
diff --git a/helm/DEVEL/lablgtkmathview/test/Makefile.in b/helm/DEVEL/lablgtkmathview/test/Makefile.in
new file mode 100644
index 000000000..30f41c4f3
--- /dev/null
+++ b/helm/DEVEL/lablgtkmathview/test/Makefile.in
@@ -0,0 +1,20 @@
+PACKAGE = @PACKAGE@
+MLFLAGS =
+OCAMLC = ocamlfind ocamlc $(MLFLAGS)
+OCAMLOPT = ocamlfind ocamlopt $(MLFLAGS)
+TMPDIR = .test
+
+all: test
+opt: test.opt
+
+test: test.ml
+	$(OCAMLC) -package "$(PACKAGE)" -linkpkg -predicates "" -o $@ test.ml
+
+test.opt: test.ml
+	$(OCAMLOPT) -package "$(PACKAGE)" -linkpkg -predicates "" -o $@ test.ml
+
+clean:
+	rm -f *.cm[iox] *.o test test.opt t1lib.log test.ps
+
+distclean:
+	rm Makefile