]> matita.cs.unibo.it Git - helm.git/commitdiff
* patches for ocaml compilation
authorLuca Padovani <luca.padovani@unito.it>
Thu, 5 Dec 2002 13:11:11 +0000 (13:11 +0000)
committerLuca Padovani <luca.padovani@unito.it>
Thu, 5 Dec 2002 13:11:11 +0000 (13:11 +0000)
helm/DEVEL/gdome_xslt/C++/gdome_xslt/Makefile.am
helm/DEVEL/gdome_xslt/C++/test/Makefile.am
helm/DEVEL/gdome_xslt/C/gdome_xslt/Makefile
helm/DEVEL/gdome_xslt/C/test/Makefile
helm/DEVEL/gdome_xslt/C/test/Makefile.am
helm/DEVEL/gdome_xslt/Makefile
helm/DEVEL/gdome_xslt/Makefile.am
helm/DEVEL/gdome_xslt/configure.ac
helm/DEVEL/gdome_xslt/ocaml/test/Makefile

index bb2e2664e32724d10536c93c05e009f43ded413b..0e4b76e4ef83e48a673cbec77c4d8a3c6816c3e4 100644 (file)
@@ -1,11 +1,12 @@
 
 lib_LTLIBRARIES = libgdome_xslt_cpp_smart.la
 
+libgdome_xslt_cpp_smart_la_LIBADD = $(top_builddir)/C/gdome_xslt/libgdome_xslt.la
+
 libgdome_xslt_cpp_smart_la_LDFLAGS = -version-info @VERSION_INFO@
 
 libgdome_xslt_cpp_smart_la_SOURCES = \
-  GdomeSmartDOMXSLTStylesheet.cc \
-  gdome_xslt.c
+  GdomeSmartDOMXSLTStylesheet.cc
 
 pkginclude_HEADERS = \
   GdomeSmartDOMXSLTStylesheet.hh \
@@ -15,8 +16,4 @@ INCLUDES = \
   $(GMETADOM_CFLAGS) \
   $(LIBXSLT_CFLAGS) \
   -I$(top_srcdir) \
-  -I$(top_srcdir)/../C/gdome_xslt
-
-gdome_xslt.c: $(top_srcdir)/../C/gdome_xslt/gdome_xslt.c
-       ln -s $< $@
-
+  -I$(top_srcdir)/C/gdome_xslt
index d65ab428e157687f75be42eba77b45082df182b9..12a08d07ac266f479bb83a5338284f25e3798ea7 100644 (file)
@@ -6,13 +6,13 @@ test_SOURCES = main.cc
 LDADDS = \
   $(GMETADOM_LIBS) \
   $(LIBXSLT_LIBS) \
-  $(top_builddir)/gdome_xslt/.libs/libgdome_xslt_cpp_smart.a
+  $(top_builddir)/C++/gdome_xslt/libgdome_xslt_cpp_smart.la
 
 test_LDADD = $(LDADDS)
 
 INCLUDES = \
   $(GMETADOM_CFLAGS) \
   $(LIBXSLT_CFLAGS) \
-  -I$(top_srcdir)/gdome_xslt \
-  -I$(top_srcdir)/../C/gdome_xslt
+  -I$(top_srcdir)/C/gdome_xslt \
+  -I$(top_srcdir)/C++/gdome_xslt
 
index 8c99901c6e747e1235dc57aafb0269443bab20a8..264f248e1809c976b7187927e3ea469ef3ef72c9 100644 (file)
@@ -38,10 +38,10 @@ pkglibdir = $(libdir)/gdome2-xslt
 pkgincludedir = $(includedir)/gdome2-xslt
 top_builddir = ../..
 
