diff options
| author | Russell O'Connor <roconnor@theorem.ca> | 2012-03-26 19:11:25 +0000 |
|---|---|---|
| committer | Russell O'Connor <roconnor@theorem.ca> | 2012-03-26 19:11:25 +0000 |
| commit | bba264d897c9fd2cbe6a8d0159199a75fb00138b (patch) | |
| tree | 918ce587c12975a3f8f43d779c6b5df8bcab8425 /pkgs/applications/science/logic | |
| parent | 95703347b6b1f4112611c16a08bf583666dda00b (diff) | |
| download | nixlib-bba264d897c9fd2cbe6a8d0159199a75fb00138b.tar nixlib-bba264d897c9fd2cbe6a8d0159199a75fb00138b.tar.gz nixlib-bba264d897c9fd2cbe6a8d0159199a75fb00138b.tar.bz2 nixlib-bba264d897c9fd2cbe6a8d0159199a75fb00138b.tar.lz nixlib-bba264d897c9fd2cbe6a8d0159199a75fb00138b.tar.xz nixlib-bba264d897c9fd2cbe6a8d0159199a75fb00138b.tar.zst nixlib-bba264d897c9fd2cbe6a8d0159199a75fb00138b.zip | |
Adding forgotten configure_130312 patch for matitia.
svn path=/nixpkgs/trunk/; revision=33433
Diffstat (limited to 'pkgs/applications/science/logic')
| -rw-r--r-- | pkgs/applications/science/logic/matita/configure_130312.patch | 35 |
1 files changed, 35 insertions, 0 deletions
diff --git a/pkgs/applications/science/logic/matita/configure_130312.patch b/pkgs/applications/science/logic/matita/configure_130312.patch new file mode 100644 index 000000000000..255feec566bf --- /dev/null +++ b/pkgs/applications/science/logic/matita/configure_130312.patch @@ -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 |