kpriv/freebsd-ports
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity
freebsd-ports/math/coq/Makefile

66 lines
1.7 KiB
Makefile
Raw Normal View History

Add coq, a formal proof management system: a proof done with Coq is mechanically checked by the machine. In particular, Coq allows: * the definition of functions or predicates, * to state mathematical theorems and software specifications, * to develop interactively formal proofs of these theorems, * to check these proofs by a small certification "kernel". PR: ports/72718 Submitted by: Rene Ladan <r.c.ladan@student.tue.nl>
2004-10-16 02:55:32 +02:00
# $FreeBSD$
PORTNAME= coq
Update to 8.6. Fix PORTEPOCH accidentally removed in the previous commit.
2017-01-01 00:05:08 +01:00
PORTVERSION= 8.6
USES=emacs ports: Bump PORTREVISION for editors/emacs 26.1 upgrade Or, mark ports that fail to build as BROKEN. https://lists.freebsd.org/pipermail/freebsd-ports/2018-May/113518.html
2018-05-31 03:18:05 +02:00
PORTREVISION= 3
Update to 8.6. Fix PORTEPOCH accidentally removed in the previous commit.
2017-01-01 00:05:08 +01:00
PORTEPOCH= 3
Add coq, a formal proof management system: a proof done with Coq is mechanically checked by the machine. In particular, Coq allows: * the definition of functions or predicates, * to state mathematical theorems and software specifications, * to develop interactively formal proofs of these theorems, * to check these proofs by a small certification "kernel". PR: ports/72718 Submitted by: Rene Ladan <r.c.ladan@student.tue.nl>
2004-10-16 02:55:32 +02:00
CATEGORIES= math
Update to 8.5.
2016-12-31 15:32:50 +01:00
MASTER_SITES= http://coq.inria.fr/distrib/V${PORTVERSION}/files/ \
Update to 8.1.1 (bugfix release)
2007-07-30 09:36:01 +02:00
ftp://ftp.stack.nl/pub/users/johans/coq/
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
2018-02-01 19:03:09 +01:00
PKGNAMESUFFIX= ${EMACS_PKGNAMESUFFIX}
- Update to 8.0pl3 PR: ports/93954 Submitted by: Johan van Selst <johans@stack.nl>
2006-03-16 16:31:23 +01:00
- Add missing dependencies. - Strip installed binaries.
2016-12-31 10:00:20 +01:00
MAINTAINER= hrs@FreeBSD.org
Add coq, a formal proof management system: a proof done with Coq is mechanically checked by the machine. In particular, Coq allows: * the definition of functions or predicates, * to state mathematical theorems and software specifications, * to develop interactively formal proofs of these theorems, * to check these proofs by a small certification "kernel". PR: ports/72718 Submitted by: Rene Ladan <r.c.ladan@student.tue.nl>
2004-10-16 02:55:32 +02:00
COMMENT= Theorem prover based on lambda-C
- Move license information from port description into LICENSE knobs - Convert $arch-conditional BROKEN statement into BROKEN_$arch one
2016-11-19 12:39:40 +01:00
LICENSE= LGPL21
LICENSE_FILE= ${WRKSRC}/LICENSE
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
2018-02-01 19:03:09 +01:00
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
Remove ${PORTSDIR}/ from dependencies, categories m, n, o, and p. With hat: portmgr Sponsored by: Absolight
2016-04-01 16:16:16 +02:00
BUILD_DEPENDS= camlp5:devel/ocaml-camlp5 \
ocamlfind:devel/ocaml-findlib
- Add missing dependencies. - Strip installed binaries.
2016-12-31 10:00:20 +01:00
LIB_DEPENDS= libfontconfig.so:x11-fonts/fontconfig \
libfreetype.so:print/freetype2
- Due to depency updates, camlp5 (fresh port) is now required as well: Include this dependency and bump portrevision
2008-04-17 00:10:53 +02:00
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
2018-02-01 19:03:09 +01:00
USES= emacs gmake gettext-runtime
Update to 8.5.
2016-12-31 15:32:50 +01:00
USE_GNOME= atk cairo gdkpixbuf2 glib20 gtk20 gtksourceview2 pango
USE_LDCONFIG= ${PREFIX}/lib/coq
- Update to 8.1pl3 - Take advantage of USE_OCAML - Update MASTER_SITES
2008-04-06 19:40:47 +02:00
USE_OCAML= yes
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
2018-02-01 19:03:09 +01:00
Add coq, a formal proof management system: a proof done with Coq is mechanically checked by the machine. In particular, Coq allows: * the definition of functions or predicates, * to state mathematical theorems and software specifications, * to develop interactively formal proofs of these theorems, * to check these proofs by a small certification "kernel". PR: ports/72718 Submitted by: Rene Ladan <r.c.ladan@student.tue.nl>
2004-10-16 02:55:32 +02:00
HAS_CONFIGURE= yes
Update to 8.5.
2016-12-31 15:32:50 +01:00
CONFIGURE_ARGS= -prefix ${PREFIX} \
-mandir ${PREFIX}/man \
-emacslib ${PREFIX}/share/emacs/site-lisp/coq \
-usecamlp5 \
Update to 8.6. Fix PORTEPOCH accidentally removed in the previous commit.
2017-01-01 00:05:08 +01:00
-byteonly
Update to 8.5.
2016-12-31 15:32:50 +01:00
MAKE_ENV= VERBOSE=1
- Add missing dependencies. - Strip installed binaries.
2016-12-31 10:00:20 +01:00
ALL_TARGET= world
- Update coq to 8.4.3 - Enable stage support - Simplify options handling
2014-01-11 10:31:40 +01:00
OPTIONS_DEFINE= DOCS IDE
Remove NLS, DOCS, EXAMPLES and IPV6 from OPTIONS_DEFAULT, they are enabled by default anyway and don't need to be listed Approved by: portmgr blanket
2016-05-23 22:35:01 +02:00
OPTIONS_DEFAULT= IDE
- Update coq to 8.4.3 - Enable stage support - Simplify options handling
2014-01-11 10:31:40 +01:00
OPTIONS_SUB= yes
IDE_DESC= Include desktop environment (coqide)
Remove ${PORTSDIR}/ from dependencies, categories m, n, o, and p. With hat: portmgr Sponsored by: Absolight
2016-04-01 16:16:16 +02:00
IDE_BUILD_DEPENDS= lablgtk2:x11-toolkits/ocaml-lablgtk2
- Move license information from port description into LICENSE knobs - Convert $arch-conditional BROKEN statement into BROKEN_$arch one
2016-11-19 12:39:40 +01:00
IDE_RUN_DEPENDS= lablgtk2:x11-toolkits/ocaml-lablgtk2
Update to 8.5.
2016-12-31 15:32:50 +01:00
IDE_CONFIGURE_OFF= -coqide no
Switch to texlive
2014-07-23 15:04:15 +02:00
DOCS_USE= TEX=latex:build,dvipsk:build,texmf:build
Remove ${PORTSDIR}/ from dependencies, categories m, n, o, and p. With hat: portmgr Sponsored by: Absolight
2016-04-01 16:16:16 +02:00
DOCS_BUILD_DEPENDS= hevea:textproc/hevea
Update to 8.5.
2016-12-31 15:32:50 +01:00
DOCS_CONFIGURE_OFF= -with-doc no
STRIP_FILES= lib/coq/dllcoqrun.so
Convert to new options framework
2012-06-28 18:12:21 +02:00
Fix packaging
2014-09-03 18:54:55 +02:00
# Workaround bsd.ocaml.mk to fix packaging
add-plist-post:
@${DO_NADA}
- Update to 8.1 - Grab maintainership - Remove FreeBSD-specific workaround that shouldn't be needed anymore
2007-03-25 20:44:33 +02:00
post-patch:
- Add missing dependencies. - Strip installed binaries.
2016-12-31 10:00:20 +01:00
${REINPLACE_CMD} -e '/show_latex_mes/s/)$$/; true)/' \
${WRKSRC}/Makefile.doc
post-install:
cd ${STAGEDIR}${PREFIX} && ${STRIP_CMD} ${STRIP_FILES}
Add coq, a formal proof management system: a proof done with Coq is mechanically checked by the machine. In particular, Coq allows: * the definition of functions or predicates, * to state mathematical theorems and software specifications, * to develop interactively formal proofs of these theorems, * to check these proofs by a small certification "kernel". PR: ports/72718 Submitted by: Rene Ladan <r.c.ladan@student.tue.nl>
2004-10-16 02:55:32 +02:00
- Move license information from port description into LICENSE knobs - Convert $arch-conditional BROKEN statement into BROKEN_$arch one
2016-11-19 12:39:40 +01:00
.include <bsd.port.mk>
Reference in a new issue Copy permalink