diff options
| author | adamw <adamw@FreeBSD.org> | 2014-07-30 03:11:51 +0800 |
|---|---|---|
| committer | adamw <adamw@FreeBSD.org> | 2014-07-30 03:11:51 +0800 |
| commit | 5d4f6dbf6920e86fef1c7e3a8e60608b5d4f4764 (patch) | |
| tree | 97c04ac5ad39d0af4b856d37b17a5a074d6adbc6 /math/proofgeneral | |
| parent | 1797fa8d15fb48b349a9dcceef649bf7bbbc52c3 (diff) | |
| download | freebsd-ports-gnome-5d4f6dbf6920e86fef1c7e3a8e60608b5d4f4764.tar.gz freebsd-ports-gnome-5d4f6dbf6920e86fef1c7e3a8e60608b5d4f4764.tar.zst freebsd-ports-gnome-5d4f6dbf6920e86fef1c7e3a8e60608b5d4f4764.zip | |
Convert a bunch of EXTRACT_SUFX=... into USES=tar:...
Approved by: portmgr (not really, but touches unstaged ports)
Diffstat (limited to 'math/proofgeneral')
| -rw-r--r-- | math/proofgeneral/Makefile | 3 |
1 files changed, 1 insertions, 2 deletions
diff --git a/math/proofgeneral/Makefile b/math/proofgeneral/Makefile index 9ac56b16f2c8..618f354206e6 100644 --- a/math/proofgeneral/Makefile +++ b/math/proofgeneral/Makefile @@ -8,7 +8,6 @@ CATEGORIES= math elisp MASTER_SITES= http://proofgeneral.inf.ed.ac.uk/releases/ PKGNAMESUFFIX= -${EMACS_NAME} DISTNAME= ProofGeneral-${PORTVERSION} -EXTRACT_SUFX= .tgz MAINTAINER= beyert@cs.ucr.edu COMMENT= Generic interface for proof assistants @@ -21,7 +20,7 @@ RUN_DEPENDS= ${LOCALBASE}/share/icons/hicolor/index.theme:${PORTSDIR}/misc/hicol USE_EMACS= yes INSTALLS_ICONS= yes -USES= gmake perl5 shebangfix +USES= gmake perl5 shebangfix tar:tgz SHEBANG_FILES= lego/legotags coq/coqtags isar/isartags .include <bsd.port.pre.mk> |