diff options
Diffstat (limited to 'development/alloy/alloy.SlackBuild')
| -rw-r--r-- | development/alloy/alloy.SlackBuild | 21 |
1 files changed, 17 insertions, 4 deletions
diff --git a/development/alloy/alloy.SlackBuild b/development/alloy/alloy.SlackBuild index 10d36014e0..4b7c5c547b 100644 --- a/development/alloy/alloy.SlackBuild +++ b/development/alloy/alloy.SlackBuild @@ -33,19 +33,32 @@ rm -rf $PKG mkdir -p $TMP $PKG $OUTPUT cd $TMP +# check the jarball's version matches VERSION (doesn't matter the dots +# in VERSION are treated as meta-character by grep) +if ! unzip -c $CWD/$DIST.jar edu/mit/csail/sdg/alloy4/Version.java \ + | grep 'String version()' | grep --quiet $VERSION; then + printf "%s is not of version %s.\n" $DIST.jar $VERSION 1>&2 + exit 1 +fi + mkdir -p $PKG/usr/lib$LIBDIRSUFFIX/$PRGNAM install -Dm 644 $CWD/$DIST.jar $PKG/usr/lib$LIBDIRSUFFIX/$PRGNAM/$DIST.jar mkdir -p $PKG/usr/bin ( cd $PKG/usr/bin - cat > $DIST <<__END__ + cat > $PRGNAM <<__END__ #!/bin/sh -java -jar /usr/lib$LIBDIRSUFFIX/$PRGNAM/$DIST.jar "\$@" +exec java -jar /usr/lib$LIBDIRSUFFIX/$PRGNAM/$DIST.jar "\$@" __END__ - chmod 755 $DIST - ln -sf $DIST $PRGNAM + chmod 0755 $PRGNAM ) +mkdir -p $PKG/usr/share/pixmaps +cat $CWD/alloy.png > $PKG/usr/share/pixmaps/alloy.png + +mkdir -p $PKG/usr/share/applications +cat $CWD/alloy.desktop > $PKG/usr/share/applications/alloy.desktop + mkdir -p $PKG/usr/doc/$PRGNAM-$VERSION cat $CWD/$PRGNAM.SlackBuild > $PKG/usr/doc/$PRGNAM-$VERSION/$PRGNAM.SlackBuild |