Skip to content
Projects
Groups
Snippets
Help
Loading...
Sign in
Toggle navigation
M
MasterFIP - Gateware
Project
Project
Details
Activity
Cycle Analytics
Repository
Repository
Files
Commits
Branches
Tags
Contributors
Graph
Compare
Charts
Issues
0
Issues
0
List
Board
Labels
Milestones
Merge Requests
0
Merge Requests
0
Wiki
Wiki
image/svg+xml
Discourse
Discourse
Members
Members
Collapse sidebar
Close sidebar
Activity
Graph
Charts
Create a new issue
Commits
Issue Boards
Open sidebar
Projects
MasterFIP - Gateware
Commits
7caed5f2
Commit
7caed5f2
authored
Jan 25, 2019
by
Adam Wujek
💬
Committed by
Evangelia Gousiou
Feb 05, 2019
Browse files
Options
Browse Files
Download
Email Patches
Plain Diff
add checking generated files for errors
Signed-off-by:
Adam Wujek
<
adam.wujek@cern.ch
>
parent
8d53c01e
Hide whitespace changes
Inline
Side-by-side
Showing
2 changed files
with
61 additions
and
0 deletions
+61
-0
Makefile
syn/spec/Makefile
+3
-0
check_build.sh
syn/spec/check_build.sh
+58
-0
No files found.
syn/spec/Makefile
View file @
7caed5f2
build
:
build
:
xtclsh build.tcl
xtclsh build.tcl
check_build
:
./check_build.sh 1>&2
syn/spec/check_build.sh
0 → 100755
View file @
7caed5f2
#!/bin/bash
OUTPUT_BASE
=
spec_masterfip_mt
FILE_SYR
=
"
$OUTPUT_BASE
"
.syr
FILE_TWR
=
"
$OUTPUT_BASE
"
.twr
FILE_MAP
=
"
$OUTPUT_BASE
"
_map.mrp
FILE_PAR
=
"
$OUTPUT_BASE
"
.par
ret_error
=
0
grep
"^Number of errors"
"
$FILE_SYR
"
grep
"^Timing errors:"
"
$FILE_TWR
"
grep
"^Number of errors:"
"
$FILE_MAP
"
grep
"^Number of error messages:"
"
$FILE_PAR
"
GREP_OUT
=
`
grep
"Number of errors "
"
$FILE_SYR
"
`
# make sure there is one and only one line of output
echo
$GREP_OUT
|
grep
" 0 ("
|
grep
" 0 filtered"
|
wc
-l
|
grep
^1
$
>
/dev/null
if
[
$?
-ne
0
]
;
then
echo
-e
"Error in "
$FILE_SYR
"!! line:
\n
"
$GREP_OUT
ret_error
=
1
fi
GREP_OUT
=
`
grep
"Timing errors: 0"
"
$FILE_TWR
"
`
# make sure there is one and only one line of output
echo
$GREP_OUT
|
wc
-l
|
grep
^1
$
>
/dev/null
if
[
$?
-ne
0
]
;
then
echo
-e
"Error in "
$FILE_TWR
"!! line:
\n
"
$GREP_OUT
ret_error
=
1
fi
GREP_OUT
=
`
grep
"^Number of errors"
"
$FILE_MAP
"
`
# make sure there is one and only one line of output
echo
$GREP_OUT
|
grep
' 0$'
|
wc
-l
|
grep
^1
$
>
/dev/null
if
[
$?
-ne
0
]
;
then
echo
-e
"Error in "
$FILE_MAP
"!! line:
\n
"
$GREP_OUT
ret_error
=
1
fi
GREP_OUT
=
`
grep
"^Number of error messages:"
"
$FILE_PAR
"
`
# make sure there is one and only one line of output
echo
$GREP_OUT
|
grep
' 0$'
|
wc
-l
|
grep
^1
$
>
/dev/null
if
[
$?
-ne
0
]
;
then
echo
-e
"Error in "
$FILE_PAR
"!! line:
\n
"
$GREP_OUT
ret_error
=
1
fi
if
[
$ret_error
-eq
1
]
;
then
exit
1
else
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