-ACLOCAL = ${SHELL} /home/luca/Projects/helm/DEVEL/gdome_xslt/missing --run aclocal
-AUTOCONF = ${SHELL} /home/luca/Projects/helm/DEVEL/gdome_xslt/missing --run autoconf
-AUTOMAKE = ${SHELL} /home/luca/Projects/helm/DEVEL/gdome_xslt/missing --run automake
-AUTOHEADER = ${SHELL} /home/luca/Projects/helm/DEVEL/gdome_xslt/missing --run autoheader
+ACLOCAL = ${SHELL} /home/lpadovan/Projects/helm/DEVEL/gdome_xslt/missing --run aclocal
+AUTOCONF = ${SHELL} /home/lpadovan/Projects/helm/DEVEL/gdome_xslt/missing --run autoconf
+AUTOMAKE = ${SHELL} /home/lpadovan/Projects/helm/DEVEL/gdome_xslt/missing --run automake
+AUTOHEADER = ${SHELL} /home/lpadovan/Projects/helm/DEVEL/gdome_xslt/missing --run autoheader
 
 INSTALL = /usr/bin/install -c
 INSTALL_PROGRAM = ${INSTALL}
@@ -57,7 +57,7 @@ PRE_UNINSTALL = :
 POST_UNINSTALL = :
 host_alias = 
 host_triplet = i686-pc-linux-gnu
-AMTAR = ${SHELL} /home/luca/Projects/helm/DEVEL/gdome_xslt/missing --run tar
+AMTAR = ${SHELL} /home/lpadovan/Projects/helm/DEVEL/gdome_xslt/missing --run tar
 AS = @AS@
 AWK = mawk
 CC = gcc
@@ -66,15 +66,15 @@ DEPDIR = .deps
 DLLTOOL = @DLLTOOL@
 ECHO = echo
 EXEEXT = 
-GDOME_CFLAGS = -I/home/luca/Local/include -I/home/luca/Local/include/libgdome -I/usr/include/glib-1.2 -I/usr/lib/glib/include -I/home/luca/Local/include/libxml2
-GDOME_LIBS = -L/home/luca/Local/lib -L/usr/lib -lgdome -lglib -lxml2 -lz -lm
-GMETADOM_CFLAGS = -I/home/luca/Local/include/gmetadom/gdome_cpp_smart -I/home/luca/Local/include -I/home/luca/Local/include/libgdome -I/usr/include/glib-1.2 -I/usr/lib/glib/include -I/home/luca/Local/include/libxml2
-GMETADOM_LIBS = -L/home/luca/Local/lib -lgmetadom_gdome_cpp_smart -L/home/luca/Local/lib -L/usr/lib -lgdome -lglib -lxml2 -lz -lm
+GDOME_CFLAGS = -I/usr/include -I/usr/include/libgdome -I/usr/include/glib-1.2 -I/usr/lib/glib/include -I/usr/include/libxml2/libxml -I/usr/include/libxml2
+GDOME_LIBS = -L/usr/lib -lgdome -lglib -lxml2
+GMETADOM_CFLAGS = -I/home/lpadovan/local/include/gmetadom/gdome_cpp_smart -I/usr/include -I/usr/include/libgdome -I/usr/include/glib-1.2 -I/usr/lib/glib/include -I/usr/include/libxml2/libxml -I/usr/include/libxml2
+GMETADOM_LIBS = -L/home/lpadovan/local/lib -lgmetadom_gdome_cpp_smart -L/usr/lib -lgdome -lglib -lxml2
 HAVE_OCAMLC = yes
 HAVE_OCAMLFIND = yes
 INSTALL_STRIP_PROGRAM = ${SHELL} $(install_sh) -c -s
 LIBTOOL = $(SHELL) $(top_builddir)/libtool
-LIBXSLT_CFLAGS = -I/home/luca/Local/include/libxml2
+LIBXSLT_CFLAGS = -I/usr/include/libxml2/libxml -I/usr/include/libxml2
 LIBXSLT_LIBS = -L/usr/lib -lxslt -lxml2 -lm
 LN_S = ln -s
 OBJDUMP = @OBJDUMP@
@@ -87,7 +87,7 @@ VERSION = 0.0.3
 VERSION_INFO = 0:3:0
 am__include = include
 am__quote = 
