diff options
| author | Joe Marcus Clarke <marcus@FreeBSD.org> | 2007-10-24 23:37:25 +0000 |
|---|---|---|
| committer | Joe Marcus Clarke <marcus@FreeBSD.org> | 2007-10-24 23:37:25 +0000 |
| commit | 4acc6fb2a411b291c9c210d82bafe7c62e71c77d (patch) | |
| tree | bc16420eb52d65511ceb520c00171d219210a473 /math/proofgeneral | |
| parent | 97dfcc1b41c5b4581b1d73128a866beec069c5bf (diff) | |
| download | ports-4acc6fb2a411b291c9c210d82bafe7c62e71c77d.tar.gz ports-4acc6fb2a411b291c9c210d82bafe7c62e71c77d.zip | |
Notes
Diffstat (limited to 'math/proofgeneral')
| -rw-r--r-- | math/proofgeneral/Makefile | 2 | ||||
| -rw-r--r-- | math/proofgeneral/files/patch-Makefile | 14 | ||||
| -rw-r--r-- | math/proofgeneral/pkg-plist | 11 |
3 files changed, 14 insertions, 13 deletions
diff --git a/math/proofgeneral/Makefile b/math/proofgeneral/Makefile index 6d91c0373f74..7edca40e8921 100644 --- a/math/proofgeneral/Makefile +++ b/math/proofgeneral/Makefile @@ -7,7 +7,7 @@ PORTNAME= proofgeneral PORTVERSION= 3.6 -PORTREVISION= 3 +PORTREVISION= 6 CATEGORIES= math elisp MASTER_SITES= http://proofgeneral.inf.ed.ac.uk/releases/ DISTNAME= ProofGeneral-3.6pre061107 diff --git a/math/proofgeneral/files/patch-Makefile b/math/proofgeneral/files/patch-Makefile index 2de740aac490..94175219e19c 100644 --- a/math/proofgeneral/files/patch-Makefile +++ b/math/proofgeneral/files/patch-Makefile @@ -77,18 +77,18 @@ + ${BSD_INSTALL_DATA} etc/desktop/icons/48x48/proofgeneral.png ${DESKTOP}/icons/hicolor/48x48; \ + fi + -+ if [ -d ${DESKTOP}/gnome ]; then \ -+ ${BSD_INSTALL_DATA} etc/desktop/icons/48x48/proofgeneral.png ${DESKTOP}/gnome/pixmaps; \ -+ ${BSD_INSTALL_DATA} etc/desktop/proofgeneral.desktop ${DESKTOP}/gnome/applications; \ -+ ${BSD_INSTALL_DATA} etc/desktop/mime-info/proofgeneral.mime ${DESKTOP}/gnome/mime-info; \ -+ ${BSD_INSTALL_DATA} etc/desktop/mime-info/proofgeneral.keys ${DESKTOP}/gnome/mime-info; \ ++ if [ -d ${DESKTOP} ]; then \ ++ ${BSD_INSTALL_DATA} etc/desktop/icons/48x48/proofgeneral.png ${DESKTOP}/pixmaps; \ ++ ${BSD_INSTALL_DATA} etc/desktop/proofgeneral.desktop ${DESKTOP}/applications; \ ++ ${BSD_INSTALL_DATA} etc/desktop/mime-info/proofgeneral.mime ${DESKTOP}/mime-info; \ ++ ${BSD_INSTALL_DATA} etc/desktop/mime-info/proofgeneral.keys ${DESKTOP}/mime-info; \ + fi + # backwards compatibility with old linuxes - mkdir -p ${DESKTOP}/application-registry - cp etc/desktop/application-registry/proofgeneral.applications ${DESKTOP}/application-registry -+ mkdir -p ${DESKTOP}/gnome/application-registry -+ cp etc/desktop/application-registry/proofgeneral.applications ${DESKTOP}/gnome/application-registry ++ mkdir -p ${DESKTOP}/application-registry ++ cp etc/desktop/application-registry/proofgeneral.applications ${DESKTOP}/application-registry # NB: .el files are not strictly necessary, but we package/install them # for the time being to help with debugging, or for users to recompile. diff --git a/math/proofgeneral/pkg-plist b/math/proofgeneral/pkg-plist index 8cdc907e872e..9ed9b231f670 100644 --- a/math/proofgeneral/pkg-plist +++ b/math/proofgeneral/pkg-plist @@ -418,11 +418,11 @@ bin/isartags %%EMACS_SITE_LISPDIR%%/proofgeneral/x-symbol/info/x-symbol.info %%EMACS_SITE_LISPDIR%%/proofgeneral/x-symbol/README.x-symbol-for-ProofGeneral %%EMACS_SITE_LISPDIR%%/site-start.d/pg-init.el -share/gnome/application-registry/proofgeneral.applications -share/gnome/applications/proofgeneral.desktop -share/gnome/mime-info/proofgeneral.keys -share/gnome/mime-info/proofgeneral.mime -share/gnome/pixmaps/proofgeneral.png +share/application-registry/proofgeneral.applications +share/applications/proofgeneral.desktop +share/mime-info/proofgeneral.keys +share/mime-info/proofgeneral.mime +share/pixmaps/proofgeneral.png share/icons/hicolor/16x16/proofgeneral.png share/icons/hicolor/32x32/proofgeneral.png share/icons/hicolor/48x48/proofgeneral.png @@ -548,3 +548,4 @@ share/icons/hicolor/48x48/proofgeneral.png %%PORTDOCS%%@dirrm %%DOCSDIR%%/ProofGeneral %%PORTDOCS%%@dirrm %%DOCSDIR%%/PG-adapting %%PORTDOCS%%@dirrm %%DOCSDIR%% +@dirrmtry share/applications |