]> matita.cs.unibo.it Git - helm.git/commitdiff
Simplification.
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Wed, 14 Nov 2001 11:46:13 +0000 (11:46 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Wed, 14 Nov 2001 11:46:13 +0000 (11:46 +0000)
helm/DEVEL/mlminidom/Makefile.in
helm/DEVEL/mlminidom/configure.in

index ecd1c83869c85b2be86ed9aea5ddff5ea04b25b0..7f88f872be2693e84a0aed9b860dcb32dee4dd04 100644 (file)
@@ -1,7 +1,6 @@
 PACKAGE = @PACKAGE@
 VERSION = @VERSION@
 INCLUDEDIR = @OCAML_INCLUDE_DIR@
-LIBDIR = @OCAML_LIB_DIR@
 PREFIX = 
 OBJECTS_C = ml_minidom.o
 OBJECTS = minidom.cmo ominidom.cmo
index 6c96b5e7cbda00b99e49ecfc330fa4ce8fe87583..fffd153bdee8acea6a044273cc3e16782c8c939f 100644 (file)
@@ -40,7 +40,6 @@ AC_CHECK_FILE(/usr/include/caml/mlvalues.h,
 AC_SUBST(PACKAGE)
 AC_SUBST(VERSION)
 AC_SUBST(OCAML_INCLUDE_DIR)
-AC_SUBST(OCAML_LIB_DIR)
 
 AC_OUTPUT([
   Makefile