-install_sh = /home/luca/Projects/helm/DEVEL/gdome_xslt/install-sh
+install_sh = /home/lpadovan/Projects/helm/DEVEL/gdome_xslt/install-sh
 
 lib_LTLIBRARIES = libgdome_xslt.la
 
index ce7e204f0ca219b9c3fb4717e980359c98201110..ce2fe39eda96565771640f79580abcab7f023a86 100644 (file)
@@ -38,10 +38,10 @@ pkglibdir = $(libdir)/gdome2-xslt
 pkgincludedir = $(includedir)/gdome2-xslt
 top_builddir = ../..
 
-ACLOCAL = ${SHELL} /home/luca/Projects/helm/DEVEL/gdome_xslt/missing --run aclocal
-AUTOCONF = ${SHELL} /home/luca/Projects/helm/DEVEL/gdome_xslt/missing --run autoconf
-AUTOMAKE = ${SHELL} /home/luca/Projects/helm/DEVEL/gdome_xslt/missing --run automake
-AUTOHEADER = ${SHELL} /home/luca/Projects/helm/DEVEL/gdome_xslt/missing --run autoheader
+ACLOCAL = ${SHELL} /home/lpadovan/Projects/helm/DEVEL/gdome_xslt/missing --run aclocal
+AUTOCONF = ${SHELL} /home/lpadovan/Projects/helm/DEVEL/gdome_xslt/missing --run autoconf
+AUTOMAKE = ${SHELL} /home/lpadovan/Projects/helm/DEVEL/gdome_xslt/missing --run automake
+AUTOHEADER = ${SHELL} /home/lpadovan/Projects/helm/DEVEL/gdome_xslt/missing --run autoheader
 
 INSTALL = /usr/bin/install -c
 INSTALL_PROGRAM = ${INSTALL}
@@ -57,7 +57,7 @@ PRE_UNINSTALL = :
 POST_UNINSTALL = :
 host_alias = 
 host_triplet = i686-pc-linux-gnu
-AMTAR = ${SHELL} /home/luca/Projects/helm/DEVEL/gdome_xslt/missing --run tar
+AMTAR = ${SHELL} /home/lpadovan/Projects/helm/DEVEL/gdome_xslt/missing --run tar
 AS = @AS@
 AWK = mawk
 CC = gcc
@@ -66,15 +66,15 @@ DEPDIR = .deps
 DLLTOOL = @DLLTOOL@
 ECHO = echo
 EXEEXT = 
-GDOME_CFLAGS = -I/home/luca/Local/include -I/home/luca/Local/include/libgdome -I/usr/include/glib-1.2 -I/usr/lib/glib/include -I/home/luca/Local/include/libxml2
-GDOME_LIBS = -L/home/luca/Local/lib -L/usr/lib -lgdome -lglib -lxml2 -lz -lm
-GMETADOM_CFLAGS = -I/home/luca/Local/include/gmetadom/gdome_cpp_smart -I/home/luca/Local/include -I/home/luca/Local/include/libgdome -I/usr/include/glib-1.2 -I/usr/lib/glib/include -I/home/luca/Local/include/libxml2
-GMETADOM_LIBS = -L/home/luca/Local/lib -lgmetadom_gdome_cpp_smart -L/home/luca/Local/lib -L/usr/lib -lgdome -lglib -lxml2 -lz -lm
+GDOME_CFLAGS = -I/usr/include -I/usr/include/libgdome -I/usr/include/glib-1.2 -I/usr/lib/glib/include -I/usr/include/libxml2/libxml -I/usr/include/libxml2
+GDOME_LIBS = -L/usr/lib -lgdome -lglib -lxml2
+GMETADOM_CFLAGS = -I/home/lpadovan/local/include/gmetadom/gdome_cpp_smart -I/usr/include -I/usr/include/libgdome -I/usr/include/glib-1.2 -I/usr/lib/glib/include -I/usr/include/libxml2/libxml -I/usr/include/libxml2
+GMETADOM_LIBS = -L/home/lpadovan/local/lib -lgmetadom_gdome_cpp_smart -L/usr/lib -lgdome -lglib -lxml2
 HAVE_OCAMLC = yes
 HAVE_OCAMLFIND = yes
 INSTALL_STRIP_PROGRAM = ${SHELL} $(install_sh) -c -s
 LIBTOOL = $(SHELL) $(top_builddir)/libtool
