Commit c903e6e7 authored by erwan's avatar erwan
Browse files

Fix the read-rif utils so that it reads correctly rif coming from prog with no input.

parent c3dd3b8a
Pipeline #3476 passed with stages
in 7 minutes and 22 seconds
OASISFormat: 0.4 OASISFormat: 0.4
Name: Lutin Name: Lutin
Version: 2.43 Version: 2.44
Authors: Erwan Jahier Authors: Erwan Jahier
Maintainers: erwan.jahier@imag.fr Maintainers: erwan.jahier@imag.fr
License: PROP License: PROP
...@@ -16,12 +16,18 @@ BuildTools: ocamlbuild ...@@ -16,12 +16,18 @@ BuildTools: ocamlbuild
PreBuildCommand: make lutin/src/version.ml PreBuildCommand: make lutin/src/version.ml
PostInstallCommand: cp utils/simec_trap $exec_prefix/bin; cp utils/read-rif.sh $exec_prefix/bin; cp utils/lurette $exec_prefix/bin PostInstallCommand: cp utils/simec_trap $exec_prefix/bin; cp utils/read-rif.sh $exec_prefix/bin; cp utils/lurette $exec_prefix/bin
SourceRepository "master"
Type: git
Location: https://gricad-gitlab.univ-grenoble-alpes.fr/verimag/synchrone/lutin.git
Browser: https://gricad-gitlab.univ-grenoble-alpes.fr/verimag/synchrone/lutin
#PreBuildCommand: make gen_version #PreBuildCommand: make gen_version
Executable lutin Executable lutin
Path: lutin/src Path: lutin/src
MainIs: main.ml MainIs: main.ml
BuildDepends: str,unix,num,rdbg-plugin (>= 1.109),lutin-utils,ezdl,gbddml,polka,camlp4,camlidl BuildDepends: str,unix,num,rdbg-plugin (>= 1.109),lutin-utils,ezdl,gbddml,polka,camlp4,camlidl,gmp
NativeOpt: -package num # XXX turn around a bug in oasis/ocamlbuild/ocamlfind? NativeOpt: -package num # XXX turn around a bug in oasis/ocamlbuild/ocamlfind?
Build: true Build: true
Install:true Install:true
......
let str="2.43" let str="2.44"
let sha="90957fc" let sha="c3dd3b8"
...@@ -7,8 +7,8 @@ riffile=$1 ...@@ -7,8 +7,8 @@ riffile=$1
cat $riffile | \ cat $riffile | \
grep -e '#outs' -e '#step' | \ grep -e '#outs' -e '#step' | \
sed -e 's/True[ \t$]/1 /g' -e 's/true[ \t$]/1 /g' -e 's/t[ \t$]/1 /g' -e 's/T[ \t$]/1 /g' | \ sed -e 's/True[ \t$]/1 /g' -e 's/true[ \t$]/1 /g' -e 's/t[ \t$]/1 /g' -e 's/T[ \t$]/1 /g' | \
sed -e 's/[ \t]True/1 /g' -e 's/[ \t]true/1 /g' -e 's/[ \t]t/1 /g' -e 's/[ \t]T/1 /g' | \ sed -e 's/[ \t]True/ 1 /g' -e 's/[ \t]true/ 1/g' -e 's/[ \t]t/ 1/g' -e 's/[ \t]T/ 1/g' | \
sed -e 's/False[ \t$]/0 /g' -e 's/false[ \t$]/0 /g' -e 's/f[ \t$]/0 /g' -e 's/F[ \t$]/0 /g' | \ sed -e 's/False[ \t$]/0 /g' -e 's/false[ \t$]/0 /g' -e 's/f[ \t$]/0 /g' -e 's/F[ \t$]/0 /g' | \
sed -e 's/[ \t]False/0 /g' -e 's/[ \t]false/0 /g' -e 's/[ \t]f/0 /g' -e 's/[ \t]F/0 /g' | \ sed -e 's/[ \t]False/ 0/g' -e 's/[ \t]false/ 0/g' -e 's/[ \t]f/ 0/g' -e 's/[ \t]F/ 0/g' | \
sed -e 'N; s/#step \([0-9]*\)\([^0-9]*\)\(.*\)#outs\(.*\)/\1 \3 \4/g' sed -e 'N; s/#step \([0-9]*\)\([^0-9]*\)\(.*\)#outs \(.*\)/\1 \3 \4/g'
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