From: Luca Padovani Date: Wed, 4 Dec 2002 20:02:14 +0000 (+0000) Subject: * missed some files X-Git-Tag: v0_3_99~180 X-Git-Url: http://matita.cs.unibo.it/gitweb/?p=helm.git;a=commitdiff_plain;h=c640e15d6309c8aaeeb8d4ce25b31ec1d588dcd3 * missed some files --- diff --git a/helm/DEVEL/gdome_xslt/AUTHORS b/helm/DEVEL/gdome_xslt/AUTHORS new file mode 100644 index 000000000..834817f9e --- /dev/null +++ b/helm/DEVEL/gdome_xslt/AUTHORS @@ -0,0 +1,3 @@ +Claudio Sacerdoti Coen +Stefano Zacchiroli +Luca Padovani diff --git a/helm/DEVEL/gdome_xslt/C/Makefile.am b/helm/DEVEL/gdome_xslt/C/Makefile.am new file mode 100644 index 000000000..7424d618c --- /dev/null +++ b/helm/DEVEL/gdome_xslt/C/Makefile.am @@ -0,0 +1,3 @@ + +SUBDIRS = gdome_xslt test + diff --git a/helm/DEVEL/gdome_xslt/C/gdome_xslt/Makefile.am b/helm/DEVEL/gdome_xslt/C/gdome_xslt/Makefile.am new file mode 100644 index 000000000..b8e374ee3 --- /dev/null +++ b/helm/DEVEL/gdome_xslt/C/gdome_xslt/Makefile.am @@ -0,0 +1,14 @@ + +lib_LTLIBRARIES = libgdome_xslt.la + +libgdome_xslt_la_LDFLAGS = -version-info @VERSION_INFO@ + +libgdome_xslt_la_SOURCES = gdome_xslt.c + +pkginclude_HEADERS = gdome_xslt.h + +INCLUDES = \ + $(GDOME_CFLAGS) \ + $(LIBXSLT_CFLAGS) \ + -I$(top_srcdir) + diff --git a/helm/DEVEL/gdome_xslt/C/test/Makefile.am b/helm/DEVEL/gdome_xslt/C/test/Makefile.am new file mode 100644 index 000000000..4afeaad30 --- /dev/null +++ b/helm/DEVEL/gdome_xslt/C/test/Makefile.am @@ -0,0 +1,14 @@ + +noinst_PROGRAMS = test + +test_SOURCES = test.c + +LDADDS = $(GDOME_LIBS) $(LIBXSLT_LIBS) + +test_LDADD = $(LDADDS) + +INCLUDES = \ + $(GDOME_CFLAGS) \ + $(LIBXSLT_CFLAGS) \ + -I$(top_srcdir)/gdome_xslt + diff --git a/helm/DEVEL/gdome_xslt/ChangeLog b/helm/DEVEL/gdome_xslt/ChangeLog new file mode 100644 index 000000000..e69de29bb diff --git a/helm/DEVEL/gdome_xslt/Makefile.am b/helm/DEVEL/gdome_xslt/Makefile.am new file mode 100644 index 000000000..951320ff6 --- /dev/null +++ b/helm/DEVEL/gdome_xslt/Makefile.am @@ -0,0 +1,4 @@ + +EXTRA_DIST = BUGS LICENSE aclocal.m4 + +SUBDIRS = C C++ ocaml test_files debian diff --git a/helm/DEVEL/gdome_xslt/NEWS b/helm/DEVEL/gdome_xslt/NEWS new file mode 100644 index 000000000..e69de29bb diff --git a/helm/DEVEL/gdome_xslt/README b/helm/DEVEL/gdome_xslt/README new file mode 100644 index 000000000..e69de29bb diff --git a/helm/DEVEL/gdome_xslt/configure.ac b/helm/DEVEL/gdome_xslt/configure.ac new file mode 100644 index 000000000..bc8ab38b2 --- /dev/null +++ b/helm/DEVEL/gdome_xslt/configure.ac @@ -0,0 +1,144 @@ +dnl Process this file with autoconf to produce a configure script. +AC_INIT +AC_CONFIG_SRCDIR([C/gdome_xslt/gdome_xslt.h]) + +PACKAGE=gdome2-xslt +VERSION=0.0.3 +VERSION_INFO=`echo $VERSION | awk -F. '{ printf "%d:%d:%d", $1+$2, $3, $2 }'` +AC_SUBST(VERSION_INFO) + +AC_PROG_CC +AC_PROG_CXX +AC_PROG_INSTALL + +AC_CONFIG_HEADER([config.h]) +AM_INIT_AUTOMAKE($PACKAGE, $VERSION) +AM_PROG_LIBTOOL + +GDOME_CONFIG="gdome-config" +GDOME_MIN_VERSION=0.7.0 +AC_MSG_CHECKING(for Gdome2 libraries >= $GDOME_MIN_VERSION) +if test "x$GDOME_PREFIX" != "x" +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 + AC_MSG_ERROR(Could not find Gdome2 anywhere (see config.log for details).) + fi +fi + +vers=`$GDOME_CONFIG --version | awk -F. '{ printf "%d", ($1 * 1000 + $2) * 1000 + $3;}'` +minvers=`echo $GDOME_MIN_VERSION | awk -F. '{ printf "%d", ($1 * 1000 + $2) * 1000 + $3;}'` +if test "$vers" -ge "$minvers" +then + GDOME_LIBS="`$GDOME_CONFIG --libs`" + GDOME_CFLAGS="`$GDOME_CONFIG --cflags`" + AC_MSG_RESULT(found) +else + AC_MSG_ERROR(You need at least Gdome2 $GDOME_MIN_VERSION for this version of $PACKAGE) +fi + +AC_SUBST(GDOME_CFLAGS) +AC_SUBST(GDOME_LIBS) + +GMETADOM_CONFIG="gmetadom-config" +GMETADOM_MIN_VERSION=0.1.4 +AC_MSG_CHECKING(for GMetaDOM libraries >= $GMETADOM_MIN_VERSION) +if test "x$GMETADOM_PREFIX" != "x" +then + if ${GMETADOM_PREFIX}/bin/$GMETADOM_CONFIG --version > /dev/null 2>&1 + then + GMETADOM_CONFIG=${GMETADOM_PREFIX}/bin/$GMETADOM_CONFIG + elif ! $GMETADOM_CONFIG --version > /dev/null 2>&1 + then + AC_MSG_ERROR(Could not find GMetaDOM anywhere (see config.log for details).) + fi +fi + +vers=`$GMETADOM_CONFIG --version | awk -F. '{ printf "%d", ($1 * 1000 + $2) * 1000 + $3;}'` +minvers=`echo $GMETADOM_MIN_VERSION | awk -F. '{ printf "%d", ($1 * 1000 + $2) * 1000 + $3;}'` +if test "$vers" -ge "$minvers" +then + GMETADOM_LIBS="`$GMETADOM_CONFIG --module=gdome_cpp_smart --libs`" + GMETADOM_CFLAGS="`$GMETADOM_CONFIG --module=gdome_cpp_smart --cflags`" + AC_MSG_RESULT(found) +else + AC_MSG_ERROR(You need at least GMetaDOM $GMETADOM_MIN_VERSION for this version of $PACKAGE) +fi + +AC_SUBST(GMETADOM_CFLAGS) +AC_SUBST(GMETADOM_LIBS) + +LIBXSLT_CONFIG="xslt-config" +LIBXSLT_MIN_VERSION=1.0.16 +AC_MSG_CHECKING(for libxslt libraries >= $LIBXSLT_MIN_VERSION) +if test "x$LIBXSLT_PREFIX" != "x" +then + if ${LIBXSLT_PREFIX}/bin/$LIBXSLT_CONFIG --version > /dev/null 2>&1 + then + LIBXSLT_CONFIG=${LIBXSLT_PREFIX}/bin/$LIBXSLT_CONFIG + elif ! $LIBXSLT_CONFIG --version > /dev/null 2>&1 + then + AC_MSG_ERROR(Could not find libxslt anywhere (see config.log for details).) + fi +fi + +vers=`$LIBXSLT_CONFIG --version | awk -F. '{ printf "%d", ($1 * 1000 + $2) * 1000 + $3;}'` +minvers=`echo $LIBXSLT_MIN_VERSION | awk -F. '{ printf "%d", ($1 * 1000 + $2) * 1000 + $3;}'` +if test "$vers" -ge "$minvers" +then + LIBXSLT_LIBS="`$LIBXSLT_CONFIG --libs`" + LIBXSLT_CFLAGS="`$LIBXSLT_CONFIG --cflags`" + AC_MSG_RESULT(found) +else + AC_MSG_ERROR(You need at least libxslt $LIBXSLT_MIN_VERSION for this version of $PACKAGE) +fi + +AC_SUBST(LIBXSLT_CFLAGS) +AC_SUBST(LIBXSLT_LIBS) + +AC_CHECK_PROG(HAVE_OCAMLC, ocamlc, yes, no) +if test $HAVE_OCAMLC = "no"; then + AC_MSG_ERROR(could not find ocamlc in PATH, please make sure ocaml is installed) +fi + +AC_CHECK_PROG(HAVE_OCAMLFIND, ocamlfind, yes, no) +if test $HAVE_OCAMLFIND = "no"; then + AC_MSG_ERROR(could not find ocamlfind in PATH, please make sure findlib is installed) +fi + +AC_MSG_CHECKING(for gdome2 ocaml binding) +ocamlfind query gdome2 || + AC_MSG_ERROR(gdome2 not installed (according to findlib)) + +AC_MSG_CHECKING(for the ocaml library dir) +OCAML_LIB_DIR=`ocamlc -where` +AC_MSG_RESULT($OCAML_LIB_DIR) + +AC_CHECK_FILE(/usr/include/caml/mlvalues.h, + OCAML_INCLUDE_DIR=/usr/include/caml, + OCAML_INCLUDE_DIR=$OCAML_LIB_DIR/caml +) + +AC_SUBST(PACKAGE) +AC_SUBST(VERSION) +AC_SUBST(OCAML_INCLUDE_DIR) + +AC_CONFIG_FILES([ + Makefile + C/Makefile + C/gdome_xslt/Makefile + C/test/Makefile + C++/gdome_xslt/Makefile + C++/test/Makefile + C++/Makefile + C++/gdome_xslt_cpp_smart-config + ocaml/Makefile + ocaml/gdome_xslt/Makefile + ocaml/test/Makefile + test_files/Makefile + debian/Makefile]) +AC_CONFIG_COMMANDS([default],[[chmod +x C++/gdome_xslt_cpp_smart-config]],[[]]) +AC_OUTPUT diff --git a/helm/DEVEL/gdome_xslt/gdome_xslt_cpp_smart-config.in b/helm/DEVEL/gdome_xslt/gdome_xslt_cpp_smart-config.in new file mode 100644 index 000000000..0568803b6 --- /dev/null +++ b/helm/DEVEL/gdome_xslt/gdome_xslt_cpp_smart-config.in @@ -0,0 +1,74 @@ +#! /bin/sh + +prefix=@prefix@ +exec_prefix=@prefix@ +libdir=@libdir@ +includedir=@includedir@ +moduleconfdir=@datadir@/@PACKAGE@ + +usage() +{ + cat <