-LIBXSLT_CFLAGS = -I/home/luca/Local/include/libxml2
+LIBXSLT_CFLAGS = -I/usr/include/libxml2/libxml -I/usr/include/libxml2
 LIBXSLT_LIBS = -L/usr/lib -lxslt -lxml2 -lm
 LN_S = ln -s
 OBJDUMP = @OBJDUMP@
@@ -87,20 +87,24 @@ VERSION = 0.0.3
 VERSION_INFO = 0:3:0
 am__include = include
 am__quote = 
-install_sh = /home/luca/Projects/helm/DEVEL/gdome_xslt/install-sh
+install_sh = /home/lpadovan/Projects/helm/DEVEL/gdome_xslt/install-sh
 
 noinst_PROGRAMS = test
 
 test_SOURCES = test.c
 
-LDADDS = $(GDOME_LIBS) $(LIBXSLT_LIBS)
+LDADDS = \
+  $(GDOME_LIBS) \
+  $(LIBXSLT_LIBS) \
+  $(top_builddir)/C/gdome_xslt/libgdome_xslt.la
+
 
 test_LDADD = $(LDADDS)
 
 INCLUDES = \
   $(GDOME_CFLAGS) \
   $(LIBXSLT_CFLAGS) \
-  -I$(top_srcdir)/gdome_xslt
+  -I$(top_srcdir)/C/gdome_xslt
 
 subdir = C/test
 mkinstalldirs = $(SHELL) $(top_srcdir)/mkinstalldirs
@@ -111,7 +115,7 @@ PROGRAMS = $(noinst_PROGRAMS)
 
 am_test_OBJECTS = test.$(OBJEXT)
 test_OBJECTS = $(am_test_OBJECTS)
-test_DEPENDENCIES =
+test_DEPENDENCIES = $(top_builddir)/C/gdome_xslt/libgdome_xslt.la
 test_LDFLAGS =
 
 DEFS = -DHAVE_CONFIG_H
index 4afeaad30d8e2b3a638b1a127ee6294056fe3418..e17047c150c0b2e60ca10b432f133a50600f7835 100644 (file)
@@ -3,12 +3,15 @@ noinst_PROGRAMS = test
 
 test_SOURCES = test.c
 
-LDADDS = $(GDOME_LIBS) $(LIBXSLT_LIBS)
+LDADDS = \
+  $(GDOME_LIBS) \
+  $(LIBXSLT_LIBS) \
+  $(top_builddir)/C/gdome_xslt/libgdome_xslt.la
 
 test_LDADD = $(LDADDS)
 
 INCLUDES = \
   $(GDOME_CFLAGS) \
   $(LIBXSLT_CFLAGS) \
-  -I$(top_srcdir)/gdome_xslt
+  -I$(top_srcdir)/C/gdome_xslt
 
index 9b2a1dcc5d345e3d97485b4de5aa51a9909971ed..eca489994cb0615c9941df69d3d47f4556204cb7 100644 (file)
@@ -38,10 +38,10 @@ pkglibdir = $(libdir)/gdome2-xslt
 pkgincludedir = $(includedir)/gdome2-xslt
 top_builddir = .
 
