]> matita.cs.unibo.it Git - helm.git/commitdiff
* missed some files
authorLuca Padovani <luca.padovani@unito.it>
Wed, 4 Dec 2002 20:02:14 +0000 (20:02 +0000)
committerLuca Padovani <luca.padovani@unito.it>
Wed, 4 Dec 2002 20:02:14 +0000 (20:02 +0000)
helm/DEVEL/gdome_xslt/AUTHORS [new file with mode: 0644]
helm/DEVEL/gdome_xslt/C/Makefile.am [new file with mode: 0644]
helm/DEVEL/gdome_xslt/C/gdome_xslt/Makefile.am [new file with mode: 0644]
helm/DEVEL/gdome_xslt/C/test/Makefile.am [new file with mode: 0644]
helm/DEVEL/gdome_xslt/ChangeLog [new file with mode: 0644]
helm/DEVEL/gdome_xslt/Makefile.am [new file with mode: 0644]
helm/DEVEL/gdome_xslt/NEWS [new file with mode: 0644]
helm/DEVEL/gdome_xslt/README [new file with mode: 0644]
helm/DEVEL/gdome_xslt/configure.ac [new file with mode: 0644]
helm/DEVEL/gdome_xslt/gdome_xslt_cpp_smart-config.in [new file with mode: 0644]

diff --git a/helm/DEVEL/gdome_xslt/AUTHORS b/helm/DEVEL/gdome_xslt/AUTHORS
new file mode 100644 (file)
index 0000000..834817f
--- /dev/null
@@ -0,0 +1,3 @@
+Claudio Sacerdoti Coen <sacerdot@cs.unibo.it>
+Stefano Zacchiroli <zacchiro@cs.unibo.it>
+Luca Padovani <lpadovan@cs.unibo.it>
diff --git a/helm/DEVEL/gdome_xslt/C/Makefile.am b/helm/DEVEL/gdome_xslt/C/Makefile.am
new file mode 100644 (file)
index 0000000..7424d61
--- /dev/null
@@ -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 (file)
index 0000000..b8e374e
--- /dev/null
@@ -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 (file)
index 0000000..4afeaad
--- /dev/null
@@ -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 (file)
index 0000000..e69de29
diff --git a/helm/DEVEL/gdome_xslt/Makefile.am b/helm/DEVEL/gdome_xslt/Makefile.am
new file mode 100644 (file)
index 0000000..951320f
--- /dev/null
@@ -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 (file)
index 0000000..e69de29
diff --git a/helm/DEVEL/gdome_xslt/README b/helm/DEVEL/gdome_xslt/README
new file mode 100644 (file)
index 0000000..e69de29
diff --git a/helm/DEVEL/gdome_xslt/configure.ac b/helm/DEVEL/gdome_xslt/configure.ac
new file mode 100644 (file)
index 0000000..bc8ab38
--- /dev/null
@@ -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 (file)
index 0000000..0568803
--- /dev/null
@@ -0,0 +1,74 @@
+#! /bin/sh
+
+prefix=@prefix@
+exec_prefix=@prefix@
+libdir=@libdir@
+includedir=@includedir@
+moduleconfdir=@datadir@/@PACKAGE@
+
+usage()
+{
+    cat <<EOF
+Usage: @PACKAGE@-config [OPTION...]
+
+Known values for OPTION are:
+
+  --help               display this help and exit
+  --version            output version information
+  --prefix=DIR         change @PACKAGE@ prefix [default $prefix]
+  --cflags             print pre-processor and compiler flags
+  --libs               print library linking information
+
+EOF
+
+    exit $1
+}
+
+if test $# -eq 0; then
+    usage 1
+fi
+
+cflags=false
+libs=false
+
+module=""
+while test $# -gt 0; do
+    case "$1" in
+    -*=*) optarg=`echo "$1" | sed 's/[-_a-zA-Z0-9]*=//'` ;;
+    *) optarg= ;;
+    esac
+
+    case "$1" in
+    --prefix=*)
+       prefix=$optarg
+       ;;
+
+    --prefix)
+       echo $prefix
+       ;;
+
+    --version)
+       echo @VERSION@
+       ;;
+
+    --help)
+       usage 0
+       ;;
+
+    --cflags)
+       echo -n "@LIBXSLT_CFLAGS@ -I$includedir/@PACKAGE@ "
+               ;;
+
+    --libs)
+       echo -n "@LIBXSLT_LIBS@ -L$libdir -lgdome_xslt_cpp_smart "
+               ;;
+
+    *)
+       usage 1
+       ;;
+    esac
+    shift
+done
+
+exit 0
+