make flags:    
building all-recursive
Making all in src
make[1]: Entering directory `/tmp/nix-build-c3650r1ky5hxh292knrlmi58q71srnbh-source-tarball.drv-0/cvjsqxlirc37iyck84qg6d87kh2fp9ll-svn-export/src'
building examples.tar.gz
mkdir -p examples
cp -fr til examples
tar zcf examples.tar.gz examples
building all
cd til && ./maak
=== Making syn ========================================
  including ./TIL.sdf
  including ./TIL-layout.sdf
  including ./TIL-literals.sdf
  including ./TIL-expressions.sdf
  including ./TIL-statements.sdf
  including ./TIL-types.sdf
  including ./TIL-calls.sdf
SdfChecker:error: Main module not defined
--- Main
=== Making sig ========================================
SdfChecker:error: Main module not defined
--- Main
=== Making pp ========================================
[ sdf2parenthesize | info ] SDF main module is TIL
[ sdf2parenthesize | info ] Name of output module is til-parenthesize
[ sdf2parenthesize | info ] Main strategy is io-til-parenthesize
[ sdf2parenthesize | info ] Name of signature module is TIL
[ sdf2parenthesize | info ] Language name is TIL
[ sdf2parenthesize | info ] Name of parenthesize rules is TILParenthesize
SdfChecker:error: Main module not defined
--- Main
[ strc | info ] Compiling 'til-parenthesize.str'
[ strc | info ] Front-end succeeded         : [user/system] = [0.70s/0.02s]
[ strc | info ] Optimization succeeded -O 2 : [user/system] = [0.04s/0.00s]
[ strc | info ] Back-end succeeded          : [user/system] = [0.22s/0.00s]
mkdir .libs
 gcc -I /nix/store/hwq0z83hd39rmf53ndjyk6klfb459haq-strategoxt-0.17pre18583-i573smdl/include -I /nix/store/hwq0z83hd39rmf53ndjyk6klfb459haq-strategoxt-0.17pre18583-i573smdl/include -I /nix/store/21hsv2rmy57qydzdk3w6ajd8lpndb13y-aterm-2.5pre21238-26ra85lr/include -Wall -Wno-unused-label -Wno-unused-variable -Wno-unused-function -Wno-unused-parameter -DSIZEOF_VOID_P=4 -DSIZEOF_LONG=4 -DSIZEOF_INT=4 -c til-parenthesize.c  -fPIC -DPIC -o .libs/til-parenthesize.o
 gcc -I /nix/store/hwq0z83hd39rmf53ndjyk6klfb459haq-strategoxt-0.17pre18583-i573smdl/include -I /nix/store/hwq0z83hd39rmf53ndjyk6klfb459haq-strategoxt-0.17pre18583-i573smdl/include -I /nix/store/21hsv2rmy57qydzdk3w6ajd8lpndb13y-aterm-2.5pre21238-26ra85lr/include -Wall -Wno-unused-label -Wno-unused-variable -Wno-unused-function -Wno-unused-parameter -DSIZEOF_VOID_P=4 -DSIZEOF_LONG=4 -DSIZEOF_INT=4 -c til-parenthesize.c -o til-parenthesize.o >/dev/null 2>&1
gcc .libs/til-parenthesize.o -o til-parenthesize  -L/nix/store/21hsv2rmy57qydzdk3w6ajd8lpndb13y-aterm-2.5pre21238-26ra85lr/lib /nix/store/hwq0z83hd39rmf53ndjyk6klfb459haq-strategoxt-0.17pre18583-i573smdl/lib/libstratego-lib.so /nix/store/hwq0z83hd39rmf53ndjyk6klfb459haq-strategoxt-0.17pre18583-i573smdl/lib/libstratego-lib-native.so /nix/store/hwq0z83hd39rmf53ndjyk6klfb459haq-strategoxt-0.17pre18583-i573smdl/lib/libstratego-runtime.so -lm /nix/store/21hsv2rmy57qydzdk3w6ajd8lpndb13y-aterm-2.5pre21238-26ra85lr/lib/libATerm.so    -Wl,--rpath -Wl,/nix/store/hwq0z83hd39rmf53ndjyk6klfb459haq-strategoxt-0.17pre18583-i573smdl/lib -Wl,--rpath -Wl,/nix/store/21hsv2rmy57qydzdk3w6ajd8lpndb13y-aterm-2.5pre21238-26ra85lr/lib -Wl,--rpath -Wl,/nix/store/hwq0z83hd39rmf53ndjyk6klfb459haq-strategoxt-0.17pre18583-i573smdl/lib -Wl,--rpath -Wl,/nix/store/21hsv2rmy57qydzdk3w6ajd8lpndb13y-aterm-2.5pre21238-26ra85lr/lib
[ strc | info ] C compilation succeeded     : [user/system] = [0.40s/0.18s]
[ strc | info ] Compilation succeeded       : [user/system] = [1.36s/0.20s]
=== Making sim ========================================
[ strc | info ] Compiling 'til-simplify.str'
[ strc | info ] Front-end succeeded         : [user/system] = [0.74s/0.00s]
[ strc | info ] Optimization succeeded -O 2 : [user/system] = [0.02s/0.00s]
[ strc | info ] Back-end succeeded          : [user/system] = [0.28s/0.00s]
mkdir .libs
 gcc -I /nix/store/hwq0z83hd39rmf53ndjyk6klfb459haq-strategoxt-0.17pre18583-i573smdl/include -I /nix/store/hwq0z83hd39rmf53ndjyk6klfb459haq-strategoxt-0.17pre18583-i573smdl/include -I /nix/store/21hsv2rmy57qydzdk3w6ajd8lpndb13y-aterm-2.5pre21238-26ra85lr/include -Wall -Wno-unused-label -Wno-unused-variable -Wno-unused-function -Wno-unused-parameter -DSIZEOF_VOID_P=4 -DSIZEOF_LONG=4 -DSIZEOF_INT=4 -c til-simplify.c  -fPIC -DPIC -o .libs/til-simplify.o
 gcc -I /nix/store/hwq0z83hd39rmf53ndjyk6klfb459haq-strategoxt-0.17pre18583-i573smdl/include -I /nix/store/hwq0z83hd39rmf53ndjyk6klfb459haq-strategoxt-0.17pre18583-i573smdl/include -I /nix/store/21hsv2rmy57qydzdk3w6ajd8lpndb13y-aterm-2.5pre21238-26ra85lr/include -Wall -Wno-unused-label -Wno-unused-variable -Wno-unused-function -Wno-unused-parameter -DSIZEOF_VOID_P=4 -DSIZEOF_LONG=4 -DSIZEOF_INT=4 -c til-simplify.c -o til-simplify.o >/dev/null 2>&1
gcc .libs/til-simplify.o -o til-simplify  -L/nix/store/21hsv2rmy57qydzdk3w6ajd8lpndb13y-aterm-2.5pre21238-26ra85lr/lib /nix/store/hwq0z83hd39rmf53ndjyk6klfb459haq-strategoxt-0.17pre18583-i573smdl/lib/libstratego-lib.so /nix/store/hwq0z83hd39rmf53ndjyk6klfb459haq-strategoxt-0.17pre18583-i573smdl/lib/libstratego-lib-native.so /nix/store/hwq0z83hd39rmf53ndjyk6klfb459haq-strategoxt-0.17pre18583-i573smdl/lib/libstratego-runtime.so -lm /nix/store/21hsv2rmy57qydzdk3w6ajd8lpndb13y-aterm-2.5pre21238-26ra85lr/lib/libATerm.so    -Wl,--rpath -Wl,/nix/store/hwq0z83hd39rmf53ndjyk6klfb459haq-strategoxt-0.17pre18583-i573smdl/lib -Wl,--rpath -Wl,/nix/store/21hsv2rmy57qydzdk3w6ajd8lpndb13y-aterm-2.5pre21238-26ra85lr/lib -Wl,--rpath -Wl,/nix/store/hwq0z83hd39rmf53ndjyk6klfb459haq-strategoxt-0.17pre18583-i573smdl/lib -Wl,--rpath -Wl,/nix/store/21hsv2rmy57qydzdk3w6ajd8lpndb13y-aterm-2.5pre21238-26ra85lr/lib
[ strc | info ] C compilation succeeded     : [user/system] = [0.32s/0.18s]
[ strc | info ] Compilation succeeded       : [user/system] = [1.36s/0.18s]
=== Making renaming ========================================
[ strc | info ] Compiling 'til-rename-vars.str'
[ strc | info ] Front-end succeeded         : [user/system] = [0.66s/0.00s]
[ strc | info ] Optimization succeeded -O 2 : [user/system] = [0.02s/0.00s]
[ strc | info ] Back-end succeeded          : [user/system] = [0.20s/0.00s]
mkdir .libs
 gcc -I /nix/store/hwq0z83hd39rmf53ndjyk6klfb459haq-strategoxt-0.17pre18583-i573smdl/include -I /nix/store/hwq0z83hd39rmf53ndjyk6klfb459haq-strategoxt-0.17pre18583-i573smdl/include -I /nix/store/21hsv2rmy57qydzdk3w6ajd8lpndb13y-aterm-2.5pre21238-26ra85lr/include -Wall -Wno-unused-label -Wno-unused-variable -Wno-unused-function -Wno-unused-parameter -DSIZEOF_VOID_P=4 -DSIZEOF_LONG=4 -DSIZEOF_INT=4 -c til-rename-vars.c  -fPIC -DPIC -o .libs/til-rename-vars.o
 gcc -I /nix/store/hwq0z83hd39rmf53ndjyk6klfb459haq-strategoxt-0.17pre18583-i573smdl/include -I /nix/store/hwq0z83hd39rmf53ndjyk6klfb459haq-strategoxt-0.17pre18583-i573smdl/include -I /nix/store/21hsv2rmy57qydzdk3w6ajd8lpndb13y-aterm-2.5pre21238-26ra85lr/include -Wall -Wno-unused-label -Wno-unused-variable -Wno-unused-function -Wno-unused-parameter -DSIZEOF_VOID_P=4 -DSIZEOF_LONG=4 -DSIZEOF_INT=4 -c til-rename-vars.c -o til-rename-vars.o >/dev/null 2>&1
gcc .libs/til-rename-vars.o -o til-rename-vars  -L/nix/store/21hsv2rmy57qydzdk3w6ajd8lpndb13y-aterm-2.5pre21238-26ra85lr/lib /nix/store/hwq0z83hd39rmf53ndjyk6klfb459haq-strategoxt-0.17pre18583-i573smdl/lib/libstratego-lib.so /nix/store/hwq0z83hd39rmf53ndjyk6klfb459haq-strategoxt-0.17pre18583-i573smdl/lib/libstratego-lib-native.so /nix/store/hwq0z83hd39rmf53ndjyk6klfb459haq-strategoxt-0.17pre18583-i573smdl/lib/libstratego-runtime.so -lm /nix/store/21hsv2rmy57qydzdk3w6ajd8lpndb13y-aterm-2.5pre21238-26ra85lr/lib/libATerm.so    -Wl,--rpath -Wl,/nix/store/hwq0z83hd39rmf53ndjyk6klfb459haq-strategoxt-0.17pre18583-i573smdl/lib -Wl,--rpath -Wl,/nix/store/21hsv2rmy57qydzdk3w6ajd8lpndb13y-aterm-2.5pre21238-26ra85lr/lib -Wl,--rpath -Wl,/nix/store/hwq0z83hd39rmf53ndjyk6klfb459haq-strategoxt-0.17pre18583-i573smdl/lib -Wl,--rpath -Wl,/nix/store/21hsv2rmy57qydzdk3w6ajd8lpndb13y-aterm-2.5pre21238-26ra85lr/lib
[ strc | info ] C compilation succeeded     : [user/system] = [0.30s/0.16s]
[ strc | info ] Compilation succeeded       : [user/system] = [1.18s/0.16s]
=== Making run ========================================
[ strc | info ] Compiling 'til-run.str'
[ strc | info ] Front-end succeeded         : [user/system] = [0.78s/0.00s]
[ strc | info ] Optimization succeeded -O 2 : [user/system] = [0.02s/0.00s]
[ strc | info ] Back-end succeeded          : [user/system] = [0.50s/0.00s]
mkdir .libs
 gcc -I /nix/store/hwq0z83hd39rmf53ndjyk6klfb459haq-strategoxt-0.17pre18583-i573smdl/include -I /nix/store/hwq0z83hd39rmf53ndjyk6klfb459haq-strategoxt-0.17pre18583-i573smdl/include -I /nix/store/21hsv2rmy57qydzdk3w6ajd8lpndb13y-aterm-2.5pre21238-26ra85lr/include -Wall -Wno-unused-label -Wno-unused-variable -Wno-unused-function -Wno-unused-parameter -DSIZEOF_VOID_P=4 -DSIZEOF_LONG=4 -DSIZEOF_INT=4 -c til-run.c  -fPIC -DPIC -o .libs/til-run.o
 gcc -I /nix/store/hwq0z83hd39rmf53ndjyk6klfb459haq-strategoxt-0.17pre18583-i573smdl/include -I /nix/store/hwq0z83hd39rmf53ndjyk6klfb459haq-strategoxt-0.17pre18583-i573smdl/include -I /nix/store/21hsv2rmy57qydzdk3w6ajd8lpndb13y-aterm-2.5pre21238-26ra85lr/include -Wall -Wno-unused-label -Wno-unused-variable -Wno-unused-function -Wno-unused-parameter -DSIZEOF_VOID_P=4 -DSIZEOF_LONG=4 -DSIZEOF_INT=4 -c til-run.c -o til-run.o >/dev/null 2>&1
gcc .libs/til-run.o -o til-run  -L/nix/store/21hsv2rmy57qydzdk3w6ajd8lpndb13y-aterm-2.5pre21238-26ra85lr/lib /nix/store/hwq0z83hd39rmf53ndjyk6klfb459haq-strategoxt-0.17pre18583-i573smdl/lib/libstratego-lib.so /nix/store/hwq0z83hd39rmf53ndjyk6klfb459haq-strategoxt-0.17pre18583-i573smdl/lib/libstratego-lib-native.so /nix/store/hwq0z83hd39rmf53ndjyk6klfb459haq-strategoxt-0.17pre18583-i573smdl/lib/libstratego-runtime.so -lm /nix/store/21hsv2rmy57qydzdk3w6ajd8lpndb13y-aterm-2.5pre21238-26ra85lr/lib/libATerm.so    -Wl,--rpath -Wl,/nix/store/hwq0z83hd39rmf53ndjyk6klfb459haq-strategoxt-0.17pre18583-i573smdl/lib -Wl,--rpath -Wl,/nix/store/21hsv2rmy57qydzdk3w6ajd8lpndb13y-aterm-2.5pre21238-26ra85lr/lib -Wl,--rpath -Wl,/nix/store/hwq0z83hd39rmf53ndjyk6klfb459haq-strategoxt-0.17pre18583-i573smdl/lib -Wl,--rpath -Wl,/nix/store/21hsv2rmy57qydzdk3w6ajd8lpndb13y-aterm-2.5pre21238-26ra85lr/lib
[ strc | info ] C compilation succeeded     : [user/system] = [0.48s/0.20s]
[ strc | info ] Compilation succeeded       : [user/system] = [1.78s/0.20s]
=== Making opt ========================================
[ strc | info ] Compiling 'til-forward-subst.str'
[ strc | info ] Front-end succeeded         : [user/system] = [0.82s/0.00s]
[ strc | info ] Optimization succeeded -O 2 : [user/system] = [0.00s/0.00s]
[ strc | info ] Back-end succeeded          : [user/system] = [0.42s/0.00s]
mkdir .libs
 gcc -I /nix/store/hwq0z83hd39rmf53ndjyk6klfb459haq-strategoxt-0.17pre18583-i573smdl/include -I /nix/store/hwq0z83hd39rmf53ndjyk6klfb459haq-strategoxt-0.17pre18583-i573smdl/include -I /nix/store/21hsv2rmy57qydzdk3w6ajd8lpndb13y-aterm-2.5pre21238-26ra85lr/include -Wall -Wno-unused-label -Wno-unused-variable -Wno-unused-function -Wno-unused-parameter -DSIZEOF_VOID_P=4 -DSIZEOF_LONG=4 -DSIZEOF_INT=4 -c til-forward-subst.c  -fPIC -DPIC -o .libs/til-forward-subst.o
 gcc -I /nix/store/hwq0z83hd39rmf53ndjyk6klfb459haq-strategoxt-0.17pre18583-i573smdl/include -I /nix/store/hwq0z83hd39rmf53ndjyk6klfb459haq-strategoxt-0.17pre18583-i573smdl/include -I /nix/store/21hsv2rmy57qydzdk3w6ajd8lpndb13y-aterm-2.5pre21238-26ra85lr/include -Wall -Wno-unused-label -Wno-unused-variable -Wno-unused-function -Wno-unused-parameter -DSIZEOF_VOID_P=4 -DSIZEOF_LONG=4 -DSIZEOF_INT=4 -c til-forward-subst.c -o til-forward-subst.o >/dev/null 2>&1
gcc .libs/til-forward-subst.o -o til-forward-subst  -L/nix/store/21hsv2rmy57qydzdk3w6ajd8lpndb13y-aterm-2.5pre21238-26ra85lr/lib /nix/store/hwq0z83hd39rmf53ndjyk6klfb459haq-strategoxt-0.17pre18583-i573smdl/lib/libstratego-lib.so /nix/store/hwq0z83hd39rmf53ndjyk6klfb459haq-strategoxt-0.17pre18583-i573smdl/lib/libstratego-lib-native.so /nix/store/hwq0z83hd39rmf53ndjyk6klfb459haq-strategoxt-0.17pre18583-i573smdl/lib/libstratego-runtime.so -lm /nix/store/21hsv2rmy57qydzdk3w6ajd8lpndb13y-aterm-2.5pre21238-26ra85lr/lib/libATerm.so    -Wl,--rpath -Wl,/nix/store/hwq0z83hd39rmf53ndjyk6klfb459haq-strategoxt-0.17pre18583-i573smdl/lib -Wl,--rpath -Wl,/nix/store/21hsv2rmy57qydzdk3w6ajd8lpndb13y-aterm-2.5pre21238-26ra85lr/lib -Wl,--rpath -Wl,/nix/store/hwq0z83hd39rmf53ndjyk6klfb459haq-strategoxt-0.17pre18583-i573smdl/lib -Wl,--rpath -Wl,/nix/store/21hsv2rmy57qydzdk3w6ajd8lpndb13y-aterm-2.5pre21238-26ra85lr/lib
[ strc | info ] C compilation succeeded     : [user/system] = [0.46s/0.18s]
[ strc | info ] Compilation succeeded       : [user/system] = [1.70s/0.18s]
[ strc | info ] Compiling 'til-dce.str'
[ strc | info ] Front-end succeeded         : [user/system] = [0.80s/0.02s]
[ strc | info ] Optimization succeeded -O 2 : [user/system] = [0.00s/0.00s]
[ strc | info ] Back-end succeeded          : [user/system] = [0.38s/0.00s]
 gcc -I /nix/store/hwq0z83hd39rmf53ndjyk6klfb459haq-strategoxt-0.17pre18583-i573smdl/include -I /nix/store/hwq0z83hd39rmf53ndjyk6klfb459haq-strategoxt-0.17pre18583-i573smdl/include -I /nix/store/21hsv2rmy57qydzdk3w6ajd8lpndb13y-aterm-2.5pre21238-26ra85lr/include -Wall -Wno-unused-label -Wno-unused-variable -Wno-unused-function -Wno-unused-parameter -DSIZEOF_VOID_P=4 -DSIZEOF_LONG=4 -DSIZEOF_INT=4 -c til-dce.c  -fPIC -DPIC -o .libs/til-dce.o
 gcc -I /nix/store/hwq0z83hd39rmf53ndjyk6klfb459haq-strategoxt-0.17pre18583-i573smdl/include -I /nix/store/hwq0z83hd39rmf53ndjyk6klfb459haq-strategoxt-0.17pre18583-i573smdl/include -I /nix/store/21hsv2rmy57qydzdk3w6ajd8lpndb13y-aterm-2.5pre21238-26ra85lr/include -Wall -Wno-unused-label -Wno-unused-variable -Wno-unused-function -Wno-unused-parameter -DSIZEOF_VOID_P=4 -DSIZEOF_LONG=4 -DSIZEOF_INT=4 -c til-dce.c -o til-dce.o >/dev/null 2>&1
gcc .libs/til-dce.o -o til-dce  -L/nix/store/21hsv2rmy57qydzdk3w6ajd8lpndb13y-aterm-2.5pre21238-26ra85lr/lib /nix/store/hwq0z83hd39rmf53ndjyk6klfb459haq-strategoxt-0.17pre18583-i573smdl/lib/libstratego-lib.so /nix/store/hwq0z83hd39rmf53ndjyk6klfb459haq-strategoxt-0.17pre18583-i573smdl/lib/libstratego-lib-native.so /nix/store/hwq0z83hd39rmf53ndjyk6klfb459haq-strategoxt-0.17pre18583-i573smdl/lib/libstratego-runtime.so -lm /nix/store/21hsv2rmy57qydzdk3w6ajd8lpndb13y-aterm-2.5pre21238-26ra85lr/lib/libATerm.so    -Wl,--rpath -Wl,/nix/store/hwq0z83hd39rmf53ndjyk6klfb459haq-strategoxt-0.17pre18583-i573smdl/lib -Wl,--rpath -Wl,/nix/store/21hsv2rmy57qydzdk3w6ajd8lpndb13y-aterm-2.5pre21238-26ra85lr/lib -Wl,--rpath -Wl,/nix/store/hwq0z83hd39rmf53ndjyk6klfb459haq-strategoxt-0.17pre18583-i573smdl/lib -Wl,--rpath -Wl,/nix/store/21hsv2rmy57qydzdk3w6ajd8lpndb13y-aterm-2.5pre21238-26ra85lr/lib
[ strc | info ] C compilation succeeded     : [user/system] = [0.42s/0.18s]
[ strc | info ] Compilation succeeded       : [user/system] = [1.60s/0.20s]
[ strc | info ] Compiling 'til-cse.str'
[ strc | info ] Front-end succeeded         : [user/system] = [0.82s/0.00s]
[ strc | info ] Optimization succeeded -O 2 : [user/system] = [0.00s/0.00s]
[ strc | info ] Back-end succeeded          : [user/system] = [0.38s/0.00s]
 gcc -I /nix/store/hwq0z83hd39rmf53ndjyk6klfb459haq-strategoxt-0.17pre18583-i573smdl/include -I /nix/store/hwq0z83hd39rmf53ndjyk6klfb459haq-strategoxt-0.17pre18583-i573smdl/include -I /nix/store/21hsv2rmy57qydzdk3w6ajd8lpndb13y-aterm-2.5pre21238-26ra85lr/include -Wall -Wno-unused-label -Wno-unused-variable -Wno-unused-function -Wno-unused-parameter -DSIZEOF_VOID_P=4 -DSIZEOF_LONG=4 -DSIZEOF_INT=4 -c til-cse.c  -fPIC -DPIC -o .libs/til-cse.o
 gcc -I /nix/store/hwq0z83hd39rmf53ndjyk6klfb459haq-strategoxt-0.17pre18583-i573smdl/include -I /nix/store/hwq0z83hd39rmf53ndjyk6klfb459haq-strategoxt-0.17pre18583-i573smdl/include -I /nix/store/21hsv2rmy57qydzdk3w6ajd8lpndb13y-aterm-2.5pre21238-26ra85lr/include -Wall -Wno-unused-label -Wno-unused-variable -Wno-unused-function -Wno-unused-parameter -DSIZEOF_VOID_P=4 -DSIZEOF_LONG=4 -DSIZEOF_INT=4 -c til-cse.c -o til-cse.o >/dev/null 2>&1
gcc .libs/til-cse.o -o til-cse  -L/nix/store/21hsv2rmy57qydzdk3w6ajd8lpndb13y-aterm-2.5pre21238-26ra85lr/lib /nix/store/hwq0z83hd39rmf53ndjyk6klfb459haq-strategoxt-0.17pre18583-i573smdl/lib/libstratego-lib.so /nix/store/hwq0z83hd39rmf53ndjyk6klfb459haq-strategoxt-0.17pre18583-i573smdl/lib/libstratego-lib-native.so /nix/store/hwq0z83hd39rmf53ndjyk6klfb459haq-strategoxt-0.17pre18583-i573smdl/lib/libstratego-runtime.so -lm /nix/store/21hsv2rmy57qydzdk3w6ajd8lpndb13y-aterm-2.5pre21238-26ra85lr/lib/libATerm.so    -Wl,--rpath -Wl,/nix/store/hwq0z83hd39rmf53ndjyk6klfb459haq-strategoxt-0.17pre18583-i573smdl/lib -Wl,--rpath -Wl,/nix/store/21hsv2rmy57qydzdk3w6ajd8lpndb13y-aterm-2.5pre21238-26ra85lr/lib -Wl,--rpath -Wl,/nix/store/hwq0z83hd39rmf53ndjyk6klfb459haq-strategoxt-0.17pre18583-i573smdl/lib -Wl,--rpath -Wl,/nix/store/21hsv2rmy57qydzdk3w6ajd8lpndb13y-aterm-2.5pre21238-26ra85lr/lib
[ strc | info ] C compilation succeeded     : [user/system] = [0.40s/0.18s]
[ strc | info ] Compilation succeeded       : [user/system] = [1.60s/0.18s]
[ strc | info ] Compiling 'til-copyprop.str'
[ strc | info ] Front-end succeeded         : [user/system] = [0.80s/0.02s]
[ strc | info ] Optimization succeeded -O 2 : [user/system] = [0.00s/0.00s]
[ strc | info ] Back-end succeeded          : [user/system] = [0.40s/0.00s]
 gcc -I /nix/store/hwq0z83hd39rmf53ndjyk6klfb459haq-strategoxt-0.17pre18583-i573smdl/include -I /nix/store/hwq0z83hd39rmf53ndjyk6klfb459haq-strategoxt-0.17pre18583-i573smdl/include -I /nix/store/21hsv2rmy57qydzdk3w6ajd8lpndb13y-aterm-2.5pre21238-26ra85lr/include -Wall -Wno-unused-label -Wno-unused-variable -Wno-unused-function -Wno-unused-parameter -DSIZEOF_VOID_P=4 -DSIZEOF_LONG=4 -DSIZEOF_INT=4 -c til-copyprop.c  -fPIC -DPIC -o .libs/til-copyprop.o
 gcc -I /nix/store/hwq0z83hd39rmf53ndjyk6klfb459haq-strategoxt-0.17pre18583-i573smdl/include -I /nix/store/hwq0z83hd39rmf53ndjyk6klfb459haq-strategoxt-0.17pre18583-i573smdl/include -I /nix/store/21hsv2rmy57qydzdk3w6ajd8lpndb13y-aterm-2.5pre21238-26ra85lr/include -Wall -Wno-unused-label -Wno-unused-variable -Wno-unused-function -Wno-unused-parameter -DSIZEOF_VOID_P=4 -DSIZEOF_LONG=4 -DSIZEOF_INT=4 -c til-copyprop.c -o til-copyprop.o >/dev/null 2>&1
gcc .libs/til-copyprop.o -o til-copyprop  -L/nix/store/21hsv2rmy57qydzdk3w6ajd8lpndb13y-aterm-2.5pre21238-26ra85lr/lib /nix/store/hwq0z83hd39rmf53ndjyk6klfb459haq-strategoxt-0.17pre18583-i573smdl/lib/libstratego-lib.so /nix/store/hwq0z83hd39rmf53ndjyk6klfb459haq-strategoxt-0.17pre18583-i573smdl/lib/libstratego-lib-native.so /nix/store/hwq0z83hd39rmf53ndjyk6klfb459haq-strategoxt-0.17pre18583-i573smdl/lib/libstratego-runtime.so -lm /nix/store/21hsv2rmy57qydzdk3w6ajd8lpndb13y-aterm-2.5pre21238-26ra85lr/lib/libATerm.so    -Wl,--rpath -Wl,/nix/store/hwq0z83hd39rmf53ndjyk6klfb459haq-strategoxt-0.17pre18583-i573smdl/lib -Wl,--rpath -Wl,/nix/store/21hsv2rmy57qydzdk3w6ajd8lpndb13y-aterm-2.5pre21238-26ra85lr/lib -Wl,--rpath -Wl,/nix/store/hwq0z83hd39rmf53ndjyk6klfb459haq-strategoxt-0.17pre18583-i573smdl/lib -Wl,--rpath -Wl,/nix/store/21hsv2rmy57qydzdk3w6ajd8lpndb13y-aterm-2.5pre21238-26ra85lr/lib
[ strc | info ] C compilation succeeded     : [user/system] = [0.40s/0.14s]
[ strc | info ] Compilation succeeded       : [user/system] = [1.60s/0.16s]
[ strc | info ] Compiling 'til-copyprop-rev.str'
[ strc | info ] Front-end succeeded         : [user/system] = [0.82s/0.00s]
[ strc | info ] Optimization succeeded -O 2 : [user/system] = [0.00s/0.00s]
[ strc | info ] Back-end succeeded          : [user/system] = [0.40s/0.02s]
 gcc -I /nix/store/hwq0z83hd39rmf53ndjyk6klfb459haq-strategoxt-0.17pre18583-i573smdl/include -I /nix/store/hwq0z83hd39rmf53ndjyk6klfb459haq-strategoxt-0.17pre18583-i573smdl/include -I /nix/store/21hsv2rmy57qydzdk3w6ajd8lpndb13y-aterm-2.5pre21238-26ra85lr/include -Wall -Wno-unused-label -Wno-unused-variable -Wno-unused-function -Wno-unused-parameter -DSIZEOF_VOID_P=4 -DSIZEOF_LONG=4 -DSIZEOF_INT=4 -c til-copyprop-rev.c  -fPIC -DPIC -o .libs/til-copyprop-rev.o
 gcc -I /nix/store/hwq0z83hd39rmf53ndjyk6klfb459haq-strategoxt-0.17pre18583-i573smdl/include -I /nix/store/hwq0z83hd39rmf53ndjyk6klfb459haq-strategoxt-0.17pre18583-i573smdl/include -I /nix/store/21hsv2rmy57qydzdk3w6ajd8lpndb13y-aterm-2.5pre21238-26ra85lr/include -Wall -Wno-unused-label -Wno-unused-variable -Wno-unused-function -Wno-unused-parameter -DSIZEOF_VOID_P=4 -DSIZEOF_LONG=4 -DSIZEOF_INT=4 -c til-copyprop-rev.c -o til-copyprop-rev.o >/dev/null 2>&1
gcc .libs/til-copyprop-rev.o -o til-copyprop-rev  -L/nix/store/21hsv2rmy57qydzdk3w6ajd8lpndb13y-aterm-2.5pre21238-26ra85lr/lib /nix/store/hwq0z83hd39rmf53ndjyk6klfb459haq-strategoxt-0.17pre18583-i573smdl/lib/libstratego-lib.so /nix/store/hwq0z83hd39rmf53ndjyk6klfb459haq-strategoxt-0.17pre18583-i573smdl/lib/libstratego-lib-native.so /nix/store/hwq0z83hd39rmf53ndjyk6klfb459haq-strategoxt-0.17pre18583-i573smdl/lib/libstratego-runtime.so -lm /nix/store/21hsv2rmy57qydzdk3w6ajd8lpndb13y-aterm-2.5pre21238-26ra85lr/lib/libATerm.so    -Wl,--rpath -Wl,/nix/store/hwq0z83hd39rmf53ndjyk6klfb459haq-strategoxt-0.17pre18583-i573smdl/lib -Wl,--rpath -Wl,/nix/store/21hsv2rmy57qydzdk3w6ajd8lpndb13y-aterm-2.5pre21238-26ra85lr/lib -Wl,--rpath -Wl,/nix/store/hwq0z83hd39rmf53ndjyk6klfb459haq-strategoxt-0.17pre18583-i573smdl/lib -Wl,--rpath -Wl,/nix/store/21hsv2rmy57qydzdk3w6ajd8lpndb13y-aterm-2.5pre21238-26ra85lr/lib
[ strc | info ] C compilation succeeded     : [user/system] = [0.40s/0.18s]
[ strc | info ] Compilation succeeded       : [user/system] = [1.62s/0.20s]
[ strc | info ] Compiling 'til-propconst.str'
[ strc | info ] Front-end succeeded         : [user/system] = [0.76s/0.02s]
[ strc | info ] Optimization succeeded -O 2 : [user/system] = [0.00s/0.00s]
[ strc | info ] Back-end succeeded          : [user/system] = [0.34s/0.00s]
 gcc -I /nix/store/hwq0z83hd39rmf53ndjyk6klfb459haq-strategoxt-0.17pre18583-i573smdl/include -I /nix/store/hwq0z83hd39rmf53ndjyk6klfb459haq-strategoxt-0.17pre18583-i573smdl/include -I /nix/store/21hsv2rmy57qydzdk3w6ajd8lpndb13y-aterm-2.5pre21238-26ra85lr/include -Wall -Wno-unused-label -Wno-unused-variable -Wno-unused-function -Wno-unused-parameter -DSIZEOF_VOID_P=4 -DSIZEOF_LONG=4 -DSIZEOF_INT=4 -c til-propconst.c  -fPIC -DPIC -o .libs/til-propconst.o
 gcc -I /nix/store/hwq0z83hd39rmf53ndjyk6klfb459haq-strategoxt-0.17pre18583-i573smdl/include -I /nix/store/hwq0z83hd39rmf53ndjyk6klfb459haq-strategoxt-0.17pre18583-i573smdl/include -I /nix/store/21hsv2rmy57qydzdk3w6ajd8lpndb13y-aterm-2.5pre21238-26ra85lr/include -Wall -Wno-unused-label -Wno-unused-variable -Wno-unused-function -Wno-unused-parameter -DSIZEOF_VOID_P=4 -DSIZEOF_LONG=4 -DSIZEOF_INT=4 -c til-propconst.c -o til-propconst.o >/dev/null 2>&1
gcc .libs/til-propconst.o -o til-propconst  -L/nix/store/21hsv2rmy57qydzdk3w6ajd8lpndb13y-aterm-2.5pre21238-26ra85lr/lib /nix/store/hwq0z83hd39rmf53ndjyk6klfb459haq-strategoxt-0.17pre18583-i573smdl/lib/libstratego-lib.so /nix/store/hwq0z83hd39rmf53ndjyk6klfb459haq-strategoxt-0.17pre18583-i573smdl/lib/libstratego-lib-native.so /nix/store/hwq0z83hd39rmf53ndjyk6klfb459haq-strategoxt-0.17pre18583-i573smdl/lib/libstratego-runtime.so -lm /nix/store/21hsv2rmy57qydzdk3w6ajd8lpndb13y-aterm-2.5pre21238-26ra85lr/lib/libATerm.so    -Wl,--rpath -Wl,/nix/store/hwq0z83hd39rmf53ndjyk6klfb459haq-strategoxt-0.17pre18583-i573smdl/lib -Wl,--rpath -Wl,/nix/store/21hsv2rmy57qydzdk3w6ajd8lpndb13y-aterm-2.5pre21238-26ra85lr/lib -Wl,--rpath -Wl,/nix/store/hwq0z83hd39rmf53ndjyk6klfb459haq-strategoxt-0.17pre18583-i573smdl/lib -Wl,--rpath -Wl,/nix/store/21hsv2rmy57qydzdk3w6ajd8lpndb13y-aterm-2.5pre21238-26ra85lr/lib
[ strc | info ] C compilation succeeded     : [user/system] = [0.36s/0.22s]
[ strc | info ] Compilation succeeded       : [user/system] = [1.46s/0.24s]
=== Making til-eblock ========================================
  including ./TIL-eblocks.sdf
  including ../syn/TIL.sdf
  including ../syn/TIL-layout.sdf
  including ../syn/TIL-literals.sdf
  including ../syn/TIL-expressions.sdf
  including ../syn/TIL-statements.sdf
  including ../syn/TIL-types.sdf
  including ../syn/TIL-calls.sdf
SdfChecker:error: Main module not defined
--- Main
SdfChecker:error: Main module not defined
--- Main
[ sdf2parenthesize | info ] SDF main module is TIL-eblocks
[ sdf2parenthesize | info ] Name of output module is til-eblocks-parenthesize
[ sdf2parenthesize | info ] Main strategy is io-til-eblocks-parenthesize
[ sdf2parenthesize | info ] Name of signature module is TIL-eblocks
[ sdf2parenthesize | info ] Language name is TIL-eblocks
[ sdf2parenthesize | info ] Name of parenthesize rules is TIL-eblocksParenthesize
SdfChecker:error: Main module not defined
--- Main
[ strc | info ] Compiling 'til-eblocks-parenthesize.str'
[ strc | info ] Front-end succeeded         : [user/system] = [0.68s/0.00s]
[ strc | info ] Optimization succeeded -O 2 : [user/system] = [0.06s/0.00s]
[ strc | info ] Back-end succeeded          : [user/system] = [0.20s/0.00s]
mkdir .libs
 gcc -I /nix/store/hwq0z83hd39rmf53ndjyk6klfb459haq-strategoxt-0.17pre18583-i573smdl/include -I /nix/store/hwq0z83hd39rmf53ndjyk6klfb459haq-strategoxt-0.17pre18583-i573smdl/include -I /nix/store/21hsv2rmy57qydzdk3w6ajd8lpndb13y-aterm-2.5pre21238-26ra85lr/include -Wall -Wno-unused-label -Wno-unused-variable -Wno-unused-function -Wno-unused-parameter -DSIZEOF_VOID_P=4 -DSIZEOF_LONG=4 -DSIZEOF_INT=4 -c til-eblocks-parenthesize.c  -fPIC -DPIC -o .libs/til-eblocks-parenthesize.o
 gcc -I /nix/store/hwq0z83hd39rmf53ndjyk6klfb459haq-strategoxt-0.17pre18583-i573smdl/include -I /nix/store/hwq0z83hd39rmf53ndjyk6klfb459haq-strategoxt-0.17pre18583-i573smdl/include -I /nix/store/21hsv2rmy57qydzdk3w6ajd8lpndb13y-aterm-2.5pre21238-26ra85lr/include -Wall -Wno-unused-label -Wno-unused-variable -Wno-unused-function -Wno-unused-parameter -DSIZEOF_VOID_P=4 -DSIZEOF_LONG=4 -DSIZEOF_INT=4 -c til-eblocks-parenthesize.c -o til-eblocks-parenthesize.o >/dev/null 2>&1
gcc .libs/til-eblocks-parenthesize.o -o til-eblocks-parenthesize  -L/nix/store/21hsv2rmy57qydzdk3w6ajd8lpndb13y-aterm-2.5pre21238-26ra85lr/lib /nix/store/hwq0z83hd39rmf53ndjyk6klfb459haq-strategoxt-0.17pre18583-i573smdl/lib/libstratego-lib.so /nix/store/hwq0z83hd39rmf53ndjyk6klfb459haq-strategoxt-0.17pre18583-i573smdl/lib/libstratego-lib-native.so /nix/store/hwq0z83hd39rmf53ndjyk6klfb459haq-strategoxt-0.17pre18583-i573smdl/lib/libstratego-runtime.so -lm /nix/store/21hsv2rmy57qydzdk3w6ajd8lpndb13y-aterm-2.5pre21238-26ra85lr/lib/libATerm.so    -Wl,--rpath -Wl,/nix/store/hwq0z83hd39rmf53ndjyk6klfb459haq-strategoxt-0.17pre18583-i573smdl/lib -Wl,--rpath -Wl,/nix/store/21hsv2rmy57qydzdk3w6ajd8lpndb13y-aterm-2.5pre21238-26ra85lr/lib -Wl,--rpath -Wl,/nix/store/hwq0z83hd39rmf53ndjyk6klfb459haq-strategoxt-0.17pre18583-i573smdl/lib -Wl,--rpath -Wl,/nix/store/21hsv2rmy57qydzdk3w6ajd8lpndb13y-aterm-2.5pre21238-26ra85lr/lib
[ strc | info ] C compilation succeeded     : [user/system] = [0.40s/0.18s]
[ strc | info ] Compilation succeeded       : [user/system] = [1.34s/0.20s]
[ strc | info ] Compiling 'til-eblock-desugar.str'
[ strc | info ] Front-end succeeded         : [user/system] = [0.74s/0.00s]
[ strc | info ] Optimization succeeded -O 2 : [user/system] = [0.02s/0.00s]
[ strc | info ] Back-end succeeded          : [user/system] = [0.34s/0.00s]
 gcc -I /nix/store/hwq0z83hd39rmf53ndjyk6klfb459haq-strategoxt-0.17pre18583-i573smdl/include -I /nix/store/hwq0z83hd39rmf53ndjyk6klfb459haq-strategoxt-0.17pre18583-i573smdl/include -I /nix/store/21hsv2rmy57qydzdk3w6ajd8lpndb13y-aterm-2.5pre21238-26ra85lr/include -Wall -Wno-unused-label -Wno-unused-variable -Wno-unused-function -Wno-unused-parameter -DSIZEOF_VOID_P=4 -DSIZEOF_LONG=4 -DSIZEOF_INT=4 -c til-eblock-desugar.c  -fPIC -DPIC -o .libs/til-eblock-desugar.o
 gcc -I /nix/store/hwq0z83hd39rmf53ndjyk6klfb459haq-strategoxt-0.17pre18583-i573smdl/include -I /nix/store/hwq0z83hd39rmf53ndjyk6klfb459haq-strategoxt-0.17pre18583-i573smdl/include -I /nix/store/21hsv2rmy57qydzdk3w6ajd8lpndb13y-aterm-2.5pre21238-26ra85lr/include -Wall -Wno-unused-label -Wno-unused-variable -Wno-unused-function -Wno-unused-parameter -DSIZEOF_VOID_P=4 -DSIZEOF_LONG=4 -DSIZEOF_INT=4 -c til-eblock-desugar.c -o til-eblock-desugar.o >/dev/null 2>&1
gcc .libs/til-eblock-desugar.o -o til-eblock-desugar  -L/nix/store/21hsv2rmy57qydzdk3w6ajd8lpndb13y-aterm-2.5pre21238-26ra85lr/lib /nix/store/hwq0z83hd39rmf53ndjyk6klfb459haq-strategoxt-0.17pre18583-i573smdl/lib/libstratego-lib.so /nix/store/hwq0z83hd39rmf53ndjyk6klfb459haq-strategoxt-0.17pre18583-i573smdl/lib/libstratego-lib-native.so /nix/store/hwq0z83hd39rmf53ndjyk6klfb459haq-strategoxt-0.17pre18583-i573smdl/lib/libstratego-runtime.so -lm /nix/store/21hsv2rmy57qydzdk3w6ajd8lpndb13y-aterm-2.5pre21238-26ra85lr/lib/libATerm.so    -Wl,--rpath -Wl,/nix/store/hwq0z83hd39rmf53ndjyk6klfb459haq-strategoxt-0.17pre18583-i573smdl/lib -Wl,--rpath -Wl,/nix/store/21hsv2rmy57qydzdk3w6ajd8lpndb13y-aterm-2.5pre21238-26ra85lr/lib -Wl,--rpath -Wl,/nix/store/hwq0z83hd39rmf53ndjyk6klfb459haq-strategoxt-0.17pre18583-i573smdl/lib -Wl,--rpath -Wl,/nix/store/21hsv2rmy57qydzdk3w6ajd8lpndb13y-aterm-2.5pre21238-26ra85lr/lib
[ strc | info ] C compilation succeeded     : [user/system] = [0.38s/0.20s]
[ strc | info ] Compilation succeeded       : [user/system] = [1.48s/0.20s]
=== Making tc ========================================
[ strc | info ] Compiling 'til-typecheck.str'
[ strc | info ] Front-end succeeded         : [user/system] = [0.78s/0.00s]
[ strc | info ] Optimization succeeded -O 2 : [user/system] = [0.02s/0.00s]
[ strc | info ] Back-end succeeded          : [user/system] = [0.54s/0.00s]
mkdir .libs
 gcc -I /nix/store/hwq0z83hd39rmf53ndjyk6klfb459haq-strategoxt-0.17pre18583-i573smdl/include -I /nix/store/hwq0z83hd39rmf53ndjyk6klfb459haq-strategoxt-0.17pre18583-i573smdl/include -I /nix/store/21hsv2rmy57qydzdk3w6ajd8lpndb13y-aterm-2.5pre21238-26ra85lr/include -Wall -Wno-unused-label -Wno-unused-variable -Wno-unused-function -Wno-unused-parameter -DSIZEOF_VOID_P=4 -DSIZEOF_LONG=4 -DSIZEOF_INT=4 -c til-typecheck.c  -fPIC -DPIC -o .libs/til-typecheck.o
 gcc -I /nix/store/hwq0z83hd39rmf53ndjyk6klfb459haq-strategoxt-0.17pre18583-i573smdl/include -I /nix/store/hwq0z83hd39rmf53ndjyk6klfb459haq-strategoxt-0.17pre18583-i573smdl/include -I /nix/store/21hsv2rmy57qydzdk3w6ajd8lpndb13y-aterm-2.5pre21238-26ra85lr/include -Wall -Wno-unused-label -Wno-unused-variable -Wno-unused-function -Wno-unused-parameter -DSIZEOF_VOID_P=4 -DSIZEOF_LONG=4 -DSIZEOF_INT=4 -c til-typecheck.c -o til-typecheck.o >/dev/null 2>&1
gcc .libs/til-typecheck.o -o til-typecheck  -L/nix/store/21hsv2rmy57qydzdk3w6ajd8lpndb13y-aterm-2.5pre21238-26ra85lr/lib /nix/store/hwq0z83hd39rmf53ndjyk6klfb459haq-strategoxt-0.17pre18583-i573smdl/lib/libstratego-lib.so /nix/store/hwq0z83hd39rmf53ndjyk6klfb459haq-strategoxt-0.17pre18583-i573smdl/lib/libstratego-lib-native.so /nix/store/hwq0z83hd39rmf53ndjyk6klfb459haq-strategoxt-0.17pre18583-i573smdl/lib/libstratego-runtime.so -lm /nix/store/21hsv2rmy57qydzdk3w6ajd8lpndb13y-aterm-2.5pre21238-26ra85lr/lib/libATerm.so    -Wl,--rpath -Wl,/nix/store/hwq0z83hd39rmf53ndjyk6klfb459haq-strategoxt-0.17pre18583-i573smdl/lib -Wl,--rpath -Wl,/nix/store/21hsv2rmy57qydzdk3w6ajd8lpndb13y-aterm-2.5pre21238-26ra85lr/lib -Wl,--rpath -Wl,/nix/store/hwq0z83hd39rmf53ndjyk6klfb459haq-strategoxt-0.17pre18583-i573smdl/lib -Wl,--rpath -Wl,/nix/store/21hsv2rmy57qydzdk3w6ajd8lpndb13y-aterm-2.5pre21238-26ra85lr/lib
[ strc | info ] C compilation succeeded     : [user/system] = [0.62s/0.18s]
[ strc | info ] Compilation succeeded       : [user/system] = [1.96s/0.18s]
=== Making xmpl ========================================
+ ./parse-test
+ ./parse-test2
+ ./pp-test1
+ ./pp-test2
+ ./pp-test3
+ ./fc-test1
Program([Declaration("n"),Assign("n",FunCall("readint",[])),Declaration("x"),Declaration("fact"),Assign("fact",Int("1")),For("x",Int("1"),Var("n"),[Assign("fact",Mul(Var("x"),Var("fact")))]),ProcCall("write",[String("\"factorial of \"")]),ProcCall("writeint",[Var("n")]),ProcCall("write",[String("\" is \"")]),ProcCall("writeint",[Var("fact")]),ProcCall("write",[String("\"\\n\"")])])
+ ./fc-test2
+ echo ok
ok
+ ./simplify-test
Program([DeclarationTyped("n",TypeName("int")),Assign("n",FunCall("string2int",[FunCall("read",[])])),DeclarationTyped("x",TypeName("int")),DeclarationTyped("fact",TypeName("int")),Assign("fact",Int("1")),Block([DeclarationTyped("a_0",TypeName("int")),Assign("x",Int("1")),Assign("a_0",Var("n")),While(Leq(Var("x"),Var("a_0")),[Assign("fact",Mul(Var("x"),Var("fact"))),Assign("x",Add(Var("x"),Int("1")))])]),ProcCall("write",[String("\"factorial of \"")]),ProcCall("write",[FunCall("int2string",[Var("n")])]),ProcCall("write",[String("\" is \"")]),ProcCall("write",[FunCall("int2string",[Var("fact")])]),ProcCall("write",[String("\"\\n\"")])])
+ ./run-test1
+ ./propconst-test2
+ ./copyprop-test2
+ ./cse-test2
+ ./dce-test2
+ ./eblock-desugar-test2
#! /bin/sh -v 

sglri -p ../til-eblock/TIL-eblocks.tbl -i eblock-desugar-test2.til |\
../sim/til-simplify |\
../renaming/til-rename-vars |\
../til-eblock/til-eblock-desugar -o eblock-desugar-test2.des.til

ast2text -p ../pp/TIL-pretty.pp \
	-i eblock-desugar-test2.des.til \
	-o eblock-desugar-test2.txt

../opt/til-copyprop-rev -i eblock-desugar-test2.des.til |\
../opt/til-forward-subst |\
../opt/til-copyprop |\
../opt/til-propconst |\
../opt/til-dce |\
ast2text -p ../pp/TIL-pretty.pp -o eblock-desugar-test2.cp.txt
+ ./rename-test
+ ./typecheck-test1
make examples-full.tar.gz
make[2]: Entering directory `/tmp/nix-build-c3650r1ky5hxh292knrlmi58q71srnbh-source-tarball.drv-0/cvjsqxlirc37iyck84qg6d87kh2fp9ll-svn-export/src'
building examples-full.tar.gz
mkdir -p examples-full
cp -fr til examples-full
tar zcf examples-full.tar.gz examples-full
make[2]: Leaving directory `/tmp/nix-build-c3650r1ky5hxh292knrlmi58q71srnbh-source-tarball.drv-0/cvjsqxlirc37iyck84qg6d87kh2fp9ll-svn-export/src'
make[1]: Leaving directory `/tmp/nix-build-c3650r1ky5hxh292knrlmi58q71srnbh-source-tarball.drv-0/cvjsqxlirc37iyck84qg6d87kh2fp9ll-svn-export/src'
Making all in doc
make[1]: Entering directory `/tmp/nix-build-c3650r1ky5hxh292knrlmi58q71srnbh-source-tarball.drv-0/cvjsqxlirc37iyck84qg6d87kh2fp9ll-svn-export/doc'
building book.xml-inc1
xmllint --xinclude --output book.xml-inc1 book.xml 
building book.xml-exp
xsltproc  --output book.xml-exp ../xslt/macros.xsl book.xml-inc1 
../xslt/macros.xsl:14: validity error : xml:id : attribute value {@id} is not an NCName
    <figure xml:id="{@id}">
                          ^
building book.xml-inc2
xmllint --xinclude --output book.xml-inc2 book.xml-exp 
building book.docbook
jing -i /nix/store/1ly7yc1vnmn1h0marvbnffz07zqjkkm5-docbook5-5.0/xml/rng/docbook/docbook.rng book.xml-inc2
cp book.xml-inc2 book.docbook
rm book.xml-inc1 book.xml-inc2 book.xml-exp
make[1]: Leaving directory `/tmp/nix-build-c3650r1ky5hxh292knrlmi58q71srnbh-source-tarball.drv-0/cvjsqxlirc37iyck84qg6d87kh2fp9ll-svn-export/doc'
Making all in svg
make[1]: Entering directory `/tmp/nix-build-c3650r1ky5hxh292knrlmi58q71srnbh-source-tarball.drv-0/cvjsqxlirc37iyck84qg6d87kh2fp9ll-svn-export/svg'
make[1]: Nothing to be done for `all'.
make[1]: Leaving directory `/tmp/nix-build-c3650r1ky5hxh292knrlmi58q71srnbh-source-tarball.drv-0/cvjsqxlirc37iyck84qg6d87kh2fp9ll-svn-export/svg'
Making all in html
make[1]: Entering directory `/tmp/nix-build-c3650r1ky5hxh292knrlmi58q71srnbh-source-tarball.drv-0/cvjsqxlirc37iyck84qg6d87kh2fp9ll-svn-export/html'
building all-recursive
Making all in chunk-chapter
make[2]: Entering directory `/tmp/nix-build-c3650r1ky5hxh292knrlmi58q71srnbh-source-tarball.drv-0/cvjsqxlirc37iyck84qg6d87kh2fp9ll-svn-export/html/chunk-chapter'
building index.html
if test "true" = "true"; then \
	  xsltproc --param html.stylesheet \'style.css\' --param use.id.as.filename \'1\' --param chunk.chapter \'1\' --param chunk.part \'1\' --param chunk.book \'1\' --param chunk.section.depth \'0\' --param toc.max.depth \'3\' --param toc.section.depth 2 --param xref.with.number.and.title 0 --param section.label.includes.component.label 2 --param section.autolabel 1 --param keep.relative.image.uris 0 --output index.html --path /nix/store/jl425adp20q658cby3xi56n65h8sbw18-docbook-xsl-1.72.0/xml/xsl/docbook/html ../../xslt/chunk/flexchunk.xsl ../../doc/book.docbook ; \
	else \
	  xsltproc --param html.stylesheet \'style.css\' --param use.id.as.filename \'1\' --param chunk.chapter \'1\' --param chunk.part \'1\' --param chunk.book \'1\' --param chunk.section.depth \'0\' --param toc.max.depth \'3\' --param toc.section.depth 2 --param xref.with.number.and.title 0 --param section.label.includes.component.label 2 --param section.autolabel 1 --param keep.relative.image.uris 0 --output index.html /nix/store/jl425adp20q658cby3xi56n65h8sbw18-docbook-xsl-1.72.0/xml/xsl/docbook/html/docbook.xsl ../../doc/book.docbook ; \
	fi
Stripping namespace from DocBook 5 document.
WARNING: cannot add @xml:base to node set root element.  Relative paths may not work.
Processing stripped document.
ID recommended on section: What is Software Transformation?
ID recommended on section: What is Stratego/XT?
ID recommended on section: Outline
Writing tutorial-software-transformation-systems.html for chapter(tutorial-software-transformation-systems)
ID recommended on section: What do I Need?
ID recommended on section: Instructions
ID recommended on section: Using Source Distributions
ID recommended on section: Installation of aterm and sdf2-bundle
ID recommended on section: Installation of Stratego/XT
ID recommended on section: Installation of Stratego Shell, Java Fro...
ID recommended on section: Using Binary RPMs
ID recommended on section: Using the Nix Deployment System
Writing installation.html for chapter(installation)
Writing tutorial-introduction.html for part(tutorial-introduction)
ID recommended on section: Tools as Transformation Components
ID recommended on section: Grammar Oriented
ID recommended on section: Being on Good Terms with Trees
Writing xt-architecture.html for chapter(xt-architecture)
ID recommended on section: Annotated Term Format
ID recommended on section: Inspecting Terms
ID recommended on section: Maximal Sharing (*)
ID recommended on section: Exchange Format
ID recommended on section: ATerm Library
Writing tutorial-aterms.html for chapter(tutorial-aterms)
ID recommended on section: Context-free Grammars
ID recommended on section: Abstract Syntax Trees
ID recommended on section: From Concepts to Practice: Generating a ...
ID recommended on section: From Modules to Definition
ID recommended on section: Generating a Parser
ID recommended on section: Invoking the Parser
Writing tutorial-parsing.html for chapter(tutorial-parsing)
ID recommended on section: SDF: The Basics
ID recommended on section: Modules
ID recommended on section: Start Symbols
ID recommended on section: Sorts
ID recommended on section: Syntax
ID recommended on section: Disambiguation
ID recommended on section: Syntax
ID recommended on section: Lexical and Context-free Syntax
ID recommended on section: Productions, Sorts, and Symbols
ID recommended on section: Symbols and Regular Expressions
ERROR: xref linking to section-sdf-literals has no generated link text.
Error: no ID for constraint linkend: section-sdf-literals.
ID recommended on example: Examples of Character Classes
ID recommended on section: Simple Whitespace
ID recommended on section: Reserving Keywords
ID recommended on section: Longest Match
ID recommended on section: Keywords
ID recommended on section: Integer Literals
ID recommended on section: Floating-Point Literals
ID recommended on section: Comments
ID recommended on section: End-of-line Comment
ID recommended on section: Traditional Block Comment
ID recommended on section: Balanced Block Comments
ID recommended on section: Examples: Defining Context-Free Syntax
ID recommended on section: Expressions
ID recommended on section: Constructor Attributes and Abstract Synt...
ID recommended on section: Ambiguities in Expressions
ID recommended on section: Associativity and Priorities
ID recommended on section: Group Associativity
ID recommended on section: Priorities and Hedged Symbols
ID recommended on section: Array Creation and Access Ambiguity
ID recommended on section: Statements
ID recommended on section: Dangling Else
ID recommended on section: Whitespace and Comments
ID recommended on section: Usage example
ID recommended on section: Syntax Definition
ID recommended on section: Parse Testsuite
ID recommended on section: Running the Parse Testsuite
ID recommended on section: Parse Testsuite Syntax
ID recommended on section: Debugging Support
ID recommended on section: Invocation in Automake
Writing tutorial-sdf.html for chapter(tutorial-sdf)
ID recommended on chapter: Advanced Topics in Syntax Definition (*)
ID recommended on section: Combining Languages
ID recommended on section: Advanced Module Features
ID recommended on section: Renaming Symbols
ID recommended on section: Parameterized Modules
ID recommended on example: Parameterized Module for Regular Express...
ID recommended on section: Hiding Grammars
ID recommended on section: Context-sensitive Lexical Syntax
ID recommended on section: Explicit versus Implicit Ambiguities
ID recommended on section: Performance Tips and Tricks
Writing bk01pt02ch07.html for chapter
ID recommended on section: Regular Tree Grammars
ID recommended on section: Generating Code from an RTG
ID recommended on section: Creating a Subset of a Regular Tree Gram...
ID recommended on section: Introduction
ID recommended on section: Example
ID recommended on section: Signatures (todo: imported)
ERROR: xref linking to Fig-Expressions.sdf has no generated link text.
Error: no ID for constraint linkend: Fig-Expressions.sdf.
ID recommended on section: Signature Tools (todo: imported)
Writing tutorial-rtg.html for chapter(tutorial-rtg)
ID recommended on section: Pretty-Print Table Generation
ID recommended on section: Rule Selectors
ID recommended on section: Examples
ID recommended on section: Restoring Parenthesis
ID recommended on section: Pretty Printing using Stratego
ID recommended on section: Pretty-Printing (todo: imported)
ID recommended on section: Unparsing
ID recommended on section: Pretty-Printing
ID recommended on figure: 
      Pretty-printing of if-then-else s...
ID recommended on section: Disambiguation
ID recommended on section: Pretty-Printing and Term Visualization T...
Writing generic-pretty-printing.html for chapter(generic-pretty-printing)
Writing tutorial-xt.html for part(tutorial-xt)
ID recommended on partintro: Introduction
ID recommended on section: Annotated Term Format
ID recommended on section: Exchanging Terms
ID recommended on section: Inspecting Terms
ID recommended on section: Signatures
Writing stratego-terms.html for chapter(stratego-terms)
ID recommended on section: Compiling Stratego Programs
ID recommended on section: Combining Transformations
ID recommended on section: Summary
Writing running-stratego-programs.html for chapter(running-stratego-programs)
ID recommended on section: Transformation with Rewrite Rules
ID recommended on section: Adding Rules to a Rewrite System
ID recommended on section: Summary
Writing stratego-term-rewriting.html for chapter(stratego-term-rewriting)
ID recommended on section: Limitations of Term Rewriting
ID recommended on section: Attempt 1: Remodularization
ID recommended on section: Attempt 2: Functionalization
ID recommended on section: Programmable Rewriting Strategies
ID recommended on section: Idioms of Strategic Rewriting
ID recommended on section: Cascading Transformations
ID recommended on section: One-pass Traversals
ID recommended on section: Staged Transformations
ID recommended on section: Local  Transformations
ID recommended on section: Summary
Writing stratego-rewriting-strategies.html for chapter(stratego-rewriting-strategies)
ID recommended on section: What is a Rule?
ID recommended on section: What is a Strategy?
ID recommended on section: Strategy Definitions
ID recommended on section: Simple Strategy Definition and Call
ID recommended on section: Parameterized Definitions
ID recommended on section: Local Definitions
ID recommended on section: Extending Definitions
ID recommended on section: Calling Primitives
ID recommended on section: External Definitions
ID recommended on section: Dynamic Calls
ID recommended on section: Summary
Writing rules-and-strategies.html for chapter(rules-and-strategies)
ID recommended on section: Non-deterministic Choice
ID recommended on section: Recursion
ID recommended on section: Summary
Writing stratego-strategy-combinators.html for chapter(stratego-strategy-combinators)
ID recommended on section: Implementing Rewrite Rules
ID recommended on section: Anonymous Rewrite Rule
ID recommended on section: Term variable scope
ID recommended on section: Implicit Variable Scope
ID recommended on section: Where
ID recommended on section: Conditional rewrite rule
ID recommended on section: Lambda Rules
ID recommended on section: Apply and Match
ID recommended on section: Wrap and Project
ID recommended on section: Term Wrap
ID recommended on section: Term Project
ID recommended on section: Summary
Writing stratego-creating-and-analyzing-terms.html for chapter(stratego-creating-and-analyzing-terms)
ID recommended on section: Traversal Rules
ID recommended on section: Congruence Operators
ID recommended on section: Generic Traversal
ID recommended on section: Visiting All Subterms
ID recommended on section: Visiting One Subterm
ID recommended on section: Visiting Some Subterms
ID recommended on section: Full Traversals
ID recommended on section: Cascading Transformations
ID recommended on section: Mixing Generic and Specific Traversals
ID recommended on section: Partial Traversals
ID recommended on section: Path (*)
ID recommended on section: Recursive Patterns (*)
ID recommended on section: Dynamic programming (*)
ID recommended on section: Summary
Writing stratego-traversal-strategies.html for chapter(stratego-traversal-strategies)
ID recommended on section: Type Unifying List Transformations
ID recommended on section: Extending Fold to Expressions
ID recommended on section: Generic Term Deconstruction
ID recommended on section: Generic Term Construction
ID recommended on section: Summary
Writing stratego-type-unifying-strategies.html for chapter(stratego-type-unifying-strategies)
ID recommended on section: Instrumenting Programs
ID recommended on section: Observations about Concrete Syntax Speci...
ID recommended on section: Implementation
ID recommended on section: Extending the Meta Language
ID recommended on section: Meta-Variables
ID recommended on section: Meta-Explode
ID recommended on section: Discussion
ID recommended on section: Summary
Writing stratego-concrete-syntax.html for chapter(stratego-concrete-syntax)
Writing stratego-dynamic-rules.html for chapter(stratego-dynamic-rules)
Writing stratego-language.html for part(stratego-language)
ID recommended on section: Anatomy of the Stratego Library
ID recommended on section: Basic Operations
ID recommended on section: Number comparisons
ID recommended on section: Other Operations
ID recommended on section: Random Numbers
ID recommended on section: Summary
Writing library-arithmetic.html for chapter(library-arithmetic)
ID recommended on section: Making heads and tails of it
ID recommended on section: 
    Sorting
  
ID recommended on section: 
    Associative Lists
  
ID recommended on section: 
    Pairing Lists
  
ID recommended on section:   
    Lightweight Sets
  
ID recommended on section: Transforming Lists
ID recommended on section: Folding from the Left and Right
ID recommended on section: Summary
Writing library-lists.html for chapter(library-lists)
ID recommended on section: Basic String Operations
ID recommended on section: Sorting Strings
ID recommended on section: Strings and Terms
ID recommended on section: Strings and Numbers
Writing library-strings.html for chapter(library-strings)
ID recommended on chapter: Hashtables and Sets
ID recommended on section: 
    Hashtables
  
ID recommended on section: 
    Indexed Sets
  
Writing bk01pt04ch24.html for chapter
ID recommended on section: Console I/O
ID recommended on section: Path and Directory Operations
ID recommended on section: File and Text I/O
ID recommended on section: Term I/O
ID recommended on section: Logging
Writing library-io.html for chapter(library-io)
ID recommended on section: Parsing Command-line Options
ID recommended on section: Adding Custom Options
ID recommended on section: Setting Description and About
ID recommended on section: I/O-less Programs
Writing library-options.html for chapter(library-options)
ID recommended on section: Setting up a test suite
ID recommended on section: Compare expected and actual output
ID recommended on section: Check for failure
ID recommended on section: Check arbitrary conditions on output
ID recommended on section: Unit testing with XTC
Writing stratego-unit-testing.html for chapter(stratego-unit-testing)
ID recommended on section: Basic Mechanisms of XTC
ID recommended on section: Registration of Programs and Data
ID recommended on section: Importing other Repositories
ID recommended on section: Searching Repositories
ID recommended on section: Composing Tools in Stratego
ID recommended on section: Making an XT component
ID recommended on section: Invoking XT components
ID recommended on section: Summary
Writing xtc.html for chapter(xtc)
ID recommended on section: Building stand-alone artifacts
ID recommended on section: Static linking
ID recommended on section: Setting up your Project
ID recommended on section: Building Stand-alone Stratego Applicatio...
ID recommended on section: Building Parse Tables, Tree Grammars and...
ID recommended on section: Building Your Own Stratego Library
ID recommended on section: Compiling the Library
ID recommended on section: Using Your Library in Stratego Programs
ID recommended on section: Package Config Support
ID recommended on section: RPM Support
ID recommended on section: Summary
Writing library-building.html for chapter(library-building)
ID recommended on section: Debugging Stratego
ID recommended on section: Writing readable code
ID recommended on section: Debugging Stratego code
ID recommended on section: Common Pitfalls
ID recommended on section: Debugging XT compositions
ID recommended on section: Debugging SDF definitions
Writing library-debugging.html for chapter(library-debugging)
Writing stratego-library.html for part(stratego-library)
Writing tutorial.html for book(tutorial)
ID recommended on chapter: Introduction
ID recommended on section: Software Transformations
ID recommended on section: TIL: A Tiny Imperative Language
ID recommended on section: BibTeX Transformations
ID recommended on section: Tiger
ID recommended on section: Other Applications
Writing bk02ch01.html for chapter
ID recommended on sect1: TIL: a Tiny Imperative Language
ID recommended on sect1: Syntax Definition
ID recommended on sect2: Modules
ID recommended on sect3: Layout
Error: no ID for constraint linkend: ref-sdf-character-classes.
Error: no ID for constraint linkend: ref-sdf-follow-restriction.
ID recommended on sect3: Literals
Error: no ID for constraint linkend: ref-sdf-character-classes.
Error: no ID for constraint linkend: ref-sdf-regular-expressions.
ID recommended on sect3: Expressions
Error: no ID for constraint linkend: ref-sdf-associativity.
Error: no ID for constraint linkend: ref-sdf-priority.
ID recommended on sect3: Statements
ID recommended on sect3: Function and Procedure Calls
ID recommended on sect3: Programs
ID recommended on sect2: Parse Table Generation
ID recommended on sect1: Term Format
Error: no ID for constraint linkend: ref-aterms.
ID recommended on sect2: Regular Tree Grammars
ID recommended on sect2: Signatures
ID recommended on sect2: Format Checking
ID recommended on sect1: Pretty-Printing
ID recommended on sect2: Pretty-Print Table
ID recommended on sect2: Applying Pretty-Print Tables
ID recommended on sect2: Adapting the Pretty-Print Table
ID recommended on sect2: Restoring Parentheses
ID recommended on sect1: A Complete Pipeline
Writing demo-sdf.html for chapter(demo-sdf)
ID recommended on sect1: Constant Folding Rules
ID recommended on sect1: Desugaring Rules
ID recommended on sect1: Simplying by Term Rewriting
ID recommended on sect1: Compiling the Simplifier
ID recommended on sect1: Applying the Simplifier
ID recommended on table: files: til/xmpl/test1.til, til/xmpl/test...
Writing demo-rewriting.html for chapter(demo-rewriting)
ID recommended on chapter: Bound Variable Renaming (*)
ID recommended on sect1: Renaming Bound Variables
ID recommended on sect1: Example
ID recommended on table: files: til/xmpl/test1.til, til/xmpl/test...
Writing bk02pt01ch04.html for chapter
ID recommended on chapter: Typechecking (*)
ID recommended on sect1: Typechecking
ID recommended on sect1: Example
ID recommended on table: files: til/xmpl/test1.til, til/xmpl/test...
Writing bk02pt01ch05.html for chapter
ID recommended on chapter: Interpretation
ID recommended on sect1: Evaluating Expressions
ID recommended on sect1: Evaluating Variable Accesses
ID recommended on sect1: Evaluating Statements
ID recommended on sect1: The Complete Interpreter
ID recommended on sect1: Running TIL Programs
Writing bk02pt01ch06.html for chapter
ID recommended on chapter: Data-flow Transformation (*)
ID recommended on sect1: Preliminaries
ID recommended on sect1: Constant Propagation
ID recommended on table: files: til/xmpl/propconst-test2.til, til...
ID recommended on sect1: Copy Propagation
ID recommended on table: files: til/xmpl/copyprop-test2.til, til/...
ID recommended on sect1: Reverse Copy Propagation
ID recommended on sect1: Common-subexpression Elimination
ID recommended on table: files: til/xmpl/cse-test2.til, til/xmpl/...
ID recommended on sect1: Forward Substitution
ID recommended on sect1: Dead Code Elimination
ID recommended on table: files: til/xmpl/dce-test2.til, til/xmpl/...
ID recommended on sect1: Compiling the Transformations
Writing bk02pt01ch07.html for chapter
ID recommended on chapter: Typestate Checking
Writing bk02pt01ch08.html for chapter
ID recommended on chapter: Expression Blocks (*)
ID recommended on sect1: Syntax of Expression Blocks
ID recommended on sect1: Desugaring Expression Blocks
ID recommended on sect1: Example
ID recommended on table: files: til/xmpl/eblock-desugar-test2.til...
ID recommended on table: files: til/xmpl/eblock-desugar-test2.txt...
Writing bk02pt01ch09.html for chapter
Writing tutorial-til.html for part(tutorial-til)
ID recommended on partintro: Work in Progress
ID recommended on section
ID recommended on section
ID recommended on section
Writing tiger-base.html for chapter(tiger-base)
ID recommended on section
ID recommended on section
ID recommended on section
Writing bibtex-tools.html for chapter(bibtex-tools)
Writing tutorial-bibtex.html for part(tutorial-bibtex)
Writing examples.html for book(examples)
ID recommended on partintro: Work in Progress
ID recommended on chapter: Stratego Core (*)
Writing bk03pt01ch01.html for chapter
ID recommended on chapter: Syntactic Abstractions (*)
Writing bk03pt01ch02.html for chapter
ID recommended on chapter: Dynamic Rules (*)
Writing bk03pt01ch03.html for chapter
Writing stratego-lang-ref.html for part(stratego-lang-ref)
Writing ref-abox2text.html for refentry(ref-abox2text)
Writing ref-asfix-yield.html for refentry(ref-asfix-yield)
Writing ref-ast2abox.html for refentry(ref-ast2abox)
Writing ref-ast2text.html for refentry(ref-ast2text)
Writing ref-aterm2xml.html for refentry(ref-aterm2xml)
Writing ref-autoxt.html for refentry(ref-autoxt)
Writing ref-baffle.html for refentry(ref-baffle)
Writing ref-format-check.html for refentry(ref-format-check)
Writing ref-gen-renamed-sdf-module.html for refentry(ref-gen-renamed-sdf-module)
Error: no ID for constraint linkend: asfix.
Writing ref-implode-asfix.html for refentry(ref-implode-asfix)
Writing ref-pack-sdf.html for refentry(ref-pack-sdf)
Writing ref-parse-box.html for refentry(ref-parse-box)
Writing ref-parse-cs.html for refentry(ref-parse-cs)
Writing ref-parse-c.html for refentry(ref-parse-c)
Writing ref-parse-pp-table.html for refentry(ref-parse-pp-table)
Writing ref-parse-rtg.html for refentry(ref-parse-rtg)
Writing ref-parse-sdf-definition.html for refentry(ref-parse-sdf-definition)
Writing ref-parse-sdf-module.html for refentry(ref-parse-sdf-module)
Writing ref-parse-stratego.html for refentry(ref-parse-stratego)
Writing ref-parse-unit.html for refentry(ref-parse-unit)
Writing ref-parse-xml-doc.html for refentry(ref-parse-xml-doc)
Writing ref-parse-xml-info.html for refentry(ref-parse-xml-info)
Writing ref-pp-aterm.html for refentry(ref-pp-aterm)
Writing ref-pp-box.html for refentry(ref-pp-box)
Writing ref-pp-c.html for refentry(ref-pp-c)
Writing ref-ppgen.html for refentry(ref-ppgen)
Writing ref-pp-pp-table.html for refentry(ref-pp-pp-table)
Writing ref-pp-rtg.html for refentry(ref-pp-rtg)
Writing ref-pp-sdf.html for refentry(ref-pp-sdf)
Writing ref-pp-stratego.html for refentry(ref-pp-stratego)
Writing ref-pptable-diff.html for refentry(ref-pptable-diff)
Writing ref-pp-xml-doc.html for refentry(ref-pp-xml-doc)
Writing ref-pp-xml-info.html for refentry(ref-pp-xml-info)
Writing ref-pretty-stratego.html for refentry(ref-pretty-stratego)
Writing ref-rtg2sig.html for refentry(ref-rtg2sig)
Writing ref-rtg2typematch.html for refentry(ref-rtg2typematch)
Writing ref-rtg-script.html for refentry(ref-rtg-script)
Writing ref-sdf2parenthesize.html for refentry(ref-sdf2parenthesize)
Writing ref-sdf2rtg.html for refentry(ref-sdf2rtg)
Writing ref-sdf2table.html for refentry(ref-sdf2table)
Writing ref-sglri.html for refentry(ref-sglri)
Writing ref-sglr.html for refentry(ref-sglr)
Writing ref-strc.html for refentry(ref-strc)
Writing ref-stratego-shell.html for refentry(ref-stratego-shell)
Writing ref-unpack-sdf.html for refentry(ref-unpack-sdf)
Writing ref-visamb.html for refentry(ref-visamb)
Writing ref-xtc.html for refentry(ref-xtc)
Writing ref-xml2aterm.html for refentry(ref-xml2aterm)
Writing tool-ref.html for chapter(tool-ref)
ID recommended on section: The Big Picture
ID recommended on section: Issue Tracker
ID recommended on section: Build Farm
ID recommended on section: Mailing Lists
ID recommended on section: What is a baseline and why do I need it?
ID recommended on section: Baseline restrictions
ID recommended on section: Baseline upgrading
ID recommended on section: Submitting your changes
Link element has no content and no Endterm. Nothing to show in the link to installation
ID recommended on section: Requirements
ID recommended on section: How to checkout
ID recommended on section: How to install
ERROR: xref linking to bootstrap has no generated link text.
Error: no ID for constraint linkend: bootstrap.
ID recommended on section: Subversion Repoman
ID recommended on section: Autoconf Macros: aclocal, libtool, and a...
ID recommended on section: Contributing
ID recommended on section: Committing your changes
Writing contribute.html for chapter(contribute)
Writing development.html for part(development)
Writing reference-manual.html for book(reference-manual)
ID recommended on section: Basics
ID recommended on section: Example: Add Blocks
ID recommended on section: Getting Used to Stratego
ID recommended on section: The Real Job
ID recommended on section: Source to Source Program
ID recommended on section: Conclusion
ID recommended on section: Example: Java Generation with Concrete S...
ID recommended on section: Basic Concrete Syntax Skills
ID recommended on section: The Structure is Out There
ID recommended on section: Using Anti-Quotation
ID recommended on section: More Variability
ID recommended on section: Using Meta Variables
Writing java-front.html for chapter(java-front)
ID recommended on section: Linking with the Dryad Library
ID recommended on section: Compilation in Automake Package
ID recommended on section: Standalone Compilation at Command-line
ID recommended on section: Explanation
ID recommended on section: Dryad on Mac OS X
ID recommended on section: Installing Dryad using Nix
ID recommended on section: Dryad on Mac OS X 10.3
Writing dryad.html for chapter(dryad)
Writing java-in-stratego.html for book(java-in-stratego)
Writing index.html for set
make[2]: Leaving directory `/tmp/nix-build-c3650r1ky5hxh292knrlmi58q71srnbh-source-tarball.drv-0/cvjsqxlirc37iyck84qg6d87kh2fp9ll-svn-export/html/chunk-chapter'
Making all in chunk-part
make[2]: Entering directory `/tmp/nix-build-c3650r1ky5hxh292knrlmi58q71srnbh-source-tarball.drv-0/cvjsqxlirc37iyck84qg6d87kh2fp9ll-svn-export/html/chunk-part'
building index.html
if test "true" = "true"; then \
	  xsltproc --param html.stylesheet \'style.css\' --param use.id.as.filename \'1\' --param chunk.chapter \'0\' --param chunk.part \'1\' --param chunk.book \'1\' --param chunk.section.depth \'0\' --param toc.max.depth \'3\' --param toc.section.depth 2 --param xref.with.number.and.title 0 --param section.label.includes.component.label 2 --param section.autolabel 1 --param keep.relative.image.uris 0 --output index.html --path /nix/store/jl425adp20q658cby3xi56n65h8sbw18-docbook-xsl-1.72.0/xml/xsl/docbook/html ../../xslt/chunk/flexchunk.xsl ../../doc/book.docbook ; \
	else \
	  xsltproc --param html.stylesheet \'style.css\' --param use.id.as.filename \'1\' --param chunk.chapter \'0\' --param chunk.part \'1\' --param chunk.book \'1\' --param chunk.section.depth \'0\' --param toc.max.depth \'3\' --param toc.section.depth 2 --param xref.with.number.and.title 0 --param section.label.includes.component.label 2 --param section.autolabel 1 --param keep.relative.image.uris 0 --output index.html /nix/store/jl425adp20q658cby3xi56n65h8sbw18-docbook-xsl-1.72.0/xml/xsl/docbook/html/docbook.xsl ../../doc/book.docbook ; \
	fi
Stripping namespace from DocBook 5 document.
WARNING: cannot add @xml:base to node set root element.  Relative paths may not work.
Processing stripped document.
ID recommended on section: What is Software Transformation?
ID recommended on section: What is Stratego/XT?
ID recommended on section: Outline
ID recommended on section: What do I Need?
ID recommended on section: Instructions
ID recommended on section: Using Source Distributions
ID recommended on section: Installation of aterm and sdf2-bundle
ID recommended on section: Installation of Stratego/XT
ID recommended on section: Installation of Stratego Shell, Java Fro...
ID recommended on section: Using Binary RPMs
ID recommended on section: Using the Nix Deployment System
Writing tutorial-introduction.html for part(tutorial-introduction)
ID recommended on section: Tools as Transformation Components
ID recommended on section: Grammar Oriented
ID recommended on section: Being on Good Terms with Trees
ID recommended on section: Annotated Term Format
ID recommended on section: Inspecting Terms
ID recommended on section: Maximal Sharing (*)
ID recommended on section: Exchange Format
ID recommended on section: ATerm Library
ID recommended on section: Context-free Grammars
ID recommended on section: Abstract Syntax Trees
ID recommended on section: From Concepts to Practice: Generating a ...
ID recommended on section: From Modules to Definition
ID recommended on section: Generating a Parser
ID recommended on section: Invoking the Parser
ID recommended on section: SDF: The Basics
ID recommended on section: Modules
ID recommended on section: Start Symbols
ID recommended on section: Sorts
ID recommended on section: Syntax
ID recommended on section: Disambiguation
ID recommended on section: Syntax
ID recommended on section: Lexical and Context-free Syntax
ID recommended on section: Productions, Sorts, and Symbols
ID recommended on section: Symbols and Regular Expressions
ERROR: xref linking to section-sdf-literals has no generated link text.
Error: no ID for constraint linkend: section-sdf-literals.
ID recommended on example: Examples of Character Classes
ID recommended on section: Simple Whitespace
ID recommended on section: Reserving Keywords
ID recommended on section: Longest Match
ID recommended on section: Keywords
ID recommended on section: Integer Literals
ID recommended on section: Floating-Point Literals
ID recommended on section: Comments
ID recommended on section: End-of-line Comment
ID recommended on section: Traditional Block Comment
ID recommended on section: Balanced Block Comments
ID recommended on section: Examples: Defining Context-Free Syntax
ID recommended on section: Expressions
ID recommended on section: Constructor Attributes and Abstract Synt...
ID recommended on section: Ambiguities in Expressions
ID recommended on section: Associativity and Priorities
ID recommended on section: Group Associativity
ID recommended on section: Priorities and Hedged Symbols
ID recommended on section: Array Creation and Access Ambiguity
ID recommended on section: Statements
ID recommended on section: Dangling Else
ID recommended on section: Whitespace and Comments
ID recommended on section: Usage example
ID recommended on section: Syntax Definition
ID recommended on section: Parse Testsuite
ID recommended on section: Running the Parse Testsuite
ID recommended on section: Parse Testsuite Syntax
ID recommended on section: Debugging Support
ID recommended on section: Invocation in Automake
ID recommended on chapter: Advanced Topics in Syntax Definition (*)
ID recommended on section: Combining Languages
ID recommended on section: Advanced Module Features
ID recommended on section: Renaming Symbols
ID recommended on section: Parameterized Modules
ID recommended on example: Parameterized Module for Regular Express...
ID recommended on section: Hiding Grammars
ID recommended on section: Context-sensitive Lexical Syntax
ID recommended on section: Explicit versus Implicit Ambiguities
ID recommended on section: Performance Tips and Tricks
ID recommended on section: Regular Tree Grammars
ID recommended on section: Generating Code from an RTG
ID recommended on section: Creating a Subset of a Regular Tree Gram...
ID recommended on section: Introduction
ID recommended on section: Example
ID recommended on section: Signatures (todo: imported)
ERROR: xref linking to Fig-Expressions.sdf has no generated link text.
Error: no ID for constraint linkend: Fig-Expressions.sdf.
ID recommended on section: Signature Tools (todo: imported)
ID recommended on section: Pretty-Print Table Generation
ID recommended on section: Rule Selectors
ID recommended on section: Examples
ID recommended on section: Restoring Parenthesis
ID recommended on section: Pretty Printing using Stratego
ID recommended on section: Pretty-Printing (todo: imported)
ID recommended on section: Unparsing
ID recommended on section: Pretty-Printing
ID recommended on figure: 
      Pretty-printing of if-then-else s...
ID recommended on section: Disambiguation
ID recommended on section: Pretty-Printing and Term Visualization T...
Writing tutorial-xt.html for part(tutorial-xt)
ID recommended on partintro: Introduction
ID recommended on section: Annotated Term Format
ID recommended on section: Exchanging Terms
ID recommended on section: Inspecting Terms
ID recommended on section: Signatures
ID recommended on section: Compiling Stratego Programs
ID recommended on section: Combining Transformations
ID recommended on section: Summary
ID recommended on section: Transformation with Rewrite Rules
ID recommended on section: Adding Rules to a Rewrite System
ID recommended on section: Summary
ID recommended on section: Limitations of Term Rewriting
ID recommended on section: Attempt 1: Remodularization
ID recommended on section: Attempt 2: Functionalization
ID recommended on section: Programmable Rewriting Strategies
ID recommended on section: Idioms of Strategic Rewriting
ID recommended on section: Cascading Transformations
ID recommended on section: One-pass Traversals
ID recommended on section: Staged Transformations
ID recommended on section: Local  Transformations
ID recommended on section: Summary
ID recommended on section: What is a Rule?
ID recommended on section: What is a Strategy?
ID recommended on section: Strategy Definitions
ID recommended on section: Simple Strategy Definition and Call
ID recommended on section: Parameterized Definitions
ID recommended on section: Local Definitions
ID recommended on section: Extending Definitions
ID recommended on section: Calling Primitives
ID recommended on section: External Definitions
ID recommended on section: Dynamic Calls
ID recommended on section: Summary
ID recommended on section: Non-deterministic Choice
ID recommended on section: Recursion
ID recommended on section: Summary
ID recommended on section: Implementing Rewrite Rules
ID recommended on section: Anonymous Rewrite Rule
ID recommended on section: Term variable scope
ID recommended on section: Implicit Variable Scope
ID recommended on section: Where
ID recommended on section: Conditional rewrite rule
ID recommended on section: Lambda Rules
ID recommended on section: Apply and Match
ID recommended on section: Wrap and Project
ID recommended on section: Term Wrap
ID recommended on section: Term Project
ID recommended on section: Summary
ID recommended on section: Traversal Rules
ID recommended on section: Congruence Operators
ID recommended on section: Generic Traversal
ID recommended on section: Visiting All Subterms
ID recommended on section: Visiting One Subterm
ID recommended on section: Visiting Some Subterms
ID recommended on section: Full Traversals
ID recommended on section: Cascading Transformations
ID recommended on section: Mixing Generic and Specific Traversals
ID recommended on section: Partial Traversals
ID recommended on section: Path (*)
ID recommended on section: Recursive Patterns (*)
ID recommended on section: Dynamic programming (*)
ID recommended on section: Summary
ID recommended on section: Type Unifying List Transformations
ID recommended on section: Extending Fold to Expressions
ID recommended on section: Generic Term Deconstruction
ID recommended on section: Generic Term Construction
ID recommended on section: Summary
ID recommended on section: Instrumenting Programs
ID recommended on section: Observations about Concrete Syntax Speci...
ID recommended on section: Implementation
ID recommended on section: Extending the Meta Language
ID recommended on section: Meta-Variables
ID recommended on section: Meta-Explode
ID recommended on section: Discussion
ID recommended on section: Summary
Writing stratego-language.html for part(stratego-language)
ID recommended on section: Anatomy of the Stratego Library
ID recommended on section: Basic Operations
ID recommended on section: Number comparisons
ID recommended on section: Other Operations
ID recommended on section: Random Numbers
ID recommended on section: Summary
ID recommended on section: Making heads and tails of it
ID recommended on section: 
    Sorting
  
ID recommended on section: 
    Associative Lists
  
ID recommended on section: 
    Pairing Lists
  
ID recommended on section:   
    Lightweight Sets
  
ID recommended on section: Transforming Lists
ID recommended on section: Folding from the Left and Right
ID recommended on section: Summary
ID recommended on section: Basic String Operations
ID recommended on section: Sorting Strings
ID recommended on section: Strings and Terms
ID recommended on section: Strings and Numbers
ID recommended on chapter: Hashtables and Sets
ID recommended on section: 
    Hashtables
  
ID recommended on section: 
    Indexed Sets
  
ID recommended on section: Console I/O
ID recommended on section: Path and Directory Operations
ID recommended on section: File and Text I/O
ID recommended on section: Term I/O
ID recommended on section: Logging
ID recommended on section: Parsing Command-line Options
ID recommended on section: Adding Custom Options
ID recommended on section: Setting Description and About
ID recommended on section: I/O-less Programs
ID recommended on section: Setting up a test suite
ID recommended on section: Compare expected and actual output
ID recommended on section: Check for failure
ID recommended on section: Check arbitrary conditions on output
ID recommended on section: Unit testing with XTC
ID recommended on section: Basic Mechanisms of XTC
ID recommended on section: Registration of Programs and Data
ID recommended on section: Importing other Repositories
ID recommended on section: Searching Repositories
ID recommended on section: Composing Tools in Stratego
ID recommended on section: Making an XT component
ID recommended on section: Invoking XT components
ID recommended on section: Summary
ID recommended on section: Building stand-alone artifacts
ID recommended on section: Static linking
ID recommended on section: Setting up your Project
ID recommended on section: Building Stand-alone Stratego Applicatio...
ID recommended on section: Building Parse Tables, Tree Grammars and...
ID recommended on section: Building Your Own Stratego Library
ID recommended on section: Compiling the Library
ID recommended on section: Using Your Library in Stratego Programs
ID recommended on section: Package Config Support
ID recommended on section: RPM Support
ID recommended on section: Summary
ID recommended on section: Debugging Stratego
ID recommended on section: Writing readable code
ID recommended on section: Debugging Stratego code
ID recommended on section: Common Pitfalls
ID recommended on section: Debugging XT compositions
ID recommended on section: Debugging SDF definitions
Writing stratego-library.html for part(stratego-library)
Writing tutorial.html for book(tutorial)
ID recommended on chapter: Introduction
ID recommended on section: Software Transformations
ID recommended on section: TIL: A Tiny Imperative Language
ID recommended on section: BibTeX Transformations
ID recommended on section: Tiger
ID recommended on section: Other Applications
ID recommended on sect1: TIL: a Tiny Imperative Language
ID recommended on sect1: Syntax Definition
ID recommended on sect2: Modules
ID recommended on sect3: Layout
Error: no ID for constraint linkend: ref-sdf-character-classes.
Error: no ID for constraint linkend: ref-sdf-follow-restriction.
ID recommended on sect3: Literals
Error: no ID for constraint linkend: ref-sdf-character-classes.
Error: no ID for constraint linkend: ref-sdf-regular-expressions.
ID recommended on sect3: Expressions
Error: no ID for constraint linkend: ref-sdf-associativity.
Error: no ID for constraint linkend: ref-sdf-priority.
ID recommended on sect3: Statements
ID recommended on sect3: Function and Procedure Calls
ID recommended on sect3: Programs
ID recommended on sect2: Parse Table Generation
ID recommended on sect1: Term Format
Error: no ID for constraint linkend: ref-aterms.
ID recommended on sect2: Regular Tree Grammars
ID recommended on sect2: Signatures
ID recommended on sect2: Format Checking
ID recommended on sect1: Pretty-Printing
ID recommended on sect2: Pretty-Print Table
ID recommended on sect2: Applying Pretty-Print Tables
ID recommended on sect2: Adapting the Pretty-Print Table
ID recommended on sect2: Restoring Parentheses
ID recommended on sect1: A Complete Pipeline
ID recommended on sect1: Constant Folding Rules
ID recommended on sect1: Desugaring Rules
ID recommended on sect1: Simplying by Term Rewriting
ID recommended on sect1: Compiling the Simplifier
ID recommended on sect1: Applying the Simplifier
ID recommended on table: files: til/xmpl/test1.til, til/xmpl/test...
ID recommended on chapter: Bound Variable Renaming (*)
ID recommended on sect1: Renaming Bound Variables
ID recommended on sect1: Example
ID recommended on table: files: til/xmpl/test1.til, til/xmpl/test...
ID recommended on chapter: Typechecking (*)
ID recommended on sect1: Typechecking
ID recommended on sect1: Example
ID recommended on table: files: til/xmpl/test1.til, til/xmpl/test...
ID recommended on chapter: Interpretation
ID recommended on sect1: Evaluating Expressions
ID recommended on sect1: Evaluating Variable Accesses
ID recommended on sect1: Evaluating Statements
ID recommended on sect1: The Complete Interpreter
ID recommended on sect1: Running TIL Programs
ID recommended on chapter: Data-flow Transformation (*)
ID recommended on sect1: Preliminaries
ID recommended on sect1: Constant Propagation
ID recommended on table: files: til/xmpl/propconst-test2.til, til...
ID recommended on sect1: Copy Propagation
ID recommended on table: files: til/xmpl/copyprop-test2.til, til/...
ID recommended on sect1: Reverse Copy Propagation
ID recommended on sect1: Common-subexpression Elimination
ID recommended on table: files: til/xmpl/cse-test2.til, til/xmpl/...
ID recommended on sect1: Forward Substitution
ID recommended on sect1: Dead Code Elimination
ID recommended on table: files: til/xmpl/dce-test2.til, til/xmpl/...
ID recommended on sect1: Compiling the Transformations
ID recommended on chapter: Typestate Checking
ID recommended on chapter: Expression Blocks (*)
ID recommended on sect1: Syntax of Expression Blocks
ID recommended on sect1: Desugaring Expression Blocks
ID recommended on sect1: Example
ID recommended on table: files: til/xmpl/eblock-desugar-test2.til...
ID recommended on table: files: til/xmpl/eblock-desugar-test2.txt...
Writing tutorial-til.html for part(tutorial-til)
ID recommended on partintro: Work in Progress
ID recommended on section
ID recommended on section
ID recommended on section
ID recommended on section
ID recommended on section
ID recommended on section
Writing tutorial-bibtex.html for part(tutorial-bibtex)
Writing examples.html for book(examples)
ID recommended on partintro: Work in Progress
ID recommended on chapter: Stratego Core (*)
ID recommended on chapter: Syntactic Abstractions (*)
ID recommended on chapter: Dynamic Rules (*)
Writing stratego-lang-ref.html for part(stratego-lang-ref)
Writing ref-abox2text.html for refentry(ref-abox2text)
Writing ref-asfix-yield.html for refentry(ref-asfix-yield)
Writing ref-ast2abox.html for refentry(ref-ast2abox)
Writing ref-ast2text.html for refentry(ref-ast2text)
Writing ref-aterm2xml.html for refentry(ref-aterm2xml)
Writing ref-autoxt.html for refentry(ref-autoxt)
Writing ref-baffle.html for refentry(ref-baffle)
Writing ref-format-check.html for refentry(ref-format-check)
Writing ref-gen-renamed-sdf-module.html for refentry(ref-gen-renamed-sdf-module)
Error: no ID for constraint linkend: asfix.
Writing ref-implode-asfix.html for refentry(ref-implode-asfix)
Writing ref-pack-sdf.html for refentry(ref-pack-sdf)
Writing ref-parse-box.html for refentry(ref-parse-box)
Writing ref-parse-cs.html for refentry(ref-parse-cs)
Writing ref-parse-c.html for refentry(ref-parse-c)
Writing ref-parse-pp-table.html for refentry(ref-parse-pp-table)
Writing ref-parse-rtg.html for refentry(ref-parse-rtg)
Writing ref-parse-sdf-definition.html for refentry(ref-parse-sdf-definition)
Writing ref-parse-sdf-module.html for refentry(ref-parse-sdf-module)
Writing ref-parse-stratego.html for refentry(ref-parse-stratego)
Writing ref-parse-unit.html for refentry(ref-parse-unit)
Writing ref-parse-xml-doc.html for refentry(ref-parse-xml-doc)
Writing ref-parse-xml-info.html for refentry(ref-parse-xml-info)
Writing ref-pp-aterm.html for refentry(ref-pp-aterm)
Writing ref-pp-box.html for refentry(ref-pp-box)
Writing ref-pp-c.html for refentry(ref-pp-c)
Writing ref-ppgen.html for refentry(ref-ppgen)
Writing ref-pp-pp-table.html for refentry(ref-pp-pp-table)
Writing ref-pp-rtg.html for refentry(ref-pp-rtg)
Writing ref-pp-sdf.html for refentry(ref-pp-sdf)
Writing ref-pp-stratego.html for refentry(ref-pp-stratego)
Writing ref-pptable-diff.html for refentry(ref-pptable-diff)
Writing ref-pp-xml-doc.html for refentry(ref-pp-xml-doc)
Writing ref-pp-xml-info.html for refentry(ref-pp-xml-info)
Writing ref-pretty-stratego.html for refentry(ref-pretty-stratego)
Writing ref-rtg2sig.html for refentry(ref-rtg2sig)
Writing ref-rtg2typematch.html for refentry(ref-rtg2typematch)
Writing ref-rtg-script.html for refentry(ref-rtg-script)
Writing ref-sdf2parenthesize.html for refentry(ref-sdf2parenthesize)
Writing ref-sdf2rtg.html for refentry(ref-sdf2rtg)
Writing ref-sdf2table.html for refentry(ref-sdf2table)
Writing ref-sglri.html for refentry(ref-sglri)
Writing ref-sglr.html for refentry(ref-sglr)
Writing ref-strc.html for refentry(ref-strc)
Writing ref-stratego-shell.html for refentry(ref-stratego-shell)
Writing ref-unpack-sdf.html for refentry(ref-unpack-sdf)
Writing ref-visamb.html for refentry(ref-visamb)
Writing ref-xtc.html for refentry(ref-xtc)
Writing ref-xml2aterm.html for refentry(ref-xml2aterm)
ID recommended on section: The Big Picture
ID recommended on section: Issue Tracker
ID recommended on section: Build Farm
ID recommended on section: Mailing Lists
ID recommended on section: What is a baseline and why do I need it?
ID recommended on section: Baseline restrictions
ID recommended on section: Baseline upgrading
ID recommended on section: Submitting your changes
Link element has no content and no Endterm. Nothing to show in the link to installation
ID recommended on section: Requirements
ID recommended on section: How to checkout
ID recommended on section: How to install
ERROR: xref linking to bootstrap has no generated link text.
Error: no ID for constraint linkend: bootstrap.
ID recommended on section: Subversion Repoman
ID recommended on section: Autoconf Macros: aclocal, libtool, and a...
ID recommended on section: Contributing
ID recommended on section: Committing your changes
Writing development.html for part(development)
Writing reference-manual.html for book(reference-manual)
ID recommended on section: Basics
ID recommended on section: Example: Add Blocks
ID recommended on section: Getting Used to Stratego
ID recommended on section: The Real Job
ID recommended on section: Source to Source Program
ID recommended on section: Conclusion
ID recommended on section: Example: Java Generation with Concrete S...
ID recommended on section: Basic Concrete Syntax Skills
ID recommended on section: The Structure is Out There
ID recommended on section: Using Anti-Quotation
ID recommended on section: More Variability
ID recommended on section: Using Meta Variables
ID recommended on section: Linking with the Dryad Library
ID recommended on section: Compilation in Automake Package
ID recommended on section: Standalone Compilation at Command-line
ID recommended on section: Explanation
ID recommended on section: Dryad on Mac OS X
ID recommended on section: Installing Dryad using Nix
ID recommended on section: Dryad on Mac OS X 10.3
Writing java-in-stratego.html for book(java-in-stratego)
Writing index.html for set
make[2]: Leaving directory `/tmp/nix-build-c3650r1ky5hxh292knrlmi58q71srnbh-source-tarball.drv-0/cvjsqxlirc37iyck84qg6d87kh2fp9ll-svn-export/html/chunk-part'
Making all in one-page
make[2]: Entering directory `/tmp/nix-build-c3650r1ky5hxh292knrlmi58q71srnbh-source-tarball.drv-0/cvjsqxlirc37iyck84qg6d87kh2fp9ll-svn-export/html/one-page'
building index.html
if test "false" = "true"; then \
	  xsltproc --param html.stylesheet \'style.css\' --param toc.max.depth \'3\' --param toc.section.depth 2 --param xref.with.number.and.title 0 --param section.label.includes.component.label 2 --param section.autolabel 1 --output index.html --path /nix/store/jl425adp20q658cby3xi56n65h8sbw18-docbook-xsl-1.72.0/xml/xsl/docbook/html ../../xslt/chunk/flexchunk.xsl ../../doc/book.docbook ; \
	else \
	  xsltproc --param html.stylesheet \'style.css\' --param toc.max.depth \'3\' --param toc.section.depth 2 --param xref.with.number.and.title 0 --param section.label.includes.component.label 2 --param section.autolabel 1 --output index.html /nix/store/jl425adp20q658cby3xi56n65h8sbw18-docbook-xsl-1.72.0/xml/xsl/docbook/html/docbook.xsl ../../doc/book.docbook ; \
	fi
Stripping namespace from DocBook 5 document.
WARNING: cannot add @xml:base to node set root element.  Relative paths may not work.
Processing stripped document.
ID recommended on section: What is Software Transformation?
ID recommended on section: What is Stratego/XT?
ID recommended on section: Outline
ID recommended on section: What do I Need?
ID recommended on section: Instructions
ID recommended on section: Using Source Distributions
ID recommended on section: Installation of aterm and sdf2-bundle
ID recommended on section: Installation of Stratego/XT
ID recommended on section: Installation of Stratego Shell, Java Fro...
ID recommended on section: Using Binary RPMs
ID recommended on section: Using the Nix Deployment System
ID recommended on section: Tools as Transformation Components
ID recommended on section: Grammar Oriented
ID recommended on section: Being on Good Terms with Trees
ID recommended on section: Annotated Term Format
ID recommended on section: Inspecting Terms
ID recommended on section: Maximal Sharing (*)
ID recommended on section: Exchange Format
ID recommended on section: ATerm Library
ID recommended on section: Context-free Grammars
ID recommended on section: Abstract Syntax Trees
ID recommended on section: From Concepts to Practice: Generating a ...
ID recommended on section: From Modules to Definition
ID recommended on section: Generating a Parser
ID recommended on section: Invoking the Parser
ID recommended on section: SDF: The Basics
ID recommended on section: Modules
ID recommended on section: Start Symbols
ID recommended on section: Sorts
ID recommended on section: Syntax
ID recommended on section: Disambiguation
ID recommended on section: Syntax
ID recommended on section: Lexical and Context-free Syntax
ID recommended on section: Productions, Sorts, and Symbols
ID recommended on section: Symbols and Regular Expressions
ERROR: xref linking to section-sdf-literals has no generated link text.
Error: no ID for constraint linkend: section-sdf-literals.
ID recommended on example: Examples of Character Classes
ID recommended on section: Simple Whitespace
ID recommended on section: Reserving Keywords
ID recommended on section: Longest Match
ID recommended on section: Keywords
ID recommended on section: Integer Literals
ID recommended on section: Floating-Point Literals
ID recommended on section: Comments
ID recommended on section: End-of-line Comment
ID recommended on section: Traditional Block Comment
ID recommended on section: Balanced Block Comments
ID recommended on section: Examples: Defining Context-Free Syntax
ID recommended on section: Expressions
ID recommended on section: Constructor Attributes and Abstract Synt...
ID recommended on section: Ambiguities in Expressions
ID recommended on section: Associativity and Priorities
ID recommended on section: Group Associativity
ID recommended on section: Priorities and Hedged Symbols
ID recommended on section: Array Creation and Access Ambiguity
ID recommended on section: Statements
ID recommended on section: Dangling Else
ID recommended on section: Whitespace and Comments
ID recommended on section: Usage example
ID recommended on section: Syntax Definition
ID recommended on section: Parse Testsuite
ID recommended on section: Running the Parse Testsuite
ID recommended on section: Parse Testsuite Syntax
ID recommended on section: Debugging Support
ID recommended on section: Invocation in Automake
ID recommended on chapter: Advanced Topics in Syntax Definition (*)
ID recommended on section: Combining Languages
ID recommended on section: Advanced Module Features
ID recommended on section: Renaming Symbols
ID recommended on section: Parameterized Modules
ID recommended on example: Parameterized Module for Regular Express...
ID recommended on section: Hiding Grammars
ID recommended on section: Context-sensitive Lexical Syntax
ID recommended on section: Explicit versus Implicit Ambiguities
ID recommended on section: Performance Tips and Tricks
ID recommended on section: Regular Tree Grammars
ID recommended on section: Generating Code from an RTG
ID recommended on section: Creating a Subset of a Regular Tree Gram...
ID recommended on section: Introduction
ID recommended on section: Example
ID recommended on section: Signatures (todo: imported)
ERROR: xref linking to Fig-Expressions.sdf has no generated link text.
Error: no ID for constraint linkend: Fig-Expressions.sdf.
ID recommended on section: Signature Tools (todo: imported)
ID recommended on section: Pretty-Print Table Generation
ID recommended on section: Rule Selectors
ID recommended on section: Examples
ID recommended on section: Restoring Parenthesis
ID recommended on section: Pretty Printing using Stratego
ID recommended on section: Pretty-Printing (todo: imported)
ID recommended on section: Unparsing
ID recommended on section: Pretty-Printing
ID recommended on figure: 
      Pretty-printing of if-then-else s...
ID recommended on section: Disambiguation
ID recommended on section: Pretty-Printing and Term Visualization T...
ID recommended on partintro: Introduction
ID recommended on section: Annotated Term Format
ID recommended on section: Exchanging Terms
ID recommended on section: Inspecting Terms
ID recommended on section: Signatures
ID recommended on section: Compiling Stratego Programs
ID recommended on section: Combining Transformations
ID recommended on section: Summary
ID recommended on section: Transformation with Rewrite Rules
ID recommended on section: Adding Rules to a Rewrite System
ID recommended on section: Summary
ID recommended on section: Limitations of Term Rewriting
ID recommended on section: Attempt 1: Remodularization
ID recommended on section: Attempt 2: Functionalization
ID recommended on section: Programmable Rewriting Strategies
ID recommended on section: Idioms of Strategic Rewriting
ID recommended on section: Cascading Transformations
ID recommended on section: One-pass Traversals
ID recommended on section: Staged Transformations
ID recommended on section: Local  Transformations
ID recommended on section: Summary
ID recommended on section: What is a Rule?
ID recommended on section: What is a Strategy?
ID recommended on section: Strategy Definitions
ID recommended on section: Simple Strategy Definition and Call
ID recommended on section: Parameterized Definitions
ID recommended on section: Local Definitions
ID recommended on section: Extending Definitions
ID recommended on section: Calling Primitives
ID recommended on section: External Definitions
ID recommended on section: Dynamic Calls
ID recommended on section: Summary
ID recommended on section: Non-deterministic Choice
ID recommended on section: Recursion
ID recommended on section: Summary
ID recommended on section: Implementing Rewrite Rules
ID recommended on section: Anonymous Rewrite Rule
ID recommended on section: Term variable scope
ID recommended on section: Implicit Variable Scope
ID recommended on section: Where
ID recommended on section: Conditional rewrite rule
ID recommended on section: Lambda Rules
ID recommended on section: Apply and Match
ID recommended on section: Wrap and Project
ID recommended on section: Term Wrap
ID recommended on section: Term Project
ID recommended on section: Summary
ID recommended on section: Traversal Rules
ID recommended on section: Congruence Operators
ID recommended on section: Generic Traversal
ID recommended on section: Visiting All Subterms
ID recommended on section: Visiting One Subterm
ID recommended on section: Visiting Some Subterms
ID recommended on section: Full Traversals
ID recommended on section: Cascading Transformations
ID recommended on section: Mixing Generic and Specific Traversals
ID recommended on section: Partial Traversals
ID recommended on section: Path (*)
ID recommended on section: Recursive Patterns (*)
ID recommended on section: Dynamic programming (*)
ID recommended on section: Summary
ID recommended on section: Type Unifying List Transformations
ID recommended on section: Extending Fold to Expressions
ID recommended on section: Generic Term Deconstruction
ID recommended on section: Generic Term Construction
ID recommended on section: Summary
ID recommended on section: Instrumenting Programs
ID recommended on section: Observations about Concrete Syntax Speci...
ID recommended on section: Implementation
ID recommended on section: Extending the Meta Language
ID recommended on section: Meta-Variables
ID recommended on section: Meta-Explode
ID recommended on section: Discussion
ID recommended on section: Summary
ID recommended on section: Anatomy of the Stratego Library
ID recommended on section: Basic Operations
ID recommended on section: Number comparisons
ID recommended on section: Other Operations
ID recommended on section: Random Numbers
ID recommended on section: Summary
ID recommended on section: Making heads and tails of it
ID recommended on section: 
    Sorting
  
ID recommended on section: 
    Associative Lists
  
ID recommended on section: 
    Pairing Lists
  
ID recommended on section:   
    Lightweight Sets
  
ID recommended on section: Transforming Lists
ID recommended on section: Folding from the Left and Right
ID recommended on section: Summary
ID recommended on section: Basic String Operations
ID recommended on section: Sorting Strings
ID recommended on section: Strings and Terms
ID recommended on section: Strings and Numbers
ID recommended on chapter: Hashtables and Sets
ID recommended on section: 
    Hashtables
  
ID recommended on section: 
    Indexed Sets
  
ID recommended on section: Console I/O
ID recommended on section: Path and Directory Operations
ID recommended on section: File and Text I/O
ID recommended on section: Term I/O
ID recommended on section: Logging
ID recommended on section: Parsing Command-line Options
ID recommended on section: Adding Custom Options
ID recommended on section: Setting Description and About
ID recommended on section: I/O-less Programs
ID recommended on section: Setting up a test suite
ID recommended on section: Compare expected and actual output
ID recommended on section: Check for failure
ID recommended on section: Check arbitrary conditions on output
ID recommended on section: Unit testing with XTC
ID recommended on section: Basic Mechanisms of XTC
ID recommended on section: Registration of Programs and Data
ID recommended on section: Importing other Repositories
ID recommended on section: Searching Repositories
ID recommended on section: Composing Tools in Stratego
ID recommended on section: Making an XT component
ID recommended on section: Invoking XT components
ID recommended on section: Summary
ID recommended on section: Building stand-alone artifacts
ID recommended on section: Static linking
ID recommended on section: Setting up your Project
ID recommended on section: Building Stand-alone Stratego Applicatio...
ID recommended on section: Building Parse Tables, Tree Grammars and...
ID recommended on section: Building Your Own Stratego Library
ID recommended on section: Compiling the Library
ID recommended on section: Using Your Library in Stratego Programs
ID recommended on section: Package Config Support
ID recommended on section: RPM Support
ID recommended on section: Summary
ID recommended on section: Debugging Stratego
ID recommended on section: Writing readable code
ID recommended on section: Debugging Stratego code
ID recommended on section: Common Pitfalls
ID recommended on section: Debugging XT compositions
ID recommended on section: Debugging SDF definitions
ID recommended on chapter: Introduction
ID recommended on section: Software Transformations
ID recommended on section: TIL: A Tiny Imperative Language
ID recommended on section: BibTeX Transformations
ID recommended on section: Tiger
ID recommended on section: Other Applications
ID recommended on sect1: TIL: a Tiny Imperative Language
ID recommended on sect1: Syntax Definition
ID recommended on sect2: Modules
ID recommended on sect3: Layout
Error: no ID for constraint linkend: ref-sdf-character-classes.
Error: no ID for constraint linkend: ref-sdf-follow-restriction.
ID recommended on sect3: Literals
Error: no ID for constraint linkend: ref-sdf-character-classes.
Error: no ID for constraint linkend: ref-sdf-regular-expressions.
ID recommended on sect3: Expressions
Error: no ID for constraint linkend: ref-sdf-associativity.
Error: no ID for constraint linkend: ref-sdf-priority.
ID recommended on sect3: Statements
ID recommended on sect3: Function and Procedure Calls
ID recommended on sect3: Programs
ID recommended on sect2: Parse Table Generation
ID recommended on sect1: Term Format
Error: no ID for constraint linkend: ref-aterms.
ID recommended on sect2: Regular Tree Grammars
ID recommended on sect2: Signatures
ID recommended on sect2: Format Checking
ID recommended on sect1: Pretty-Printing
ID recommended on sect2: Pretty-Print Table
ID recommended on sect2: Applying Pretty-Print Tables
ID recommended on sect2: Adapting the Pretty-Print Table
ID recommended on sect2: Restoring Parentheses
ID recommended on sect1: A Complete Pipeline
ID recommended on sect1: Constant Folding Rules
ID recommended on sect1: Desugaring Rules
ID recommended on sect1: Simplying by Term Rewriting
ID recommended on sect1: Compiling the Simplifier
ID recommended on sect1: Applying the Simplifier
ID recommended on table: files: til/xmpl/test1.til, til/xmpl/test...
ID recommended on chapter: Bound Variable Renaming (*)
ID recommended on sect1: Renaming Bound Variables
ID recommended on sect1: Example
ID recommended on table: files: til/xmpl/test1.til, til/xmpl/test...
ID recommended on chapter: Typechecking (*)
ID recommended on sect1: Typechecking
ID recommended on sect1: Example
ID recommended on table: files: til/xmpl/test1.til, til/xmpl/test...
ID recommended on chapter: Interpretation
ID recommended on sect1: Evaluating Expressions
ID recommended on sect1: Evaluating Variable Accesses
ID recommended on sect1: Evaluating Statements
ID recommended on sect1: The Complete Interpreter
ID recommended on sect1: Running TIL Programs
ID recommended on chapter: Data-flow Transformation (*)
ID recommended on sect1: Preliminaries
ID recommended on sect1: Constant Propagation
ID recommended on table: files: til/xmpl/propconst-test2.til, til...
ID recommended on sect1: Copy Propagation
ID recommended on table: files: til/xmpl/copyprop-test2.til, til/...
ID recommended on sect1: Reverse Copy Propagation
ID recommended on sect1: Common-subexpression Elimination
ID recommended on table: files: til/xmpl/cse-test2.til, til/xmpl/...
ID recommended on sect1: Forward Substitution
ID recommended on sect1: Dead Code Elimination
ID recommended on table: files: til/xmpl/dce-test2.til, til/xmpl/...
ID recommended on sect1: Compiling the Transformations
ID recommended on chapter: Typestate Checking
ID recommended on chapter: Expression Blocks (*)
ID recommended on sect1: Syntax of Expression Blocks
ID recommended on sect1: Desugaring Expression Blocks
ID recommended on sect1: Example
ID recommended on table: files: til/xmpl/eblock-desugar-test2.til...
ID recommended on table: files: til/xmpl/eblock-desugar-test2.txt...
ID recommended on partintro: Work in Progress
ID recommended on section
ID recommended on section
ID recommended on section
ID recommended on section
ID recommended on section
ID recommended on section
ID recommended on partintro: Work in Progress
ID recommended on chapter: Stratego Core (*)
ID recommended on chapter: Syntactic Abstractions (*)
ID recommended on chapter: Dynamic Rules (*)
Error: no ID for constraint linkend: asfix.
ID recommended on section: The Big Picture
ID recommended on section: Issue Tracker
ID recommended on section: Build Farm
ID recommended on section: Mailing Lists
ID recommended on section: What is a baseline and why do I need it?
ID recommended on section: Baseline restrictions
ID recommended on section: Baseline upgrading
ID recommended on section: Submitting your changes
Link element has no content and no Endterm. Nothing to show in the link to installation
ID recommended on section: Requirements
ID recommended on section: How to checkout
ID recommended on section: How to install
ERROR: xref linking to bootstrap has no generated link text.
Error: no ID for constraint linkend: bootstrap.
ID recommended on section: Subversion Repoman
ID recommended on section: Autoconf Macros: aclocal, libtool, and a...
ID recommended on section: Contributing
ID recommended on section: Committing your changes
ID recommended on section: Basics
ID recommended on section: Example: Add Blocks
ID recommended on section: Getting Used to Stratego
ID recommended on section: The Real Job
ID recommended on section: Source to Source Program
ID recommended on section: Conclusion
ID recommended on section: Example: Java Generation with Concrete S...
ID recommended on section: Basic Concrete Syntax Skills
ID recommended on section: The Structure is Out There
ID recommended on section: Using Anti-Quotation
ID recommended on section: More Variability
ID recommended on section: Using Meta Variables
ID recommended on section: Linking with the Dryad Library
ID recommended on section: Compilation in Automake Package
ID recommended on section: Standalone Compilation at Command-line
ID recommended on section: Explanation
ID recommended on section: Dryad on Mac OS X
ID recommended on section: Installing Dryad using Nix
ID recommended on section: Dryad on Mac OS X 10.3
make[2]: Leaving directory `/tmp/nix-build-c3650r1ky5hxh292knrlmi58q71srnbh-source-tarball.drv-0/cvjsqxlirc37iyck84qg6d87kh2fp9ll-svn-export/html/one-page'
make[2]: Entering directory `/tmp/nix-build-c3650r1ky5hxh292knrlmi58q71srnbh-source-tarball.drv-0/cvjsqxlirc37iyck84qg6d87kh2fp9ll-svn-export/html'
make[2]: Nothing to be done for `all-am'.
make[2]: Leaving directory `/tmp/nix-build-c3650r1ky5hxh292knrlmi58q71srnbh-source-tarball.drv-0/cvjsqxlirc37iyck84qg6d87kh2fp9ll-svn-export/html'
make[1]: Leaving directory `/tmp/nix-build-c3650r1ky5hxh292knrlmi58q71srnbh-source-tarball.drv-0/cvjsqxlirc37iyck84qg6d87kh2fp9ll-svn-export/html'
Making all in man
make[1]: Entering directory `/tmp/nix-build-c3650r1ky5hxh292knrlmi58q71srnbh-source-tarball.drv-0/cvjsqxlirc37iyck84qg6d87kh2fp9ll-svn-export/man'
make[1]: Nothing to be done for `all'.
make[1]: Leaving directory `/tmp/nix-build-c3650r1ky5hxh292knrlmi58q71srnbh-source-tarball.drv-0/cvjsqxlirc37iyck84qg6d87kh2fp9ll-svn-export/man'
Making all in pdf
make[1]: Entering directory `/tmp/nix-build-c3650r1ky5hxh292knrlmi58q71srnbh-source-tarball.drv-0/cvjsqxlirc37iyck84qg6d87kh2fp9ll-svn-export/pdf'
make[1]: Nothing to be done for `all'.
make[1]: Leaving directory `/tmp/nix-build-c3650r1ky5hxh292knrlmi58q71srnbh-source-tarball.drv-0/cvjsqxlirc37iyck84qg6d87kh2fp9ll-svn-export/pdf'
make[1]: Entering directory `/tmp/nix-build-c3650r1ky5hxh292knrlmi58q71srnbh-source-tarball.drv-0/cvjsqxlirc37iyck84qg6d87kh2fp9ll-svn-export'
make[1]: Nothing to be done for `all-am'.
make[1]: Leaving directory `/tmp/nix-build-c3650r1ky5hxh292knrlmi58q71srnbh-source-tarball.drv-0/cvjsqxlirc37iyck84qg6d87kh2fp9ll-svn-export'