-ACLOCAL = ${SHELL} /home/luca/Projects/helm/DEVEL/gdome_xslt/missing --run aclocal
-AUTOCONF = ${SHELL} /home/luca/Projects/helm/DEVEL/gdome_xslt/missing --run autoconf
-AUTOMAKE = ${SHELL} /home/luca/Projects/helm/DEVEL/gdome_xslt/missing --run automake
-AUTOHEADER = ${SHELL} /home/luca/Projects/helm/DEVEL/gdome_xslt/missing --run autoheader
+ACLOCAL = ${SHELL} /home/lpadovan/Projects/helm/DEVEL/gdome_xslt/missing --run aclocal
+AUTOCONF = ${SHELL} /home/lpadovan/Projects/helm/DEVEL/gdome_xslt/missing --run autoconf
+AUTOMAKE = ${SHELL} /home/lpadovan/Projects/helm/DEVEL/gdome_xslt/missing --run automake
+AUTOHEADER = ${SHELL} /home/lpadovan/Projects/helm/DEVEL/gdome_xslt/missing --run autoheader
 
 INSTALL = /usr/bin/install -c
 INSTALL_PROGRAM = ${INSTALL}
@@ -57,7 +57,7 @@ PRE_UNINSTALL = :
 POST_UNINSTALL = :
 host_alias = 
 host_triplet = i686-pc-linux-gnu
-AMTAR = ${SHELL} /home/luca/Projects/helm/DEVEL/gdome_xslt/missing --run tar
+AMTAR = ${SHELL} /home/lpadovan/Projects/helm/DEVEL/gdome_xslt/missing --run tar
 AS = @AS@
 AWK = mawk
 CC = gcc
@@ -66,15 +66,15 @@ DEPDIR = .deps
 DLLTOOL = @DLLTOOL@
 ECHO = echo
 EXEEXT = 
-GDOME_CFLAGS = -I/home/luca/Local/include -I/home/luca/Local/include/libgdome -I/usr/include/glib-1.2 -I/usr/lib/glib/include -I/home/luca/Local/include/libxml2
-GDOME_LIBS = -L/home/luca/Local/lib -L/usr/lib -lgdome -lglib -lxml2 -lz -lm
-GMETADOM_CFLAGS = -I/home/luca/Local/include/gmetadom/gdome_cpp_smart -I/home/luca/Local/include -I/home/luca/Local/include/libgdome -I/usr/include/glib-1.2 -I/usr/lib/glib/include -I/home/luca/Local/include/libxml2
-GMETADOM_LIBS = -L/home/luca/Local/lib -lgmetadom_gdome_cpp_smart -L/home/luca/Local/lib -L/usr/lib -lgdome -lglib -lxml2 -lz -lm
+GDOME_CFLAGS = -I/usr/include -I/usr/include/libgdome -I/usr/include/glib-1.2 -I/usr/lib/glib/include -I/usr/include/libxml2/libxml -I/usr/include/libxml2
+GDOME_LIBS = -L/usr/lib -lgdome -lglib -lxml2
+GMETADOM_CFLAGS = -I/home/lpadovan/local/include/gmetadom/gdome_cpp_smart -I/usr/include -I/usr/include/libgdome -I/usr/include/glib-1.2 -I/usr/lib/glib/include -I/usr/include/libxml2/libxml -I/usr/include/libxml2
+GMETADOM_LIBS = -L/home/lpadovan/local/lib -lgmetadom_gdome_cpp_smart -L/usr/lib -lgdome -lglib -lxml2
 HAVE_OCAMLC = yes
 HAVE_OCAMLFIND = yes
 INSTALL_STRIP_PROGRAM = ${SHELL} $(install_sh) -c -s
 LIBTOOL = $(SHELL) $(top_builddir)/libtool
-LIBXSLT_CFLAGS = -I/home/luca/Local/include/libxml2
+LIBXSLT_CFLAGS = -I/usr/include/libxml2/libxml -I/usr/include/libxml2
 LIBXSLT_LIBS = -L/usr/lib -lxslt -lxml2 -lm
 LN_S = ln -s
 OBJDUMP = @OBJDUMP@
@@ -87,17 +87,17 @@ VERSION = 0.0.3
 VERSION_INFO = 0:3:0
 am__include = include
 am__quote = 
-install_sh = /home/luca/Projects/helm/DEVEL/gdome_xslt/install-sh
+install_sh = /home/lpadovan/Projects/helm/DEVEL/gdome_xslt/install-sh
 
