diff options
| author | jrm <jrm@FreeBSD.org> | 2018-02-02 02:03:09 +0800 |
|---|---|---|
| committer | jrm <jrm@FreeBSD.org> | 2018-02-02 02:03:09 +0800 |
| commit | 8e8d43ac5d573ba0718403b8beae8b36fa9baf37 (patch) | |
| tree | 4a6b8513515fb032f2183d945863a1d39dbcd0c1 /math/coq | |
| parent | 48204ec74d19374b66c2d2475473f797a292c193 (diff) | |
| download | freebsd-ports-gnome-8e8d43ac5d573ba0718403b8beae8b36fa9baf37.tar.gz freebsd-ports-gnome-8e8d43ac5d573ba0718403b8beae8b36fa9baf37.tar.zst freebsd-ports-gnome-8e8d43ac5d573ba0718403b8beae8b36fa9baf37.zip | |
Flavorize and modernize Emacs ports
- Convert USE_EMACS to USES=emacs
- Remove editors/emacs-nox11 (refer to nox flavors of editors/emacs and
editors/emacs-devel)
- Permit default Emacs flavor to be specified in make.conf
- Rename japanese/migemo-emacs23 to japanese/migemo-emacs
- Update and simplify audio/emms and fix build on FreeBSD 10 [1]
- Update databases/bbdd and fix build on FreeBSD 10 [1]
- Update editors/emacs-devel
- Ensure Makefile shell commands that change directory are executed in a
subshell
- Silence some portlint warnings
[1] By not depending on base texinfo
PR: 225404
Reviewed by: antoine
Approved by: portmgr (mat) ashish (maintainer)
Differential Revision: https://reviews.freebsd.org/D13506
Diffstat (limited to 'math/coq')
| -rw-r--r-- | math/coq/Makefile | 15 |
1 files changed, 8 insertions, 7 deletions
diff --git a/math/coq/Makefile b/math/coq/Makefile index 1ae05356c74b..f95b47f9a83a 100644 --- a/math/coq/Makefile +++ b/math/coq/Makefile @@ -2,11 +2,12 @@ PORTNAME= coq PORTVERSION= 8.6 -PORTREVISION= 1 +PORTREVISION= 2 PORTEPOCH= 3 CATEGORIES= math MASTER_SITES= http://coq.inria.fr/distrib/V${PORTVERSION}/files/ \ ftp://ftp.stack.nl/pub/users/johans/coq/ +PKGNAMESUFFIX= ${EMACS_PKGNAMESUFFIX} MAINTAINER= hrs@FreeBSD.org COMMENT= Theorem prover based on lambda-C @@ -14,20 +15,20 @@ COMMENT= Theorem prover based on lambda-C LICENSE= LGPL21 LICENSE_FILE= ${WRKSRC}/LICENSE +BROKEN_armv6= fails to compile: Fatal error: exception Invalid_argument("index out of bounds") +BROKEN_armv7= fails to compile: Fatal error: exception Invalid_argument("index out of bounds") +BROKEN_powerpc= fails to link + BUILD_DEPENDS= camlp5:devel/ocaml-camlp5 \ ocamlfind:devel/ocaml-findlib LIB_DEPENDS= libfontconfig.so:x11-fonts/fontconfig \ libfreetype.so:print/freetype2 -BROKEN_armv6= fails to compile: Fatal error: exception Invalid_argument("index out of bounds") -BROKEN_armv7= fails to compile: Fatal error: exception Invalid_argument("index out of bounds") -BROKEN_powerpc= fails to link - -USES= gmake gettext-runtime -USE_EMACS= yes +USES= emacs gmake gettext-runtime USE_GNOME= atk cairo gdkpixbuf2 glib20 gtk20 gtksourceview2 pango USE_LDCONFIG= ${PREFIX}/lib/coq USE_OCAML= yes + HAS_CONFIGURE= yes CONFIGURE_ARGS= -prefix ${PREFIX} \ -mandir ${PREFIX}/man \ |