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
^ 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'