-EXTRA_DIST = BUGS LICENSE aclocal.m4
+EXTRA_DIST = BUGS LICENSE aclocal.m4 debian/
 
-SUBDIRS = C C++ ocaml test_files debian
+SUBDIRS = C C++ ocaml test_files
 subdir = .
 ACLOCAL_M4 = $(top_srcdir)/aclocal.m4
 mkinstalldirs = $(SHELL) $(top_srcdir)/mkinstalldirs
 CONFIG_HEADER = config.h
-CONFIG_CLEAN_FILES = ocaml/Makefile ocaml/gdome_xslt/Makefile \
-       ocaml/test/Makefile test_files/Makefile debian/Makefile
+CONFIG_CLEAN_FILES = ocaml/gdome_xslt/META ocaml/gdome_xslt/Makefile \
+       ocaml/test/Makefile gdome_xslt_cpp_smart-config
 DIST_SOURCES =
 
 RECURSIVE_TARGETS = info-recursive dvi-recursive install-info-recursive \
@@ -107,7 +107,8 @@ RECURSIVE_TARGETS = info-recursive dvi-recursive install-info-recursive \
 DIST_COMMON = README ./stamp-h.in AUTHORS COPYING ChangeLog INSTALL \
        Makefile.am Makefile.in NEWS aclocal.m4 config.guess \
        config.h.in config.sub configure configure.ac depcomp \
-       install-sh ltmain.sh missing mkinstalldirs
+       gdome_xslt_cpp_smart-config.in install-sh ltmain.sh missing \
+       mkinstalldirs
 DIST_SUBDIRS = $(SUBDIRS)
 all: config.h
        $(MAKE) $(AM_MAKEFLAGS) all-recursive
@@ -162,15 +163,13 @@ $(srcdir)/./stamp-h.in: $(top_srcdir)/configure.ac $(ACLOCAL_M4)
 
 distclean-hdr:
        -rm -f config.h
-ocaml/Makefile: $(top_builddir)/config.status $(top_srcdir)/ocaml/Makefile.in
+ocaml/gdome_xslt/META: $(top_builddir)/config.status $(top_srcdir)/ocaml/gdome_xslt/META.in
        cd $(top_builddir) && CONFIG_FILES=$@ CONFIG_HEADERS= CONFIG_LINKS= $(SHELL) ./config.status
 ocaml/gdome_xslt/Makefile: $(top_builddir)/config.status $(top_srcdir)/ocaml/gdome_xslt/Makefile.in
        cd $(top_builddir) && CONFIG_FILES=$@ CONFIG_HEADERS= CONFIG_LINKS= $(SHELL) ./config.status
 ocaml/test/Makefile: $(top_builddir)/config.status $(top_srcdir)/ocaml/test/Makefile.in
        cd $(top_builddir) && CONFIG_FILES=$@ CONFIG_HEADERS= CONFIG_LINKS= $(SHELL) ./config.status
-test_files/Makefile: $(top_builddir)/config.status $(top_srcdir)/test_files/Makefile.in
-       cd $(top_builddir) && CONFIG_FILES=$@ CONFIG_HEADERS= CONFIG_LINKS= $(SHELL) ./config.status
-debian/Makefile: $(top_builddir)/config.status $(top_srcdir)/debian/Makefile.in
+gdome_xslt_cpp_smart-config: $(top_builddir)/config.status gdome_xslt_cpp_smart-config.in
        cd $(top_builddir) && CONFIG_FILES=$@ CONFIG_HEADERS= CONFIG_LINKS= $(SHELL) ./config.status
 uninstall-info-am:
 
@@ -277,7 +276,7 @@ GZIP_ENV = --best
 distdir: $(DISTFILES)
        -chmod -R a+w $(distdir) >/dev/null 2>&1; rm -rf $(distdir)
        mkdir $(distdir)
