summaryrefslogtreecommitdiffstats
path: root/development
diff options
context:
space:
mode:
Diffstat (limited to 'development')
-rw-r--r--development/alloy/README4
-rw-r--r--development/alloy/alloy.SlackBuild90
-rw-r--r--development/alloy/alloy.desktop10
-rw-r--r--development/alloy/alloy.info10
-rw-r--r--development/alloy/alloy.pngbin6390 -> 0 bytes
-rw-r--r--development/alloy/doinst.sh3
-rw-r--r--development/alloy/slack-desc19
7 files changed, 0 insertions, 136 deletions
diff --git a/development/alloy/README b/development/alloy/README
deleted file mode 100644
index 49ec15f20b..0000000000
--- a/development/alloy/README
+++ /dev/null
@@ -1,4 +0,0 @@
-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
deleted file mode 100644
index b0906a7279..0000000000
--- a/development/alloy/alloy.SlackBuild
+++ /dev/null
@@ -1,90 +0,0 @@
-#!/bin/sh
-#
-# Slackware build script for alloy
-#
-# Originally written by Jockey S. Kyd (jockey dot kyd at gmail dot com)
-#
-# Copyright 2014 Ryan P.C. McQuen, WA, ryanpcmcquen@member.fsf.org
-# All rights reserved.
-#
-# Redistribution and use of this script, with or without modification, is
-# permitted provided that the following conditions are met:
-#
-# 1. Redistributions of this script must retain the above copyright
-# notice, this list of conditions and the following disclaimer.
-#
-# THIS SOFTWARE IS PROVIDED BY THE AUTHOR ''AS IS'' AND ANY EXPRESS OR IMPLIED
-# WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE IMPLIED WARRANTIES OF
-# MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE ARE DISCLAIMED. IN NO
-# EVENT SHALL THE AUTHOR BE LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL,
-# SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT LIMITED TO,
-# PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES; LOSS OF USE, DATA, OR PROFITS;
-# OR BUSINESS INTERRUPTION) HOWEVER CAUSED AND ON ANY THEORY OF LIABILITY,
-# WHETHER IN CONTRACT, STRICT LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR
-# OTHERWISE) ARISING IN ANY WAY OUT OF THE USE OF THIS SOFTWARE, EVEN IF
-# ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.
-
-PRGNAM=alloy
-VERSION=${VERSION:-4.2}
-BUILD=${BUILD:-1}
-TAG=${TAG:-_SBo}
-
-if [ -z "$ARCH" ]; then
- case "$(uname -m)" in
- i?86) ARCH=i586 ;;
- arm*) ARCH=arm ;;
- *) ARCH=$(uname -m) ;;
- esac
-fi
-
-CWD=$(pwd)
-TMP=${TMP:-/tmp/SBo}
-PKG=$TMP/package-$PRGNAM
-OUTPUT=${OUTPUT:-/tmp}
-DIST=$PRGNAM${VERSION}
-
-case "$ARCH" in
- x86_64) LIBDIRSUFFIX="64" ;;
- *) LIBDIRSUFFIX="" ;;
-esac
-
-set -e
-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 > $PRGNAM <<__END__
-#!/bin/sh
-exec java -jar /usr/lib$LIBDIRSUFFIX/$PRGNAM/$DIST.jar "\$@"
-__END__
- 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
-
-mkdir -p $PKG/install
-cat $CWD/slack-desc > $PKG/install/slack-desc
-cat $CWD/doinst.sh > $PKG/install/doinst.sh
-
-cd $PKG
-/sbin/makepkg -l y -c n $OUTPUT/$PRGNAM-$VERSION-$ARCH-$BUILD$TAG.${PKGTYPE:-tgz}
diff --git a/development/alloy/alloy.desktop b/development/alloy/alloy.desktop
deleted file mode 100644
index 6e0739e971..0000000000
--- a/development/alloy/alloy.desktop
+++ /dev/null
@@ -1,10 +0,0 @@
-[Desktop Entry]
-Version=1.0
-Type=Application
-Name=Alloy Analyzer
-Comment=Alloy modeling language and analyzer
-Exec=alloy
-Icon=alloy
-Terminal=false
-Categories=Development;
-StartupNotify=true
diff --git a/development/alloy/alloy.info b/development/alloy/alloy.info
deleted file mode 100644
index 82db176c76..0000000000
--- a/development/alloy/alloy.info
+++ /dev/null
@@ -1,10 +0,0 @@
-PRGNAM="alloy"
-VERSION="4.2"
-HOMEPAGE="http://alloy.mit.edu/"
-DOWNLOAD="http://ponce.cc/slackware/sources/repo/alloy4.2.jar"
-MD5SUM="dfc6f233a88738f2ac62bd2d6eb1c2bc"
-DOWNLOAD_x86_64=""
-MD5SUM_x86_64=""
-REQUIRES="jdk"
-MAINTAINER="orphaned - no maintainer"
-EMAIL="nobody@nowhere"
diff --git a/development/alloy/alloy.png b/development/alloy/alloy.png
deleted file mode 100644
index 8d01c72da2..0000000000
--- a/development/alloy/alloy.png
+++ /dev/null
Binary files differ
diff --git a/development/alloy/doinst.sh b/development/alloy/doinst.sh
deleted file mode 100644
index 5fb28930db..0000000000
--- a/development/alloy/doinst.sh
+++ /dev/null
@@ -1,3 +0,0 @@
-if [ -x /usr/bin/update-desktop-database ]; then
- /usr/bin/update-desktop-database -q usr/share/applications >/dev/null 2>&1
-fi
diff --git a/development/alloy/slack-desc b/development/alloy/slack-desc
deleted file mode 100644
index a6a1559de4..0000000000
--- a/development/alloy/slack-desc
+++ /dev/null
@@ -1,19 +0,0 @@
-# HOW TO EDIT THIS FILE:
-# The "handy ruler" below makes it easier to edit a package description.
-# Line up the first '|' above the ':' following the base package name, and
-# the '|' on the right side marks the last column you can put a character in.
-# You must make exactly 11 lines for the formatting to be correct. It's also
-# customary to leave one space after the ':' except on otherwise blank lines.
-
- |-----handy-ruler------------------------------------------------------|
-alloy: alloy (Alloy Analyzer)
-alloy:
-alloy: Alloy is a lightweight modelling language for software design. It is
-alloy: amenable to a fully automatic analysis, using the Alloy Analyzer, and
-alloy: provides a visualizer for making sense of solutions and
-alloy: counterexamples it finds.
-alloy:
-alloy: http://alloy.mit.edu/
-alloy:
-alloy:
-alloy: