diff options
| author | herbelin | 2004-04-16 10:49:07 +0000 |
|---|---|---|
| committer | herbelin | 2004-04-16 10:49:07 +0000 |
| commit | 1528839008c9590948f808a43cd3abeb23994634 (patch) | |
| tree | a34324cdd0cf7dff71b6e49c40054f5bd53a353a | |
| parent | fc6404dd6d6f18b35c77a5565588d4f0a3b3fd70 (diff) | |
MAJ setup
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@5680 85f007b7-540e-0410-9357-904b9bb8a0f7
| -rw-r--r-- | distrib/RH/coq_ext_for_pcoq.spec | 2 | ||||
| -rw-r--r-- | distrib/RH/coqide.spec | 4 |
2 files changed, 3 insertions, 3 deletions
diff --git a/distrib/RH/coq_ext_for_pcoq.spec b/distrib/RH/coq_ext_for_pcoq.spec index 734afb961f..61f738c892 100644 --- a/distrib/RH/coq_ext_for_pcoq.spec +++ b/distrib/RH/coq_ext_for_pcoq.spec @@ -15,7 +15,7 @@ The Coq Extension for Pcoq provides all facilities to interface Coq with Pcoq %prep -%setup -n coq-8.0cdrom +%setup -n coq-8.0 %build ./configure -prefix /usr -emacslib /usr/share/emacs/site-lisp -opt -reals all -coqide no # Need ocamlc.opt and ocamlopt.opt diff --git a/distrib/RH/coqide.spec b/distrib/RH/coqide.spec index 81b2e56340..754583ec70 100644 --- a/distrib/RH/coqide.spec +++ b/distrib/RH/coqide.spec @@ -6,7 +6,7 @@ Copyright: freely redistributable Group: Applications/Math Vendor: INRIA & LRI URL: http://coq.inria.fr -Source: ftp://ftp.inria.fr/INRIA/coq/V8.0beta/coq-8.0.tar.gz +Source: ftp://ftp.inria.fr/INRIA/coq/V8.0/coq-8.0.tar.gz Icon: petit-coq.gif Requires: coq = 8.0 @@ -15,7 +15,7 @@ The Coq Integrated Development Interface is a graphical interface for the Coq proof assistant %prep -%setup -n coq-8.0cdrom +%setup -n coq-8.0 %build ./configure -prefix /usr -emacslib /usr/share/emacs/site-lisp -opt -reals all # Need ocamlc.opt and ocamlopt.opt |