-       $(mkinstalldirs) $(distdir)/C++ $(distdir)/debian $(distdir)/ocaml $(distdir)/ocaml/gdome_xslt $(distdir)/ocaml/test $(distdir)/test_files
+       $(mkinstalldirs) $(distdir)/. $(distdir)/ocaml/gdome_xslt $(distdir)/ocaml/test
        @for file in $(DISTFILES); do \
          if test -f $$file; then d=.; else d=$(srcdir); fi; \
          dir=`echo "$$file" | sed -e 's,/[^/]*$$,,'`; \
index 951320ff692ad6440f86d5c68b18fe36650c92d1..a4bc4c3cc0cf769bfdb6dfcd070f8f2249a02432 100644 (file)
@@ -1,4 +1,4 @@
 
-EXTRA_DIST = BUGS LICENSE aclocal.m4
+EXTRA_DIST = BUGS LICENSE aclocal.m4 debian/
 
-SUBDIRS = C C++ ocaml test_files debian
+SUBDIRS = C C++ ocaml test_files
index bc8ab38b2f4e9458f84c7cc675191f3860f6cf1b..3b247dab73188cdd312117c134715b00f9fcf514 100644 (file)
@@ -7,6 +7,30 @@ VERSION=0.0.3
 VERSION_INFO=`echo $VERSION | awk -F. '{ printf "%d:%d:%d", $1+$2, $3, $2 }'`
 AC_SUBST(VERSION_INFO)
 
+AC_ARG_WITH(
+        gmetadom-prefix,
+        [  --with-gmetadom-prefix=PFX prefix dir where gmetadom is installed],
+        [
+                with_gmetadom_prefix=yes
+                GMETADOM_PREFIX=$withval
+        ],
+        [
+                with_gmetadom_prefix=no
+        ]
+)
+
+AC_ARG_WITH(
+        gdome-prefix,
+        [  --with-gdome-prefix=PFX prefix dir where gdome is installed],
+        [
+                with_gdome_prefix=yes
+                GDOME_PREFIX=$withval
+        ],
+        [
+                with_gdome_prefix=no
+        ]
+)
+
 AC_PROG_CC
 AC_PROG_CXX
 AC_PROG_INSTALL
@@ -23,8 +47,8 @@ then
        if ${GDOME_PREFIX}/bin/$GDOME_CONFIG --version > /dev/null 2>&1
        then
                GDOME_CONFIG=${GDOME_PREFIX}/bin/$GDOME_CONFIG
-        elif ! $GDOME_CONFIG --version > /dev/null 2>&1
-        then
+       elif ! $GDOME_CONFIG --version > /dev/null 2>&1
+       then
                AC_MSG_ERROR(Could not find Gdome2 anywhere (see config.log for details).)
        fi
 fi
@@ -134,11 +158,11 @@ AC_CONFIG_FILES([
   C++/gdome_xslt/Makefile
   C++/test/Makefile
   C++/Makefile
-  C++/gdome_xslt_cpp_smart-config
   ocaml/Makefile
+  ocaml/gdome_xslt/META
   ocaml/gdome_xslt/Makefile
   ocaml/test/Makefile
-  test_files/Makefile
-  debian/Makefile])
-AC_CONFIG_COMMANDS([default],[[chmod +x C++/gdome_xslt_cpp_smart-config]],[[]])
+  gdome_xslt_cpp_smart-config
+  test_files/Makefile])
+AC_CONFIG_COMMANDS([default],[[chmod +x gdome_xslt_cpp_smart-config]],[[]])
 AC_OUTPUT
index 777614abfc018094f25ddf866ba23748f41eb7cd..b17c5f05e2465d766be9c4260a699e04d4d5e284 100644 (file)
@@ -8,10 +8,10 @@ all: test
 opt: test.opt
 
 test: test.ml
-       $(OCAMLC) -linkpkg -o $@ $<
+       ( export OCAMLPATH=.; $(OCAMLC) -linkpkg -o $@ $< )
 
 test.opt: test.ml
-       $(OCAMLOPT) -linkpkg -o $@ $<
+       ( export OCAMLPATH=.; $(OCAMLOPT) -linkpkg -o $@ $< )
 
 clean:
        rm -f test test.opt test.cmi test.cmo text.cmx