Ugh, took me about fifteen minutes to figure what's wrong with this... Oh..
A typo of PREFIX, fix it and should fix the *.desktop installation. Bump the PORTREVISION. Reported by: pointyhat Approved by: Related with our (FreeBSD GNOME Team) big change
This commit is contained in:
parent
f942d41c71
commit
b9277e9693
Notes:
svn2git
2021-03-31 03:12:20 +00:00
svn path=/head/; revision=202163
1 changed files with 2 additions and 2 deletions
|
@ -7,7 +7,7 @@
|
||||||
|
|
||||||
PORTNAME= proofgeneral
|
PORTNAME= proofgeneral
|
||||||
PORTVERSION= 3.6
|
PORTVERSION= 3.6
|
||||||
PORTREVISION= 7
|
PORTREVISION= 8
|
||||||
CATEGORIES= math elisp
|
CATEGORIES= math elisp
|
||||||
MASTER_SITES= http://proofgeneral.inf.ed.ac.uk/releases/
|
MASTER_SITES= http://proofgeneral.inf.ed.ac.uk/releases/
|
||||||
DISTNAME= ProofGeneral-3.6pre061107
|
DISTNAME= ProofGeneral-3.6pre061107
|
||||||
|
@ -75,7 +75,7 @@ pre-build:
|
||||||
#.endif
|
#.endif
|
||||||
|
|
||||||
pre-install:
|
pre-install:
|
||||||
@${MKDIR} ${PREIX}/share/applications
|
@${MKDIR} ${PREFIX}/share/applications
|
||||||
|
|
||||||
post-install:
|
post-install:
|
||||||
@${CAT} ${PKGMESSAGE}
|
@${CAT} ${PKGMESSAGE}
|
||||||
|
|
Loading…
Reference in a new issue