check flags:    
building check-recursive
Making check in syn
make[1]: Entering directory `/tmp/nix-build-nqj7z1mgfy9a22rx8rma5gf1cpa3il5b-jimple-front.drv-0/jimple-front-0.1/syn'
building all-local
Tools registered in repository /tmp/nix-build-nqj7z1mgfy9a22rx8rma5gf1cpa3il5b-jimple-front.drv-0/jimple-front-0.1/BUILDTIME_XTC:    
Data registered in repository /tmp/nix-build-nqj7z1mgfy9a22rx8rma5gf1cpa3il5b-jimple-front.drv-0/jimple-front-0.1/BUILDTIME_XTC:   Jimple.rtg  Jimple.def Jimple.tbl Jimple.sdf languages/jimple/Expressions.sdf languages/jimple/Keywords.sdf languages/jimple/Lexical.sdf languages/jimple/Main.sdf languages/jimple/Modifiers.sdf languages/jimple/Names.sdf languages/jimple/Statements.sdf languages/jimple/Types.sdf languages/jimple/Whitespace.sdf 
make[1]: Leaving directory `/tmp/nix-build-nqj7z1mgfy9a22rx8rma5gf1cpa3il5b-jimple-front.drv-0/jimple-front-0.1/syn'
Making check in lib
make[1]: Entering directory `/tmp/nix-build-nqj7z1mgfy9a22rx8rma5gf1cpa3il5b-jimple-front.drv-0/jimple-front-0.1/lib'
building all-local
Tools registered in repository /tmp/nix-build-nqj7z1mgfy9a22rx8rma5gf1cpa3il5b-jimple-front.drv-0/jimple-front-0.1/BUILDTIME_XTC:    
Data registered in repository /tmp/nix-build-nqj7z1mgfy9a22rx8rma5gf1cpa3il5b-jimple-front.drv-0/jimple-front-0.1/BUILDTIME_XTC:    libjimple-front.rtree jimple-front.rtree ./jimple-front/jimple-signature.rtree ./jimple-front/normalize.rtree ./jimple-front/parse.rtree ./jimple-front/pretty-print.rtree ./jimple-front/pretty-print/expressions.rtree ./jimple-front/pretty-print/helpers.rtree ./jimple-front/pretty-print/lexical.rtree ./jimple-front/pretty-print/names.rtree ./jimple-front/pretty-print/types.rtree jimple-front/jimple-signature.rtree  
make[1]: Leaving directory `/tmp/nix-build-nqj7z1mgfy9a22rx8rma5gf1cpa3il5b-jimple-front.drv-0/jimple-front-0.1/lib'
Making check in tools
make[1]: Entering directory `/tmp/nix-build-nqj7z1mgfy9a22rx8rma5gf1cpa3il5b-jimple-front.drv-0/jimple-front-0.1/tools'
building all-local
Tools registered in repository /tmp/nix-build-nqj7z1mgfy9a22rx8rma5gf1cpa3il5b-jimple-front.drv-0/jimple-front-0.1/BUILDTIME_XTC: parse-jimple pp-jimple   
Data registered in repository /tmp/nix-build-nqj7z1mgfy9a22rx8rma5gf1cpa3il5b-jimple-front.drv-0/jimple-front-0.1/BUILDTIME_XTC:      
make[1]: Leaving directory `/tmp/nix-build-nqj7z1mgfy9a22rx8rma5gf1cpa3il5b-jimple-front.drv-0/jimple-front-0.1/tools'
Making check in tests
make[1]: Entering directory `/tmp/nix-build-nqj7z1mgfy9a22rx8rma5gf1cpa3il5b-jimple-front.drv-0/jimple-front-0.1/tests'
building all-local
Tools registered in repository /tmp/nix-build-nqj7z1mgfy9a22rx8rma5gf1cpa3il5b-jimple-front.drv-0/jimple-front-0.1/BUILDTIME_XTC:    
Data registered in repository /tmp/nix-build-nqj7z1mgfy9a22rx8rma5gf1cpa3il5b-jimple-front.drv-0/jimple-front-0.1/BUILDTIME_XTC:      
building jimple-files.runtestsuite
/nix/store/hwq0z83hd39rmf53ndjyk6klfb459haq-strategoxt-0.17pre18583-i573smdl/bin/parse-unit -i jimple-files.testsuite -p ../syn/Jimple.tbl
-----------------------------------------------------------------------
executing testsuite Jimple example files with 33 tests
-----------------------------------------------------------------------
* OK   : test 1 (HelloWorld.jimple)
* OK   : test 2 (JimpleExamples1.jimple)
* OK   : test 3 (JimpleExamples2.jimple)
* OK   : test 4 (JimpleExamples3.jimple)
* OK   : test 5 (JimpleExamples4.jimple)
* OK   : test 6 (JimpleExamples5.jimple)
* OK   : test 7 (JimpleExamples6.jimple)
* OK   : test 8 (JimpleExamples7.jimple)
* OK   : test 9 (JimpleExamples8.jimple)
* OK   : test 10 (JimpleExamples9.jimple)
* OK   : test 11 (JimpleExamples10.jimple)
* OK   : test 12 (JimpleExamples11.jimple)
* OK   : test 13 (JimpleExamples12.jimple)
* OK   : test 14 (JimpleExamples13.jimple)
* OK   : test 15 (JimpleExamples14.jimple)
* OK   : test 16 (JimpleExamples15.jimple)
* OK   : test 17 (JimpleExamples16.jimple)
* OK   : test 18 (JimpleExamples17.jimple)
* OK   : test 19 (JimpleExamples18.jimple)
* OK   : test 20 (JimpleExamples19.jimple)
* OK   : test 21 (JimpleExamples20.jimple)
* OK   : test 22 (JimpleExamples21.jimple)
* OK   : test 23 (JimpleExamples22.jimple)
* OK   : test 24 (JimpleExamples23.jimple)
* OK   : test 25 (JimpleExamples24.jimple)
* OK   : test 26 (JimpleExamples25.jimple)
* OK   : test 27 (JimpleExamples26.jimple)
* OK   : test 28 (JimpleExamples27.jimple)
* OK   : test 29 (JimpleExamples28.jimple)
* OK   : test 30 (JimpleExamples29.jimple)
* OK   : test 31 (JimpleExamples30.jimple)
* OK   : test 32 (JimpleExamples31.jimple)
* OK   : test 33 (HelloStaticMethod.jimple)
-----------------------------------------------------------------------
results testsuite Jimple example files
successes : 33
failures  : 0
-----------------------------------------------------------------------
make[1]: Leaving directory `/tmp/nix-build-nqj7z1mgfy9a22rx8rma5gf1cpa3il5b-jimple-front.drv-0/jimple-front-0.1/tests'
make[1]: Entering directory `/tmp/nix-build-nqj7z1mgfy9a22rx8rma5gf1cpa3il5b-jimple-front.drv-0/jimple-front-0.1'
building all-local
Tools registered in repository /tmp/nix-build-nqj7z1mgfy9a22rx8rma5gf1cpa3il5b-jimple-front.drv-0/jimple-front-0.1/BUILDTIME_XTC:    
Data registered in repository /tmp/nix-build-nqj7z1mgfy9a22rx8rma5gf1cpa3il5b-jimple-front.drv-0/jimple-front-0.1/BUILDTIME_XTC:   config/jimple-front.m4   
make[1]: Leaving directory `/tmp/nix-build-nqj7z1mgfy9a22rx8rma5gf1cpa3il5b-jimple-front.drv-0/jimple-front-0.1'