_now_ its attached. -- Mike Furr <mfurr@debian.org> 1024D/124B26F3 5B9F 587F BC5C D823 50CE 4DB0 ED93 CA29 124B 26F3
diff -urN coq-7.3.1.orig/config/Makefile coq-7.3.1/config/Makefile --- coq-7.3.1.orig/config/Makefile 2004-04-08 14:25:25.000000000 -0400 +++ coq-7.3.1/config/Makefile 2004-04-08 14:24:44.000000000 -0400 @@ -31,7 +31,7 @@ EMACS= # Path to Coq distribution -COQTOP=/home/rt/debian/sponsored/coq/coq-7.3.1 +COQTOP=/home/furrm/foo/coq-7.3.1 VERSION=7.3.1 # Directory containing Camlp4 binaries. Can be empty if camlp4 is in the PATH @@ -80,7 +80,7 @@ EXE= # the command used to install binaries, libs and help files -INSTALL=/home/rt/debian/sponsored/coq/coq-7.3.1/bin/i686/coqinstall +INSTALL=/home/furrm/foo/coq-7.3.1/bin/i686/coqinstall # the command MKDIR (try to replace it with mkdirhier if you have problems) MKDIR=mkdir -p diff -urN coq-7.3.1.orig/config/coq_config.ml coq-7.3.1/config/coq_config.ml --- coq-7.3.1.orig/config/coq_config.ml 2004-04-08 14:25:25.000000000 -0400 +++ coq-7.3.1/config/coq_config.ml 2004-04-08 14:24:45.000000000 -0400 @@ -3,7 +3,7 @@ let local = false let bindir = "/usr/bin" let coqlib = "/usr/lib/coq" -let coqtop = "/home/rt/debian/sponsored/coq/coq-7.3.1" +let coqtop = "/home/furrm/foo/coq-7.3.1" let camllib = "/usr/lib/ocaml/3.07" let camlp4lib = "/usr/lib/ocaml/3.07/camlp4" let best = "opt" @@ -12,7 +12,7 @@ let version = "7.3.1" let versionsi = "1.0" let date = "Oct 2002" -let compile_date = "Okt 07 2003 22:04:49" +let compile_date = "Apr 08 2004 14:24:44" let exec_extension = "" let theories_dirs = [ diff -urN coq-7.3.1.orig/debian/control coq-7.3.1/debian/control --- coq-7.3.1.orig/debian/control 2004-04-08 14:25:25.000000000 -0400 +++ coq-7.3.1/debian/control 2004-04-08 14:24:30.000000000 -0400 @@ -4,7 +4,7 @@ Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org> Uploaders: Ralf Treinen <treinen@debian.org>, Sven Luther <luther@debian.org>, Jerome Marant <jerome@debian.org>, Remi Vanicat <vanicat@debian.org>, Stefano Zacchiroli <zack@debian.org> Standards-Version: 3.6.1 -Build-Depends: debhelper (>= 3), ocaml-3.07, dpatch +Build-Depends: debhelper (>= 3), ocaml-3.07, ocaml-best-compilers, dpatch Package: coq Architecture: any diff -urN coq-7.3.1.orig/debian/rules coq-7.3.1/debian/rules --- coq-7.3.1.orig/debian/rules 2004-04-08 14:25:25.000000000 -0400 +++ coq-7.3.1/debian/rules 2004-04-08 14:22:42.000000000 -0400 @@ -14,7 +14,12 @@ configure: configure-stamp configure-stamp: patch dh_testdir - ./configure -opt ${CONFIGUREOPTS} || ./configure ${CONFIGUREOPTS} + if [ -e /usr/bin/ocamlc.opt ]; \ + then \ + ./configure -opt ${CONFIGUREOPTS}; \ + else \ + ./configure ${CONFIGUREOPTS}; \ + fi if [ `arch` = ppc ] ; then ./configure ${CONFIGUREOPTS} ; fi touch configure-stamp
Attachment:
signature.asc
Description: This is a digitally signed message part