Commit 5b079b6d authored by Alexandre Duret-Lutz's avatar Alexandre Duret-Lutz

update spins and link *.spins files with -pthread

parent f5698acd
spins (1.1-6) unstable; urgency=medium
* Update to git version bcc898c3610208c6ae0063d2353d1631e7fe7de1 from
2018-12-02.
* Link the *.spins files with -pthreads.
-- Alexandre Duret-Lutz <adl@lrde.epita.fr> Thu, 12 Sep 2019 20:21:56 +0200
spins (1.1-4) unstable; urgency=medium
* Update to new build environment.
......
......@@ -49,7 +49,7 @@ if [ $ERROR -ne 0 ]; then
fi
if [ $no_compile -eq 1 ]; then
echo"$promela_file succesfully compiled into $output_file" 1>&2
echo "$promela_file succesfully compiled into $output_file" 1>&2
exit 0
fi
......@@ -58,7 +58,7 @@ CC="gcc -fPIC -shared -O2 -ggdb $CFLAGS -Wno-unused-variable \
-Wno-initializer-overrides \
-Wno-unused-but-set-variable \
-Wno-unknown-warning-option \
$output_file -o $promela_name.spins"
-pthread $output_file -o $promela_name.spins"
[ $verbose = 1 ] && echo $CC
......
......@@ -37,7 +37,7 @@ if [ -f "$output_file" ]; then
fi
# Total memory in KB
if [ -e /proc/meminfo ]; then
if [ -e /proc/meminfo ]; then
totalMemKB=`awk '/MemTotal:/ { print $2 }' /proc/meminfo`
totalMemMB=$(( $totalMemKB/1024 ))
else
......@@ -68,7 +68,7 @@ CC="gcc -fPIC -shared -O2 -ggdb $CFLAGS -Wno-unused-variable \
-Wno-initializer-overrides \
-Wno-unused-but-set-variable \
-Wno-unknown-warning-option \
$output_file -o $promela_name.spins"
-pthread $output_file -o $promela_name.spins"
if [ $verbose = 1 ]; then
echo $CC
......
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment