I have an update for coq from 8.4 to 8.6, but I'd like to get the easy bits in first: - switch from http to https - drop gettext module - regen WANTLIB - move MODULES up in the Makefile, following Makefile.template
ok? Index: Makefile =================================================================== RCS file: /home/cvs/ports/math/coq/Makefile,v retrieving revision 1.33 diff -u -p -u -r1.33 Makefile --- Makefile 29 Mar 2016 11:27:01 -0000 1.33 +++ Makefile 24 Feb 2017 01:57:29 -0000 @@ -4,10 +4,10 @@ COMMENT= proof assistant based on a typ V= 8.4pl6 DISTNAME= coq-$V -REVISION= 1 +REVISION= 2 CATEGORIES= math -HOMEPAGE= http://coq.inria.fr/ +HOMEPAGE= https://coq.inria.fr/ MAINTAINER= Yozo Toda <y...@v007.vaio.ne.jp> @@ -17,23 +17,21 @@ PERMIT_PACKAGE_CDROM= Yes WANTLIB += X11 Xcomposite Xcursor Xdamage Xext Xfixes Xi Xinerama WANTLIB += Xrandr Xrender atk-1.0 c cairo fontconfig freetype WANTLIB += gdk-x11-2.0 gdk_pixbuf-2.0 gio-2.0 glib-2.0 gobject-2.0 -WANTLIB += gtk-x11-2.0 m pango-1.0 pangocairo-1.0 -WANTLIB += pangoft2-1.0 pthread -WANTLIB += z +WANTLIB += gtk-x11-2.0 intl m pango-1.0 pangocairo-1.0 pangoft2-1.0 +WANTLIB += pthread z -MASTER_SITES= http://coq.inria.fr/distrib/V${V}/files/ +MASTER_SITES= https://coq.inria.fr/distrib/V${V}/files/ -RUN_DEPENDS= x11/lablgtk2 -BUILD_DEPENDS= ${RUN_DEPENDS} \ +MODULES= lang/ocaml + +BUILD_DEPENDS= x11/lablgtk2 \ lang/ocaml-camlp4 \ sysutils/findlib +RUN_DEPENDS= x11/lablgtk2 DESTDIRNAME= COQINSTALLPREFIX USE_GMAKE= Yes - -MODULES= devel/gettext \ - lang/ocaml CONFIGURE_STYLE= simple CONFIGURE_ARGS= -emacslib ${PREFIX}/share/emacs/site-lisp \
