Commit 328e5d48 authored by Alexandre Duret-Lutz's avatar Alexandre Duret-Lutz

update and link *.spins files with -pthreads

parent f5698acd
Pipeline #12935 failed with stages
in 11 seconds
spins (1.1-5) 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> Wed, 11 Sep 2019 14:34:05 +0200
spins (1.1-4) unstable; urgency=medium
* Update to new build environment.
......
......@@ -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"
-pthreads $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