Skip to content
GitLab
Projects
Groups
Snippets
Help
Loading...
Help
Help
Support
Community forum
Keyboard shortcuts
?
Submit feedback
Contribute to GitLab
Sign in / Register
Toggle navigation
spins-ltsmin-deb
Project overview
Project overview
Details
Activity
Releases
Repository
Repository
Files
Commits
Branches
Tags
Contributors
Graph
Compare
Issues
0
Issues
0
List
Boards
Labels
Service Desk
Milestones
CI / CD
CI / CD
Pipelines
Jobs
Schedules
Operations
Operations
Incidents
Environments
Packages & Registries
Packages & Registries
Container Registry
Analytics
Analytics
CI / CD
Repository
Value Stream
Wiki
Wiki
Members
Members
Collapse sidebar
Close sidebar
Activity
Graph
Create a new issue
Jobs
Commits
Issue Boards
Open sidebar
Spot
spins-ltsmin-deb
Commits
d3697a1c
Commit
d3697a1c
authored
Jun 22, 2016
by
Alexandre Duret-Lutz
Browse files
Options
Browse Files
Download
Email Patches
Plain Diff
* spins: update to match newer upstream version of spins.sh
parent
822312f6
Changes
2
Hide whitespace changes
Inline
Side-by-side
Showing
2 changed files
with
38 additions
and
6 deletions
+38
-6
debian/changelog
debian/changelog
+6
-0
spins
spins
+32
-6
No files found.
debian/changelog
View file @
d3697a1c
spins (1.1-1) unstable; urgency=low
* Update to the newer upstream version that is now hosted on github.
-- Alexandre Duret-Lutz <adl@lrde.epita.fr> Wed, 22 Jun 2016 15:34:30 +0200
spins (1.0-1) unstable; urgency=low
* Initial release.
...
...
spins
View file @
d3697a1c
...
...
@@ -5,11 +5,14 @@
JAR
=
/usr/share/java/spins.jar
promela_file
=
no_compile
=
0
verbose
=
0
for
option
in
${
1
+
"
$@
"
}
;
do
for
option
do
case
$option
in
-I
*
)
no_compile
=
1
;;
-
*
);;
-v
)
verbose
=
1
;;
-
*
)
;;
*
)
promela_file
=
$option
;;
esac
done
...
...
@@ -20,11 +23,25 @@ if [ -z "$promela_file" ]; then
fi
promela_name
=
`
basename
$promela_file
`
output_file
=
"
${
promela_name
}
.spins.c"
output_file
=
${
promela_name
}
.spins.c
rm
-f
"
$output_file
"
java
-Xms120m
-Xmx2048m
-cp
$JAR
spins.Compile
${
1
+
"
$@
"
}
# Total memory in KB
if
[
-e
/proc/meminfo
]
;
then
totalMemMB
=
`
awk
'/MemTotal:/ { print int($2/1024) }'
/proc/meminfo
`
else
totalMem
=
`
top
-l
1 |
grep
PhysMem:
`
totalMemMB
=
`
echo
"
$totalMem
"
|
sed
"s/PhysMem:[ ]*
\(
[0-9]*
\)
M.*/
\1
/"
`
if
[
"
$totalMem
"
=
"
$totalMemMB
"
]
;
then
totalMemGB
=
`
echo
"
$totalMem
"
|
sed
"s/PhysMem:[ ]*
\(
[0-9]*
\)
G.*/
\1
/"
`
totalMemMB
=
`
expr
$totalMemGB
'*'
1024
`
fi
fi
heapMB
=
`
expr
$totalMemMB
'*'
3 / 4
`
commitedMB
=
`
expr
$heapMB
/ 2
`
java
-Xms
${
commitedMB
}
m
-Xmx
${
heapMB
}
m
-Xss64m
-cp
$JAR
spins.Compile
${
1
+
"
$@
"
}
ERROR
=
$?
if
[
$ERROR
-ne
0
]
;
then
echo
"Compilation of
$promela_file
failed"
1>&2
...
...
@@ -36,12 +53,21 @@ if [ $no_compile -eq 1 ]; then
exit
0
fi
gcc
-fPIC
-shared
-O2
-ggdb
$CFLAGS
$output_file
-o
$promela_name
.spins
CC
=
"gcc -fPIC -shared -O2 -ggdb
$CFLAGS
-Wno-unused-variable
\
-Wno-parentheses-equality
\
-Wno-initializer-overrides
\
-Wno-unused-but-set-variable
\
-Wno-unknown-warning-option
\
$output_file
-o
$promela_name
.spins"
[
$verbose
=
1
]
&&
echo
$CC
$CC
ERROR
=
$?
if
[
$ERROR
-ne
0
]
;
then
echo
"Compilation of
$output_file
failed"
1>&2
exit
$ERROR
else
echo
"Compiled C
model to
$promela_name
.spins"
1>&2
echo
"Compiled C
code to PINS library
$promela_name
.spins"
1>&2
exit
0
fi
Write
Preview
Markdown
is supported
0%
Try again
or
attach a new file
.
Attach a file
Cancel
You are about to add
0
people
to the discussion. Proceed with caution.
Finish editing this message first!
Cancel
Please
register
or
sign in
to comment