diff options
author | Daichi Shinozaki | 2015-06-09 18:16:39 +0900 |
---|---|---|
committer | Daichi Shinozaki | 2015-06-09 18:16:39 +0900 |
commit | 0daffa517fd51a585283d5cf1443588a109beaee (patch) | |
tree | 7fa64c4bf70854748ef96fd377a9144e0c6fe827 /gpsshogi.install | |
download | aur-0daffa517fd51a585283d5cf1443588a109beaee.tar.gz |
Initial import
Diffstat (limited to 'gpsshogi.install')
-rw-r--r-- | gpsshogi.install | 7 |
1 files changed, 7 insertions, 0 deletions
diff --git a/gpsshogi.install b/gpsshogi.install new file mode 100644 index 000000000000..e5e0466f1125 --- /dev/null +++ b/gpsshogi.install @@ -0,0 +1,7 @@ +post_install() { + echo -n '>> Setting $GPSSHOGI_HOME/makefile.conf ...' + sed -i 's!^\(GPSSHOGI_REVISION_H = \)\(.*\)!\1/usr/include/gpsshogi/revision.h!' /usr/share/gpsshogi/makefile.conf + echo " done" + echo + echo 'Please relogin for the changes to GPSSHOGI_HOME environment variable to take effect.' +} |