Skip to content
GitLab
Projects
Groups
Snippets
/
Help
Help
Support
Community forum
Keyboard shortcuts
?
Submit feedback
Contribute to GitLab
Sign in
Toggle navigation
Menu
Open sidebar
POTTIER Francois
menhir
Commits
326b3db7
Commit
326b3db7
authored
Jan 29, 2020
by
POTTIER Francois
Browse files
Update [make data] to collect more data fields.
parent
611c6835
Changes
1
Hide whitespace changes
Inline
Side-by-side
Makefile
View file @
326b3db7
...
...
@@ -49,14 +49,17 @@ SED=$(shell if [[ "$$OSTYPE" == "darwin"* ]] ; then echo gsed ; else echo sed ;
data
:
test
@
echo
"Collecting data (using
$(SED)
)..."
&&
\
(
\
echo
"name,lr1states,time"
&&
\
echo
"name,
terminals,nonterminals,lr0states,
lr1states,
lr1
time"
&&
\
cd
_build/default/test/static/src
&&
\
for
timings
in
*
.out.timings
;
do
\
name
=
$
${timings%.out.timings}
;
\
out
=
$$
name.out
;
\
terminals
=
`
$(SED)
-n
-e
"s/^Grammar has
\(
[0-9]
\+\)
terminal symbols./
\1
/p"
$$
out
`
;
\
nonterminals
=
`
$(SED)
-n
-e
"s/^Grammar has
\(
[0-9]
\+\)
nonterminal symbols, among which [0-9]
\+
start symbols./
\1
/p"
$$
out
`
;
\
lr0states
=
`
$(SED)
-n
-e
"s/^Built an LR(0) automaton with
\(
[0-9]
\+\)
states./
\1
/p"
$$
out
`
;
\
lr1states
=
`
$(SED)
-n
-e
"s/^Built an LR(1) automaton with
\(
[0-9]
\+\)
states./
\1
/p"
$$
out
`
;
\
time
=
`
$(SED)
-n
-e
"s/^Construction of the LR(1) automaton:
\(
.*
\)
s/
\1
/p"
$$
timings
`
;
\
echo
"
$$
name,
$$
lr1states,
$$
time"
;
\
lr1
time
=
`
$(SED)
-n
-e
"s/^Construction of the LR(1) automaton:
\(
.*
\)
s/
\1
/p"
$$
timings
`
;
\
echo
"
$$
name,
$$
terminals,
$$
nonterminals,
$$
lr0states,
$$
lr1states,
$$
lr1
time"
;
\
done
\
)
>
analysis/data.csv
...
...
Write
Preview
Supports
Markdown
0%
Try again
or
attach a new 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