From: Luca Padovani <luca.padovani@unito.it>
Date: Fri, 3 Oct 2003 14:14:51 +0000 (+0000)
Subject: * further code cleanup
X-Git-Tag: V_0_4_3_4~3
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=910ede646eac96a5730a9a6d273817d4f9ddc9c2;p=helm.git

* further code cleanup
---

diff --git a/helm/DEVEL/gdome_xslt/ocaml/gdome_xslt/Makefile.am b/helm/DEVEL/gdome_xslt/ocaml/gdome_xslt/Makefile.am
index fbd41c365..d27eb4c0c 100644
--- a/helm/DEVEL/gdome_xslt/ocaml/gdome_xslt/Makefile.am
+++ b/helm/DEVEL/gdome_xslt/ocaml/gdome_xslt/Makefile.am
@@ -12,6 +12,8 @@ OCAMLFIND = @OCAMLFIND@
 OCAMLMKLIB = ocamlmklib
 DLL = dll$(ARCHIVE).so
 
+BUILT_SOURCES = gdome_xslt.c
+
 CLEANFILES = \
   $(ARCHIVE).cma $(ARCHIVE).cmxa $(ARCHIVE).a lib$(ARCHIVE).a $(DLL)	\
   *.cmo *.cmx *.cmi
@@ -32,15 +34,18 @@ noinst_DATA =	\
 endif
 
 noinst_LTLIBRARIES = libmlgdome2-xslt.la
-C_SRC = ml_gdome_xslt.c
+C_SRC = ml_gdome_xslt.c gdome_xslt.c
 libmlgdome2_xslt_la_SOURCES = $(C_SRC)
 
-O_S = $(C_SRC:%.c=%.o) $(top_builddir)/C/gdome_xslt/gdome_xslt.o
+O_S = $(C_SRC:%.c=%.o)
 LO_S = $(O_S:%.o=%.lo)
 CMA_DEPS = i_gdome_xslt.cmo gdome_xslt.cmo
 CMXA_DEPS = $(CMA_DEPS:%.cmo=%.cmx)
 SHARED_LIBS = $(LIBXSLT_LIBS) $(GDOME_LIBS) -lmlgdome
 
+gdome_xslt.c: $(top_srcdir)/C/gdome_xslt/gdome_xslt.c
+	cp $< $@
+
 $(ARCHIVE).cma: $(CMA_DEPS)
 	$(OCAMLMKLIB) -o $(ARCHIVE) -L@OCAMLSTUBDIR@ $(CMA_DEPS) $(SHARED_LIBS)
 
@@ -59,9 +64,6 @@ $(ARCHIVE).cmxa: $(CMXA_DEPS)
 #
 $(DLL) lib$(ARCHIVE).a: $(O_S)
 	$(OCAMLMKLIB) -o $(ARCHIVE) -L@OCAMLSTUBDIR@ $(O_S)  $(SHARED_LIBS)
-	for f in $(O_S); do	\
-		rm $$f;	\
-	done
 
 INCLUDES = $(GDOME_CFLAGS) $(MLGDOME_CFLAGS) -I/usr/include/caml -I$(top_srcdir)/C/gdome_xslt