Author: roconnor
Date: Mon Mar 26 19:11:25 2012
New Revision: 33433
URL: https://nixos.org/websvn/nix/?rev=33433&sc=1
Log:
Adding forgotten configure_130312 patch for matitia.
Added:
nixpkgs/trunk/pkgs/applications/science/logic/matita/configure_130312.patch
Added:
nixpkgs/trunk/pkgs/applications/science/logic/matita/configure_130312.patch
==============================================================================
--- /dev/null 00:00:00 1970 (empty, because file is newly added)
+++ nixpkgs/trunk/pkgs/applications/science/logic/matita/configure_130312.patch
Mon Mar 26 19:11:25 2012 (r33433)
@@ -0,0 +1,35 @@
+--- matita/configure 2011-11-22 06:04:17.000000000 -0500
++++ matita/configure 2011-11-24 11:43:11.584847938 -0500
+@@ -1905,6 +1905,7 @@
+ # look for METAS dir
+
+ LIBSPATH="`pwd`/components"
++OLDCAMLPATH="$OCAMLPATH"
+ OCAMLPATH="$LIBSPATH/METAS"
+
+ # creating META.*
+@@ -1927,7 +1928,7 @@
+ gdome2 \
+ http \
+ lablgtk2 \
+-lablgtksourceview2.gtksourceview2 \
++lablgtk2.gtksourceview \
+ mysql \
+ netstring \
+ ulex08 \
+@@ -1953,13 +1954,13 @@
+ FINDLIB_REQUIRES="\
+ $FINDLIB_CREQUIRES \
+ lablgtk2.glade \
+-lablgtksourceview2.gtksourceview2 \
++lablgtk2.gtksourceview \
+ "
+ for r in $FINDLIB_LIBSREQUIRES $FINDLIB_REQUIRES
+ do
+ { $as_echo "$as_me:${as_lineno-$LINENO}: checking for $r ocaml library" >&5
+ $as_echo_n "checking for $r ocaml library... " >&6; }
+- if OCAMLPATH=$OCAMLPATH $OCAMLFIND query $r &> /dev/null; then
++ if OCAMLPATH=$OCAMLPATH:$OLDCAMLPATH $OCAMLFIND query $r &> /dev/null; then
+ { $as_echo "$as_me:${as_lineno-$LINENO}: result: yes" >&5
+ $as_echo "yes" >&6; }
+ else
_______________________________________________
nix-commits mailing list
[email protected]
http://lists.science.uu.nl/mailman/listinfo/nix-commits
