We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
1 parent 5c1190f commit 3ddf7b0Copy full SHA for 3ddf7b0
vigir_ltl_synthesizer/install_slugs.sh
@@ -1,11 +1,12 @@
1
-# installation script for slugs
2
-# on Linux and Darwin
+# Installation script for slugs
+# on Linux and Darwin (Mac OS X)
3
#
4
-# https://github.com/LTLMoP/slugs
+# https://github.com/VerifiableRobotics/slugs
5
6
-# This script is an extension of
7
-# the one written by https://github.com/johnyf
8
-# for https://github.com/johnyf/openpromela/
+# This script is an extension of the
+# one written by https://github.com/johnyf
+#
9
+
10
set -e
11
12
INSTALL=/usr/local/bin
@@ -67,7 +68,6 @@ cd ../
67
68
# build slugs
69
cd src/
70
if ! [ -e "slugs" ] ; then
- qmake Tool.pro
71
make
72
fi
73
sudo cp slugs "${INSTALL}/slugs"
0 commit comments