diff options
| -rw-r--r-- | development/alloy/README | 7 | ||||
| -rw-r--r-- | development/alloy/alloy.SlackBuild | 21 | ||||
| -rw-r--r-- | development/alloy/alloy.desktop | 10 | ||||
| -rw-r--r-- | development/alloy/alloy.info | 2 | ||||
| -rw-r--r-- | development/alloy/alloy.png | bin | 0 -> 6390 bytes |
5 files changed, 31 insertions, 9 deletions
diff --git a/development/alloy/README b/development/alloy/README index 180468fc39..6d1e763ac2 100644 --- a/development/alloy/README +++ b/development/alloy/README @@ -1,4 +1,3 @@ -Alloy is a lightweight modelling language for software design. It is -amenable to a fully automatic analysis, using the Alloy Analyzer, and -provides a visualizer for making sense of solutions and counterexamples it -finds. +Alloy is a lightweight modelling language for software design. It is amenable +to a fully automatic analysis, using the Alloy Analyzer, and provides a +visualizer for making sense of solutions and counterexamples it finds. 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 diff --git a/development/alloy/alloy.desktop b/development/alloy/alloy.desktop new file mode 100644 index 0000000000..cf2043a64e --- /dev/null +++ b/development/alloy/alloy.desktop @@ -0,0 +1,10 @@ +[Desktop Entry] +Version=1.0 +Type=Application +Name=Alloy Analyzer +Comment=Alloy modeling language and analyzer +Exec=alloy +Icon=alloy.png +Terminal=false +Categories=Development; +StartupNotify=true diff --git a/development/alloy/alloy.info b/development/alloy/alloy.info index ca39592056..0e4b66f30d 100644 --- a/development/alloy/alloy.info +++ b/development/alloy/alloy.info @@ -7,4 +7,4 @@ DOWNLOAD_x86_64="" MD5SUM_x86_64="" MAINTAINER="Jockey S. Kyd" EMAIL="jockey.kyd@gmail.com" -APPROVED="Niels Horn" +APPROVED="Erik Hanson" diff --git a/development/alloy/alloy.png b/development/alloy/alloy.png Binary files differnew file mode 100644 index 0000000000..8d01c72da2 --- /dev/null +++ b/development/alloy/alloy.png |
