desktop/anki/makefile-fix.patch
2018-10-08 16:45:24 +02:00

57 lines
2.3 KiB
Diff

--- a/Makefile 2018-08-20 09:16:58.000000000 +0200
+++ b/Makefile 2018-08-22 16:51:04.612964722 +0200
@@ -6,33 +6,30 @@
@echo "Uninstall with 'sudo make uninstall'"
install:
- rm -rf ${PREFIX}/share/anki
- mkdir -p ${PREFIX}/share/anki
- cp -av * ${PREFIX}/share/anki/
- mkdir -p ${PREFIX}/bin
- ln -sf ${PREFIX}/share/anki/bin/anki ${PREFIX}/bin/
+ rm -rf $(DESTDIR)${PREFIX}/share/anki
+ mkdir -p $(DESTDIR)${PREFIX}/share/anki
+ cp -av * $(DESTDIR)${PREFIX}/share/anki/
+ mkdir -p $(DESTDIR)${PREFIX}/bin
+ ln -sf ${PREFIX}/share/anki/bin/anki $(DESTDIR)${PREFIX}/bin/
# fix a previous packaging issue where we created this as a file
- (test -f ${PREFIX}/share/applications && rm ${PREFIX}/share/applications)||true
- mkdir -p ${PREFIX}/share/pixmaps
- mkdir -p ${PREFIX}/share/applications
- mkdir -p ${PREFIX}/share/man/man1
- cd ${PREFIX}/share/anki && (\
- mv anki.xpm anki.png ${PREFIX}/share/pixmaps/;\
- mv anki.desktop ${PREFIX}/share/applications/;\
- mv anki.1 ${PREFIX}/share/man/man1/)
- xdg-mime install anki.xml --novendor
- xdg-mime default anki.desktop application/x-colpkg
- xdg-mime default anki.desktop application/x-apkg
+ (test -f $(DESTDIR)${PREFIX}/share/applications && rm $(DESTDIR)${PREFIX}/share/applications)||true
+ mkdir -p $(DESTDIR)${PREFIX}/share/pixmaps
+ mkdir -p $(DESTDIR)${PREFIX}/share/applications
+ mkdir -p $(DESTDIR)${PREFIX}/share/man/man1
+ cd $(DESTDIR)${PREFIX}/share/anki && (\
+ mv anki.xpm anki.png $(DESTDIR)${PREFIX}/share/pixmaps/;\
+ mv anki.desktop $(DESTDIR)${PREFIX}/share/applications/;\
+ mv anki.1 $(DESTDIR)${PREFIX}/share/man/man1/)
@echo
@echo "Install complete. Type 'anki' to run."
uninstall:
- -xdg-mime uninstall ${PREFIX}/share/anki/anki.xml
- rm -rf ${PREFIX}/share/anki
- rm -rf ${PREFIX}/bin/anki
- rm -rf ${PREFIX}/share/pixmaps/anki.xpm
- rm -rf ${PREFIX}/share/pixmaps/anki.png
- rm -rf ${PREFIX}/share/applications/anki.desktop
- rm -rf ${PREFIX}/share/man/man1/anki.1
+ -xdg-mime uninstall $(DESTDIR)${PREFIX}/share/anki/anki.xml
+ rm -rf $(DESTDIR)${PREFIX}/share/anki
+ rm -rf $(DESTDIR)${PREFIX}/bin/anki
+ rm -rf $(DESTDIR)${PREFIX}/share/pixmaps/anki.xpm
+ rm -rf $(DESTDIR)${PREFIX}/share/pixmaps/anki.png
+ rm -rf $(DESTDIR)${PREFIX}/share/applications/anki.desktop
+ rm -rf $(DESTDIR)${PREFIX}/share/man/man1/anki.1
@echo
@echo "Uninstall complete."