diff options
author | Sergey Matveychuk <sem@FreeBSD.org> | 2004-12-20 21:37:52 +0000 |
---|---|---|
committer | Sergey Matveychuk <sem@FreeBSD.org> | 2004-12-20 21:37:52 +0000 |
commit | 45f9d232487ce8b65fe3cf809b32bff0f5a6c1e6 (patch) | |
tree | ae82aad4f6d4a10fd5518228540a7a35d18f35d0 /math | |
parent | Update to 1.4.4. (diff) |
- Unbreak on amd64
(Johan van Selst succesfully ran the test-suite
on an amd64 running 6-CURRENT and ocaml-3.08.2)
PR: ports/75334
Submitted by: maintainer
Notes
Notes:
svn path=/head/; revision=124638
Diffstat (limited to 'math')
-rw-r--r-- | math/coq/Makefile | 3 |
1 files changed, 1 insertions, 2 deletions
diff --git a/math/coq/Makefile b/math/coq/Makefile index 40e76d1317ee..54bb850851b7 100644 --- a/math/coq/Makefile +++ b/math/coq/Makefile @@ -12,7 +12,6 @@ MASTER_SITES= ftp://ftp.inria.fr/INRIA/coq/V8.0pl1/ DISTNAME= coq-8.0pl1 PATCH_SITES= ${MASTER_SITES} -#only for Ocaml 3.08.1 : PATCHFILES= patch-coq-8.0pl1-ocaml-3.08.1 MAINTAINER= r.c.ladan@student.tue.nl @@ -32,7 +31,7 @@ ALL_TARGET= world .include <bsd.port.pre.mk> -.if ${ARCH} == "ia64" || ${ARCH} == "amd64" +.if ${ARCH} == "ia64" BROKEN= "OCaml bug prevents compilation" .endif |