dist flags: building distdir { test ! -d aterm-2.5 || { find aterm-2.5 -type d ! -perm -200 -exec chmod u+w {} ';' && rm -fr aterm-2.5; }; } mkdir aterm-2.5 mkdir -p -- aterm-2.5/. list='aterm utils test doc'; for subdir in $list; do \ if test "$subdir" = .; then :; else \ test -d "aterm-2.5/$subdir" \ || mkdir -p -- "aterm-2.5/$subdir" \ || exit 1; \ distdir=`CDPATH="${ZSH_VERSION+.}:" && cd aterm-2.5 && pwd`; \ top_distdir=`CDPATH="${ZSH_VERSION+.}:" && cd aterm-2.5 && pwd`; \ (cd $subdir && \ make \ top_distdir="$top_distdir" \ distdir="$distdir/$subdir" \ distdir) \ || exit 1; \ fi; \ done make[1]: Entering directory `/tmp/nix-build-8fv97x92dd7jzidf5ad5j8yjnxi21v78-source-tarball.drv-0/adwp0x4fh8swckxffsh69448hcs7jb8w-svn-export/aterm' building distdir make[1]: Leaving directory `/tmp/nix-build-8fv97x92dd7jzidf5ad5j8yjnxi21v78-source-tarball.drv-0/adwp0x4fh8swckxffsh69448hcs7jb8w-svn-export/aterm' make[1]: Entering directory `/tmp/nix-build-8fv97x92dd7jzidf5ad5j8yjnxi21v78-source-tarball.drv-0/adwp0x4fh8swckxffsh69448hcs7jb8w-svn-export/utils' building distdir make[1]: Leaving directory `/tmp/nix-build-8fv97x92dd7jzidf5ad5j8yjnxi21v78-source-tarball.drv-0/adwp0x4fh8swckxffsh69448hcs7jb8w-svn-export/utils' make[1]: Entering directory `/tmp/nix-build-8fv97x92dd7jzidf5ad5j8yjnxi21v78-source-tarball.drv-0/adwp0x4fh8swckxffsh69448hcs7jb8w-svn-export/test' building distdir mkdir -p -- /tmp/nix-build-8fv97x92dd7jzidf5ad5j8yjnxi21v78-source-tarball.drv-0/adwp0x4fh8swckxffsh69448hcs7jb8w-svn-export/aterm-2.5/test/.. make[1]: Leaving directory `/tmp/nix-build-8fv97x92dd7jzidf5ad5j8yjnxi21v78-source-tarball.drv-0/adwp0x4fh8swckxffsh69448hcs7jb8w-svn-export/test' make[1]: Entering directory `/tmp/nix-build-8fv97x92dd7jzidf5ad5j8yjnxi21v78-source-tarball.drv-0/adwp0x4fh8swckxffsh69448hcs7jb8w-svn-export/doc' building at.ps make at.dvi make[2]: Entering directory `/tmp/nix-build-8fv97x92dd7jzidf5ad5j8yjnxi21v78-source-tarball.drv-0/adwp0x4fh8swckxffsh69448hcs7jb8w-svn-export/doc' building header.eps fig2dev -Leps header.fig header.eps building encoding.eps fig2dev -Leps encoding.fig encoding.eps building hierarchy.eps fig2dev -Leps hierarchy.fig hierarchy.eps building at.dvi TEXINPUTS=$TEXINPUTS:. ;\ export TEXINPUTS ;\ latex at.ltx ;\ fgrep -s 'LaTeX Warning: Citation' at.log && bibtex at && latex at.ltx ;\ while fgrep -s 'Rerun to get cross-references right' at.log ;\ do \ TEXINPUTS=$TEXINPUTS:. ;\ latex at.ltx ;\ done This is pdfeTeX, Version 3.141592-1.21a-2.2 (Web2C 7.5.4) entering extended mode (./at.ltx LaTeX2e <2003/12/01> Babel and hyphenation patterns for american, french, german, ngerman, b ahasa, basque, bulgarian, catalan, croatian, czech, danish, dutch, esperanto, e stonian, finnish, greek, icelandic, irish, italian, latin, magyar, norsk, polis h, portuges, romanian, russian, serbian, slovak, slovene, spanish, swedish, tur kish, ukrainian, nohyphenation, loaded. (/nix/store/8z6c6s3zg8livm85xrc360z91c1gzwrr-tetex-3.0/share/texmf-dist/tex/lat ex/base/article.cls Document Class: article 2004/02/16 v1.4f Standard LaTeX document class (/nix/store/8z6c6s3zg8livm85xrc360z91c1gzwrr-tetex-3.0/share/texmf-dist/tex/lat ex/base/size10.clo)) (/nix/store/8z6c6s3zg8livm85xrc360z91c1gzwrr-tetex-3.0/share/texmf-dist/tex/gen eric/babel/babel.sty (/nix/store/8z6c6s3zg8livm85xrc360z91c1gzwrr-tetex-3.0/share/texmf-dist/tex/gen eric/babel/english.ldf (/nix/store/8z6c6s3zg8livm85xrc360z91c1gzwrr-tetex-3.0/share/texmf-dist/tex/gen eric/babel/babel.def))) (/nix/store/8z6c6s3zg8livm85xrc360z91c1gzwrr-tetex-3.0/share/texmf-dist/tex/lat ex/graphics/epsfig.sty (/nix/store/8z6c6s3zg8livm85xrc360z91c1gzwrr-tetex-3.0/share/texmf-dist/tex/lat ex/graphics/graphicx.sty (/nix/store/8z6c6s3zg8livm85xrc360z91c1gzwrr-tetex-3.0/share/texmf-dist/tex/lat ex/graphics/keyval.sty) (/nix/store/8z6c6s3zg8livm85xrc360z91c1gzwrr-tetex-3.0/share/texmf-dist/tex/lat ex/graphics/graphics.sty (/nix/store/8z6c6s3zg8livm85xrc360z91c1gzwrr-tetex-3.0/share/texmf-dist/tex/lat ex/graphics/trig.sty) (/nix/store/8z6c6s3zg8livm85xrc360z91c1gzwrr-tetex-3.0/share/texmf-dist/tex/lat ex/graphics/graphics.cfg) (/nix/store/8z6c6s3zg8livm85xrc360z91c1gzwrr-tetex-3.0/share/texmf-dist/tex/lat ex/graphics/dvips.def)))) (/nix/store/8z6c6s3zg8livm85xrc360z91c1gzwrr-tetex-3.0/share/texmf-dist/tex/lat ex/base/latexsym.sty) (./spec/ASF+SDF.sty LaTeX Warning: You have requested package `spec/ASF+SDF', but the package provides `ASF+SDF'. ) (./spec/ASF+SDF-options.sty (/nix/store/8z6c6s3zg8livm85xrc360z91c1gzwrr-tetex-3.0/share/texmf-dist/tex/pla in/amsfonts/amssym.def) (/nix/store/8z6c6s3zg8livm85xrc360z91c1gzwrr-tetex-3.0/share/texmf-dist/tex/pla in/amsfonts/amssym.tex)) No file at.aux. (/nix/store/8z6c6s3zg8livm85xrc360z91c1gzwrr-tetex-3.0/share/texmf-dist/tex/lat ex/base/ulasy.fd) (./aterm.ltx LaTeX Warning: Citation `OLE' on page 1 undefined on input line 17. LaTeX Warning: Citation `Java' on page 1 undefined on input line 20. LaTeX Warning: Citation `OMG-IDL' on page 1 undefined on input line 23. [1] LaTeX Warning: Citation `Kli93.meta' on page 2 undefined on input line 62. LaTeX Warning: Citation `BKMO97' on page 2 undefined on input line 62. LaTeX Warning: Citation `BK98' on page 2 undefined on input line 63. [2] LaTeX Warning: Reference `aterms-at-a-glance' on page 3 undefined on input line 90. LaTeX Warning: Reference `implementation' on page 3 undefined on input line 91. LaTeX Warning: Reference `measurements' on page 3 undefined on input line 92. LaTeX Warning: Reference `applications' on page 3 undefined on input line 93. LaTeX Warning: Reference `discussion' on page 3 undefined on input line 95. LaTeX Warning: Reference `aterm-datatype' on page 3 undefined on input line 103 . LaTeX Warning: Reference `aterm-operations' on page 3 undefined on input line 1 04. (/nix/store/8z6c6s3zg8livm85xrc360z91c1gzwrr-tetex-3.0/share/texmf-dist/tex/lat ex/base/omscmr.fd) LaTeX Warning: Reference `concrete-syntax' on page 3 undefined on input line 15 6. LaTeX Warning: Reference `implementation' on page 3 undefined on input line 159 . [3] Overfull \hbox (3.11102pt too wide) in paragraph at lines 165--167 []\OT1/cmr/m/n/10 Integer and real con-stants are writ-ten con-ven-tion-ally: \ OT1/cmtt/m/n/10 1\OT1/cmr/m/n/10 , \OT1/cmtt/m/n/10 3.14\OT1/cmr/m/n/10 , and \ OT1/cmtt/m/n/10 -0.7E34 LaTeX Warning: Reference `making' on page 4 undefined on input line 193. LaTeX Warning: Reference `reading' on page 4 undefined on input line 194. LaTeX Warning: Reference `annotating' on page 4 undefined on input line 195. LaTeX Warning: Reference `level2' on page 4 undefined on input line 209. [4] LaTeX Warning: Reference `max-sharing' on page 5 undefined on input line 212. LaTeX Warning: Reference `aterm-datatype' on page 5 undefined on input line 270 . LaTeX Warning: Reference `aterm-datatype' on page 5 undefined on input line 279 . LaTeX Warning: Reference `concrete-syntax' on page 5 undefined on input line 28 0. [5] LaTeX Warning: Reference `baf' on page 6 undefined on input line 289. [6] LaTeX Warning: Reference `intro' on page 7 undefined on input line 364. LaTeX Warning: Reference `max-sharing' on page 7 undefined on input line 411. LaTeX Warning: Reference `garbage-collection' on page 7 undefined on input line 412. LaTeX Warning: Reference `term-encoding' on page 7 undefined on input line 413. LaTeX Warning: Reference `baf' on page 7 undefined on input line 414. [7] LaTeX Warning: Citation `Knuth73' on page 8 undefined on input line 474. LaTeX Warning: Citation `Knuth73' on page 8 undefined on input line 479. [8] LaTeX Warning: Reference `asdf2c' on page 9 undefined on input line 516. [9] LaTeX Warning: Citation `BW88' on page 10 undefined on input line 544. LaTeX Warning: Citation `Bo93' on page 10 undefined on input line 544. LaTeX Warning: Citation `JL96' on page 10 undefined on input line 546. LaTeX Warning: Citation `BW88' on page 10 undefined on input line 557. [10] LaTeX Warning: Reference `term-encoding' on page 11 undefined on input line 628 . LaTeX Warning: Reference `header' on page 11 undefined on input line 653. [11] LaTeX Warning: Reference `encoding' on page 12 undefined on input line 681. [12] [13] LaTeX Warning: Reference `concrete-syntax' on page 14 undefined on input line 7 65. [14] [15] [16] LaTeX Warning: Reference `asfix' on page 17 undefined on input line 965. LaTeX Warning: Citation `ADR95' on page 17 undefined on input line 970. LaTeX Warning: Citation `GL99' on page 17 undefined on input line 974. LaTeX Warning: Citation `Lut99' on page 17 undefined on input line 974. LaTeX Warning: Citation `DG95' on page 17 undefined on input line 975. LaTeX Warning: Citation `GP95' on page 17 undefined on input line 978. [17] LaTeX Warning: Reference `casfix' on page 18 undefined on input line 989. Overfull \hbox (4.26779pt too wide) in paragraph at lines 984--990 []\OT1/cmr/m/n/10 a col-lec-tion of ab-stract syn-tax trees rep-re-sented as [] LaTeX Warning: Citation `Wan97' on page 18 undefined on input line 992. LaTeX Warning: Citation `Han99' on page 18 undefined on input line 992. Overfull \hbox (14.72295pt too wide) in paragraph at lines 1022--1049 [] LaTeX Warning: Reference `measurements-in-memory' on page 18 undefined on input line 1053. [18] LaTeX Warning: Reference `cobol-sharing' on page 19 undefined on input line 108 2. Overfull \hbox (21.0562pt too wide) in paragraph at lines 1095--1131 [] LaTeX Warning: Reference `measurements-text' on page 19 undefined on input line 1135. Overfull \hbox (5.63943pt too wide) in paragraph at lines 1147--1184 [] LaTeX Warning: Reference `measurements-baf' on page 19 undefined on input line 1188. [19] Overfull \hbox (9.22298pt too wide) in paragraph at lines 1210--1239 [] LaTeX Warning: Reference `measurements-baf-gzip' on page 20 undefined on input line 1244. LaTeX Warning: Reference `summary' on page 20 undefined on input line 1276. [20] LaTeX Warning: Citation `DK98' on page 21 undefined on input line 1293. LaTeX Warning: Citation `BSV97' on page 21 undefined on input line 1294. LaTeX Warning: Citation `BKO99' on page 21 undefined on input line 1297. LaTeX Warning: Citation `BKMO97' on page 21 undefined on input line 1298. LaTeX Warning: Reference `asfix' on page 21 undefined on input line 1307. LaTeX Warning: Reference `casfix' on page 21 undefined on input line 1308. [21] LaTeX Warning: Citation `HHKR92.new' on page 22 undefined on input line 1314. LaTeX Warning: Citation `BHK89' on page 22 undefined on input line 1314. LaTeX Warning: Citation `DHK96' on page 22 undefined on input line 1314. LaTeX Warning: Citation `Kli93.meta' on page 22 undefined on input line 1324. [22] LaTeX Warning: Citation `HHKR92.new' on page 23 undefined on input line 1365. [23] LaTeX Warning: Citation `casl1' on page 24 undefined on input line 1413. LaTeX Warning: Citation `BKO98.casl' on page 24 undefined on input line 1425. LaTeX Warning: Citation `casl1' on page 24 undefined on input line 1430. [24] LaTeX Warning: Citation `Kli93.meta' on page 25 undefined on input line 1452. LaTeX Warning: Citation `BK98' on page 25 undefined on input line 1456. LaTeX Warning: Citation `BKMO97' on page 25 undefined on input line 1457. LaTeX Warning: Citation `Vis97' on page 25 undefined on input line 1464. LaTeX Warning: Citation `BKO99' on page 25 undefined on input line 1481. LaTeX Warning: Citation `BDKKM96' on page 25 undefined on input line 1488. LaTeX Warning: Citation `VanDenBrandKlintVerhoef:98' on page 25 undefined on in put line 1488. LaTeX Warning: Citation `ADR95' on page 25 undefined on input line 1492. LaTeX Warning: Citation `BSV97' on page 25 undefined on input line 1493. LaTeX Warning: Reference `ASF2Ctable' on page 25 undefined on input line 1496. LaTeX Warning: Reference `sharingtable' on page 25 undefined on input line 1498 . LaTeX Warning: Citation `BKO99' on page 25 undefined on input line 1501. Overfull \hbox (4.30261pt too wide) in paragraph at lines 1505--1516 [] [25] LaTeX Warning: Citation `GL99' on page 26 undefined on input line 1541. LaTeX Warning: Citation `VBT98' on page 26 undefined on input line 1548. LaTeX Warning: Reference `aterm-datatype' on page 26 undefined on input line 15 68. LaTeX Warning: Citation `BCDIKLP89' on page 26 undefined on input line 1583. LaTeX Warning: Citation `Eli92' on page 26 undefined on input line 1583. LaTeX Warning: Citation `Ast92' on page 26 undefined on input line 1584. LaTeX Warning: Citation `Suif94' on page 26 undefined on input line 1584. LaTeX Warning: Citation `Wan97' on page 26 undefined on input line 1584. LaTeX Warning: Citation `Karasick98' on page 26 undefined on input line 1585. LaTeX Warning: Citation `Lamb-IDL' on page 26 undefined on input line 1588. LaTeX Warning: Citation `OMG-IDL' on page 26 undefined on input line 1588. [26] LaTeX Warning: Citation `Wan97' on page 27 undefined on input line 1623. LaTeX Warning: Citation `Han99' on page 27 undefined on input line 1626. LaTeX Warning: Reference `asdlaterm1' on page 27 undefined on input line 1651. [27] LaTeX Warning: Reference `asfix-casfix' on page 28 undefined on input line 1669 . LaTeX Warning: Reference `asdlaterm3' on page 28 undefined on input line 1680. LaTeX Warning: Reference `measurements-baf' on page 28 undefined on input line 1684. LaTeX Warning: Reference `measurements-baf' on page 28 undefined on input line 1685. LaTeX Warning: Reference `asdlaterm3' on page 28 undefined on input line 1686. LaTeX Warning: Citation `XML1.0' on page 28 undefined on input line 1718. LaTeX Warning: Reference `baf' on page 28 undefined on input line 1740. LaTeX Warning: Citation `ASN.1.PER' on page 28 undefined on input line 1744. [28] LaTeX Warning: Citation `Kam94' on page 29 undefined on input line 1748. LaTeX Warning: Citation `Alan:78' on page 29 undefined on input line 1768. LaTeX Warning: Citation `TerashimaKanada:90' on page 29 undefined on input line 1776. LaTeX Warning: Citation `AppelGoncalves:93' on page 29 undefined on input line 1780. LaTeX Warning: Citation `AppelGoncalves:93' on page 29 undefined on input line 1787. LaTeX Warning: Citation `BK98' on page 29 undefined on input line 1802. LaTeX Warning: Citation `GB94' on page 29 undefined on input line 1806. LaTeX Warning: Citation `FKW98' on page 29 undefined on input line 1808. [29] LaTeX Warning: Reference `measurements' on page 30 undefined on input line 1828 . LaTeX Warning: Reference `applications' on page 30 undefined on input line 1831 . ) [30] No file at.bbl. (./append.ltx LaTeX Warning: Citation `HHKR92.new' on page 31 undefined on input line 7. (./spec/ATerm.mtx Underfull \hbox (badness 10000) in alignment at lines 32--32 [] [] [] Underfull \hbox (badness 10000) in alignment at lines 133--133 [] [] [] [31]) LaTeX Warning: Reference `aterms-at-a-glance' on page 32 undefined on input lin e 21. LaTeX Warning: Reference `aterms-at-a-glance' on page 32 undefined on input lin e 28. [32] Overfull \hbox (3.87334pt too wide) in paragraph at lines 105--108 []\OT1/cmtt/m/n/10 ATermAppl ATmakeAppl(AFun $\OML/cmm/m/it/10 f$\OT1/cmtt/m/n/ 10 , ATermList \OT1/cmtt/m/it/10 as\OT1/cmtt/m/n/10 )\OT1/cmr/m/n/10 : Con-stru ct a new func- [33] Underfull \hbox (badness 10000) in paragraph at lines 147--150 []\OT1/cmtt/m/n/10 ATermList ATgetSlice(ATermList $\OML/cmm/m/it/10 l$\OT1/cmtt /m/n/10 , Integer \OT1/cmtt/m/it/10 frm\OT1/cmtt/m/n/10 , Integer \OT1/cmtt/m/i t/10 to\OT1/cmtt/m/n/10 )\OT1/cmr/m/n/10 : Overfull \hbox (0.30772pt too wide) in paragraph at lines 168--172 []\OT1/cmtt/m/n/10 Integer ATindexOf(ATermList $\OML/cmm/m/it/10 l$\OT1/cmtt/m/ n/10 , ATerm $\OML/cmm/m/it/10 e$\OT1/cmtt/m/n/10 , Integer $\OML/cmm/m/it/10 i $\OT1/cmtt/m/n/10 )\OT1/cmr/m/n/10 : Search for an Overfull \hbox (2.00156pt too wide) in paragraph at lines 184--186 []\OT1/cmtt/m/n/10 ATermList ATremoveElement(ATermList $\OML/cmm/m/it/10 l$\OT1 /cmtt/m/n/10 , ATerm $\OML/cmm/m/it/10 e$\OT1/cmtt/m/n/10 )\OT1/cmr/m/n/10 : Re -move once oc- Overfull \hbox (0.9569pt too wide) in paragraph at lines 187--189 []\OT1/cmtt/m/n/10 ATermList ATremoveElementAt(ATermList $\OML/cmm/m/it/10 l$\O T1/cmtt/m/n/10 , Integer $\OML/cmm/m/it/10 i$\OT1/cmtt/m/n/10 )\OT1/cmr/m/n/10 : Re-move the [34] Overfull \hbox (3.29036pt too wide) in paragraph at lines 228--230 []\OT1/cmtt/m/n/10 Data ATgetBlobData(ATermBlob \OT1/cmtt/m/it/10 blob\OT1/cmtt /m/n/10 )\OT1/cmr/m/n/10 : Re-trieve the data pointer stored ) [35] (./at.aux) LaTeX Warning: There were undefined references. LaTeX Warning: Label(s) may have changed. Rerun to get cross-references right. ) (see the transcript file for additional information) Output written on at.dvi (35 pages, 127512 bytes). Transcript written on at.log. LaTeX Warning: Citation `OLE' on page 1 undefined on input line 17. LaTeX Warning: Citation `Java' on page 1 undefined on input line 20. LaTeX Warning: Citation `OMG-IDL' on page 1 undefined on input line 23. LaTeX Warning: Citation `Kli93.meta' on page 2 undefined on input line 62. LaTeX Warning: Citation `BKMO97' on page 2 undefined on input line 62. LaTeX Warning: Citation `BK98' on page 2 undefined on input line 63. LaTeX Warning: Citation `Knuth73' on page 8 undefined on input line 474. LaTeX Warning: Citation `Knuth73' on page 8 undefined on input line 479. LaTeX Warning: Citation `BW88' on page 10 undefined on input line 544. LaTeX Warning: Citation `Bo93' on page 10 undefined on input line 544. LaTeX Warning: Citation `JL96' on page 10 undefined on input line 546. LaTeX Warning: Citation `BW88' on page 10 undefined on input line 557. LaTeX Warning: Citation `ADR95' on page 17 undefined on input line 970. LaTeX Warning: Citation `GL99' on page 17 undefined on input line 974. LaTeX Warning: Citation `Lut99' on page 17 undefined on input line 974. LaTeX Warning: Citation `DG95' on page 17 undefined on input line 975. LaTeX Warning: Citation `GP95' on page 17 undefined on input line 978. LaTeX Warning: Citation `Wan97' on page 18 undefined on input line 992. LaTeX Warning: Citation `Han99' on page 18 undefined on input line 992. LaTeX Warning: Citation `DK98' on page 21 undefined on input line 1293. LaTeX Warning: Citation `BSV97' on page 21 undefined on input line 1294. LaTeX Warning: Citation `BKO99' on page 21 undefined on input line 1297. LaTeX Warning: Citation `BKMO97' on page 21 undefined on input line 1298. LaTeX Warning: Citation `HHKR92.new' on page 22 undefined on input line 1314. LaTeX Warning: Citation `BHK89' on page 22 undefined on input line 1314. LaTeX Warning: Citation `DHK96' on page 22 undefined on input line 1314. LaTeX Warning: Citation `Kli93.meta' on page 22 undefined on input line 1324. LaTeX Warning: Citation `HHKR92.new' on page 23 undefined on input line 1365. LaTeX Warning: Citation `casl1' on page 24 undefined on input line 1413. LaTeX Warning: Citation `BKO98.casl' on page 24 undefined on input line 1425. LaTeX Warning: Citation `casl1' on page 24 undefined on input line 1430. LaTeX Warning: Citation `Kli93.meta' on page 25 undefined on input line 1452. LaTeX Warning: Citation `BK98' on page 25 undefined on input line 1456. LaTeX Warning: Citation `BKMO97' on page 25 undefined on input line 1457. LaTeX Warning: Citation `Vis97' on page 25 undefined on input line 1464. LaTeX Warning: Citation `BKO99' on page 25 undefined on input line 1481. LaTeX Warning: Citation `BDKKM96' on page 25 undefined on input line 1488. LaTeX Warning: Citation `VanDenBrandKlintVerhoef:98' on page 25 undefined on in LaTeX Warning: Citation `ADR95' on page 25 undefined on input line 1492. LaTeX Warning: Citation `BSV97' on page 25 undefined on input line 1493. LaTeX Warning: Citation `BKO99' on page 25 undefined on input line 1501. LaTeX Warning: Citation `GL99' on page 26 undefined on input line 1541. LaTeX Warning: Citation `VBT98' on page 26 undefined on input line 1548. LaTeX Warning: Citation `BCDIKLP89' on page 26 undefined on input line 1583. LaTeX Warning: Citation `Eli92' on page 26 undefined on input line 1583. LaTeX Warning: Citation `Ast92' on page 26 undefined on input line 1584. LaTeX Warning: Citation `Suif94' on page 26 undefined on input line 1584. LaTeX Warning: Citation `Wan97' on page 26 undefined on input line 1584. LaTeX Warning: Citation `Karasick98' on page 26 undefined on input line 1585. LaTeX Warning: Citation `Lamb-IDL' on page 26 undefined on input line 1588. LaTeX Warning: Citation `OMG-IDL' on page 26 undefined on input line 1588. LaTeX Warning: Citation `Wan97' on page 27 undefined on input line 1623. LaTeX Warning: Citation `Han99' on page 27 undefined on input line 1626. LaTeX Warning: Citation `XML1.0' on page 28 undefined on input line 1718. LaTeX Warning: Citation `ASN.1.PER' on page 28 undefined on input line 1744. LaTeX Warning: Citation `Kam94' on page 29 undefined on input line 1748. LaTeX Warning: Citation `Alan:78' on page 29 undefined on input line 1768. LaTeX Warning: Citation `TerashimaKanada:90' on page 29 undefined on input line LaTeX Warning: Citation `AppelGoncalves:93' on page 29 undefined on input line LaTeX Warning: Citation `AppelGoncalves:93' on page 29 undefined on input line LaTeX Warning: Citation `BK98' on page 29 undefined on input line 1802. LaTeX Warning: Citation `GB94' on page 29 undefined on input line 1806. LaTeX Warning: Citation `FKW98' on page 29 undefined on input line 1808. LaTeX Warning: Citation `HHKR92.new' on page 31 undefined on input line 7. This is BibTeX, Version 0.99c (Web2C 7.5.4) The top-level auxiliary file: at.aux The style file: alpha.bst Database file #1: thesis.bib Warning--I didn't find a database entry for "BCDIKLP89" Warning--empty author in ASN.1.PER Warning--empty author in XML1.0 (There were 3 warnings) This is pdfeTeX, Version 3.141592-1.21a-2.2 (Web2C 7.5.4) entering extended mode (./at.ltx LaTeX2e <2003/12/01> Babel and hyphenation patterns for american, french, german, ngerman, b ahasa, basque, bulgarian, catalan, croatian, czech, danish, dutch, esperanto, e stonian, finnish, greek, icelandic, irish, italian, latin, magyar, norsk, polis h, portuges, romanian, russian, serbian, slovak, slovene, spanish, swedish, tur kish, ukrainian, nohyphenation, loaded. (/nix/store/8z6c6s3zg8livm85xrc360z91c1gzwrr-tetex-3.0/share/texmf-dist/tex/lat ex/base/article.cls Document Class: article 2004/02/16 v1.4f Standard LaTeX document class (/nix/store/8z6c6s3zg8livm85xrc360z91c1gzwrr-tetex-3.0/share/texmf-dist/tex/lat ex/base/size10.clo)) (/nix/store/8z6c6s3zg8livm85xrc360z91c1gzwrr-tetex-3.0/share/texmf-dist/tex/gen eric/babel/babel.sty (/nix/store/8z6c6s3zg8livm85xrc360z91c1gzwrr-tetex-3.0/share/texmf-dist/tex/gen eric/babel/english.ldf (/nix/store/8z6c6s3zg8livm85xrc360z91c1gzwrr-tetex-3.0/share/texmf-dist/tex/gen eric/babel/babel.def))) (/nix/store/8z6c6s3zg8livm85xrc360z91c1gzwrr-tetex-3.0/share/texmf-dist/tex/lat ex/graphics/epsfig.sty (/nix/store/8z6c6s3zg8livm85xrc360z91c1gzwrr-tetex-3.0/share/texmf-dist/tex/lat ex/graphics/graphicx.sty (/nix/store/8z6c6s3zg8livm85xrc360z91c1gzwrr-tetex-3.0/share/texmf-dist/tex/lat ex/graphics/keyval.sty) (/nix/store/8z6c6s3zg8livm85xrc360z91c1gzwrr-tetex-3.0/share/texmf-dist/tex/lat ex/graphics/graphics.sty (/nix/store/8z6c6s3zg8livm85xrc360z91c1gzwrr-tetex-3.0/share/texmf-dist/tex/lat ex/graphics/trig.sty) (/nix/store/8z6c6s3zg8livm85xrc360z91c1gzwrr-tetex-3.0/share/texmf-dist/tex/lat ex/graphics/graphics.cfg) (/nix/store/8z6c6s3zg8livm85xrc360z91c1gzwrr-tetex-3.0/share/texmf-dist/tex/lat ex/graphics/dvips.def)))) (/nix/store/8z6c6s3zg8livm85xrc360z91c1gzwrr-tetex-3.0/share/texmf-dist/tex/lat ex/base/latexsym.sty) (./spec/ASF+SDF.sty LaTeX Warning: You have requested package `spec/ASF+SDF', but the package provides `ASF+SDF'. ) (./spec/ASF+SDF-options.sty (/nix/store/8z6c6s3zg8livm85xrc360z91c1gzwrr-tetex-3.0/share/texmf-dist/tex/pla in/amsfonts/amssym.def) (/nix/store/8z6c6s3zg8livm85xrc360z91c1gzwrr-tetex-3.0/share/texmf-dist/tex/pla in/amsfonts/amssym.tex)) (./at.aux) (/nix/store/8z6c6s3zg8livm85xrc360z91c1gzwrr-tetex-3.0/share/texmf-dist/tex/lat ex/base/ulasy.fd) (./aterm.ltx LaTeX Warning: Citation `OLE' on page 1 undefined on input line 17. LaTeX Warning: Citation `Java' on page 1 undefined on input line 20. LaTeX Warning: Citation `OMG-IDL' on page 1 undefined on input line 23. [1] LaTeX Warning: Citation `Kli93.meta' on page 2 undefined on input line 62. LaTeX Warning: Citation `BKMO97' on page 2 undefined on input line 62. LaTeX Warning: Citation `BK98' on page 2 undefined on input line 63. [2] (/nix/store/8z6c6s3zg8livm85xrc360z91c1gzwrr-tetex-3.0/share/texmf-dist/tex/lat ex/base/omscmr.fd) [3] Overfull \hbox (3.11102pt too wide) in paragraph at lines 165--167 []\OT1/cmr/m/n/10 Integer and real con-stants are writ-ten con-ven-tion-ally: \ OT1/cmtt/m/n/10 1\OT1/cmr/m/n/10 , \OT1/cmtt/m/n/10 3.14\OT1/cmr/m/n/10 , and \ OT1/cmtt/m/n/10 -0.7E34 [4] [5] [6] [7] LaTeX Warning: Citation `Knuth73' on page 8 undefined on input line 474. LaTeX Warning: Citation `Knuth73' on page 8 undefined on input line 479. [8] [9] LaTeX Warning: Citation `BW88' on page 10 undefined on input line 544. LaTeX Warning: Citation `Bo93' on page 10 undefined on input line 544. LaTeX Warning: Citation `JL96' on page 10 undefined on input line 546. LaTeX Warning: Citation `BW88' on page 10 undefined on input line 557. [10] [11] [12] [13] [14] [15] [16] LaTeX Warning: Citation `ADR95' on page 17 undefined on input line 970. LaTeX Warning: Citation `GL99' on page 17 undefined on input line 974. LaTeX Warning: Citation `Lut99' on page 17 undefined on input line 974. LaTeX Warning: Citation `DG95' on page 17 undefined on input line 975. LaTeX Warning: Citation `GP95' on page 17 undefined on input line 978. [17] Overfull \hbox (4.26779pt too wide) in paragraph at lines 984--990 []\OT1/cmr/m/n/10 a col-lec-tion of ab-stract syn-tax trees rep-re-sented as [] LaTeX Warning: Citation `Wan97' on page 18 undefined on input line 992. LaTeX Warning: Citation `Han99' on page 18 undefined on input line 992. Overfull \hbox (14.72295pt too wide) in paragraph at lines 1022--1049 [] [18] Overfull \hbox (21.0562pt too wide) in paragraph at lines 1095--1131 [] Overfull \hbox (5.63943pt too wide) in paragraph at lines 1147--1184 [] [19] Overfull \hbox (9.22298pt too wide) in paragraph at lines 1210--1239 [] [20] LaTeX Warning: Citation `DK98' on page 21 undefined on input line 1293. LaTeX Warning: Citation `BSV97' on page 21 undefined on input line 1294. LaTeX Warning: Citation `BKO99' on page 21 undefined on input line 1297. LaTeX Warning: Citation `BKMO97' on page 21 undefined on input line 1298. [21] LaTeX Warning: Citation `HHKR92.new' on page 22 undefined on input line 1314. LaTeX Warning: Citation `BHK89' on page 22 undefined on input line 1314. LaTeX Warning: Citation `DHK96' on page 22 undefined on input line 1314. LaTeX Warning: Citation `Kli93.meta' on page 22 undefined on input line 1324. [22] LaTeX Warning: Citation `HHKR92.new' on page 23 undefined on input line 1365. [23] LaTeX Warning: Citation `casl1' on page 24 undefined on input line 1413. LaTeX Warning: Citation `BKO98.casl' on page 24 undefined on input line 1425. LaTeX Warning: Citation `casl1' on page 24 undefined on input line 1430. [24] LaTeX Warning: Citation `Kli93.meta' on page 25 undefined on input line 1452. LaTeX Warning: Citation `BK98' on page 25 undefined on input line 1456. LaTeX Warning: Citation `BKMO97' on page 25 undefined on input line 1457. LaTeX Warning: Citation `Vis97' on page 25 undefined on input line 1464. LaTeX Warning: Citation `BKO99' on page 25 undefined on input line 1481. LaTeX Warning: Citation `BDKKM96' on page 25 undefined on input line 1488. LaTeX Warning: Citation `VanDenBrandKlintVerhoef:98' on page 25 undefined on in put line 1488. LaTeX Warning: Citation `ADR95' on page 25 undefined on input line 1492. LaTeX Warning: Citation `BSV97' on page 25 undefined on input line 1493. LaTeX Warning: Citation `BKO99' on page 25 undefined on input line 1501. Overfull \hbox (4.30261pt too wide) in paragraph at lines 1505--1516 [] [25] LaTeX Warning: Citation `GL99' on page 26 undefined on input line 1541. LaTeX Warning: Citation `VBT98' on page 26 undefined on input line 1548. LaTeX Warning: Citation `BCDIKLP89' on page 26 undefined on input line 1583. LaTeX Warning: Citation `Eli92' on page 26 undefined on input line 1583. LaTeX Warning: Citation `Ast92' on page 26 undefined on input line 1584. LaTeX Warning: Citation `Suif94' on page 26 undefined on input line 1584. LaTeX Warning: Citation `Wan97' on page 26 undefined on input line 1584. LaTeX Warning: Citation `Karasick98' on page 26 undefined on input line 1585. LaTeX Warning: Citation `Lamb-IDL' on page 26 undefined on input line 1588. LaTeX Warning: Citation `OMG-IDL' on page 26 undefined on input line 1588. [26] LaTeX Warning: Citation `Wan97' on page 27 undefined on input line 1623. LaTeX Warning: Citation `Han99' on page 27 undefined on input line 1626. [27] LaTeX Warning: Citation `XML1.0' on page 28 undefined on input line 1718. LaTeX Warning: Citation `ASN.1.PER' on page 28 undefined on input line 1744. [28] LaTeX Warning: Citation `Kam94' on page 29 undefined on input line 1748. LaTeX Warning: Citation `Alan:78' on page 29 undefined on input line 1768. LaTeX Warning: Citation `TerashimaKanada:90' on page 29 undefined on input line 1776. LaTeX Warning: Citation `AppelGoncalves:93' on page 29 undefined on input line 1780. LaTeX Warning: Citation `AppelGoncalves:93' on page 29 undefined on input line 1787. LaTeX Warning: Citation `BK98' on page 29 undefined on input line 1802. LaTeX Warning: Citation `GB94' on page 29 undefined on input line 1806. LaTeX Warning: Citation `FKW98' on page 29 undefined on input line 1808. [29]) [30] (./at.bbl LaTeX Warning: Citation `CoFI' on page 31 undefined on input line 57. [31] LaTeX Warning: Citation `CoFI' on page 32 undefined on input line 100. [32] [33] Underfull \hbox (badness 6364) in paragraph at lines 251--254 []\OT1/cmr/m/n/10 Extensible markup lan-guage (XML) 1.0. Tech-ni-cal re- Underfull \hbox (badness 2573) in paragraph at lines 251--254 \OT1/cmr/m/n/10 port, World Wide Web Con-sor-tium, 1998. Avail-able at: ) (./append.ltx LaTeX Warning: Citation `HHKR92.new' on page 34 undefined on input line 7. (./spec/ATerm.mtx Underfull \hbox (badness 10000) in alignment at lines 32--32 [] [] [] [34] Underfull \hbox (badness 10000) in alignment at lines 133--133 [] [] [] ) [35] Overfull \hbox (3.87334pt too wide) in paragraph at lines 105--108 []\OT1/cmtt/m/n/10 ATermAppl ATmakeAppl(AFun $\OML/cmm/m/it/10 f$\OT1/cmtt/m/n/ 10 , ATermList \OT1/cmtt/m/it/10 as\OT1/cmtt/m/n/10 )\OT1/cmr/m/n/10 : Con-stru ct a new func- [36] Underfull \hbox (badness 10000) in paragraph at lines 147--150 []\OT1/cmtt/m/n/10 ATermList ATgetSlice(ATermList $\OML/cmm/m/it/10 l$\OT1/cmtt /m/n/10 , Integer \OT1/cmtt/m/it/10 frm\OT1/cmtt/m/n/10 , Integer \OT1/cmtt/m/i t/10 to\OT1/cmtt/m/n/10 )\OT1/cmr/m/n/10 : Overfull \hbox (0.30772pt too wide) in paragraph at lines 168--172 []\OT1/cmtt/m/n/10 Integer ATindexOf(ATermList $\OML/cmm/m/it/10 l$\OT1/cmtt/m/ n/10 , ATerm $\OML/cmm/m/it/10 e$\OT1/cmtt/m/n/10 , Integer $\OML/cmm/m/it/10 i $\OT1/cmtt/m/n/10 )\OT1/cmr/m/n/10 : Search for an [37] Overfull \hbox (2.00156pt too wide) in paragraph at lines 184--186 []\OT1/cmtt/m/n/10 ATermList ATremoveElement(ATermList $\OML/cmm/m/it/10 l$\OT1 /cmtt/m/n/10 , ATerm $\OML/cmm/m/it/10 e$\OT1/cmtt/m/n/10 )\OT1/cmr/m/n/10 : Re -move once oc- Overfull \hbox (0.9569pt too wide) in paragraph at lines 187--189 []\OT1/cmtt/m/n/10 ATermList ATremoveElementAt(ATermList $\OML/cmm/m/it/10 l$\O T1/cmtt/m/n/10 , Integer $\OML/cmm/m/it/10 i$\OT1/cmtt/m/n/10 )\OT1/cmr/m/n/10 : Re-move the Overfull \hbox (3.29036pt too wide) in paragraph at lines 228--230 []\OT1/cmtt/m/n/10 Data ATgetBlobData(ATermBlob \OT1/cmtt/m/it/10 blob\OT1/cmtt /m/n/10 )\OT1/cmr/m/n/10 : Re-trieve the data pointer stored ) [38] (./at.aux) LaTeX Warning: There were undefined references. LaTeX Warning: Label(s) may have changed. Rerun to get cross-references right. ) (see the transcript file for additional information) Output written on at.dvi (38 pages, 138116 bytes). Transcript written on at.log. LaTeX Warning: Label(s) may have changed. Rerun to get cross-references right. This is pdfeTeX, Version 3.141592-1.21a-2.2 (Web2C 7.5.4) entering extended mode (./at.ltx LaTeX2e <2003/12/01> Babel and hyphenation patterns for american, french, german, ngerman, b ahasa, basque, bulgarian, catalan, croatian, czech, danish, dutch, esperanto, e stonian, finnish, greek, icelandic, irish, italian, latin, magyar, norsk, polis h, portuges, romanian, russian, serbian, slovak, slovene, spanish, swedish, tur kish, ukrainian, nohyphenation, loaded. (/nix/store/8z6c6s3zg8livm85xrc360z91c1gzwrr-tetex-3.0/share/texmf-dist/tex/lat ex/base/article.cls Document Class: article 2004/02/16 v1.4f Standard LaTeX document class (/nix/store/8z6c6s3zg8livm85xrc360z91c1gzwrr-tetex-3.0/share/texmf-dist/tex/lat ex/base/size10.clo)) (/nix/store/8z6c6s3zg8livm85xrc360z91c1gzwrr-tetex-3.0/share/texmf-dist/tex/gen eric/babel/babel.sty (/nix/store/8z6c6s3zg8livm85xrc360z91c1gzwrr-tetex-3.0/share/texmf-dist/tex/gen eric/babel/english.ldf (/nix/store/8z6c6s3zg8livm85xrc360z91c1gzwrr-tetex-3.0/share/texmf-dist/tex/gen eric/babel/babel.def))) (/nix/store/8z6c6s3zg8livm85xrc360z91c1gzwrr-tetex-3.0/share/texmf-dist/tex/lat ex/graphics/epsfig.sty (/nix/store/8z6c6s3zg8livm85xrc360z91c1gzwrr-tetex-3.0/share/texmf-dist/tex/lat ex/graphics/graphicx.sty (/nix/store/8z6c6s3zg8livm85xrc360z91c1gzwrr-tetex-3.0/share/texmf-dist/tex/lat ex/graphics/keyval.sty) (/nix/store/8z6c6s3zg8livm85xrc360z91c1gzwrr-tetex-3.0/share/texmf-dist/tex/lat ex/graphics/graphics.sty (/nix/store/8z6c6s3zg8livm85xrc360z91c1gzwrr-tetex-3.0/share/texmf-dist/tex/lat ex/graphics/trig.sty) (/nix/store/8z6c6s3zg8livm85xrc360z91c1gzwrr-tetex-3.0/share/texmf-dist/tex/lat ex/graphics/graphics.cfg) (/nix/store/8z6c6s3zg8livm85xrc360z91c1gzwrr-tetex-3.0/share/texmf-dist/tex/lat ex/graphics/dvips.def)))) (/nix/store/8z6c6s3zg8livm85xrc360z91c1gzwrr-tetex-3.0/share/texmf-dist/tex/lat ex/base/latexsym.sty) (./spec/ASF+SDF.sty LaTeX Warning: You have requested package `spec/ASF+SDF', but the package provides `ASF+SDF'. ) (./spec/ASF+SDF-options.sty (/nix/store/8z6c6s3zg8livm85xrc360z91c1gzwrr-tetex-3.0/share/texmf-dist/tex/pla in/amsfonts/amssym.def) (/nix/store/8z6c6s3zg8livm85xrc360z91c1gzwrr-tetex-3.0/share/texmf-dist/tex/pla in/amsfonts/amssym.tex)) (./at.aux) (/nix/store/8z6c6s3zg8livm85xrc360z91c1gzwrr-tetex-3.0/share/texmf-dist/tex/lat ex/base/ulasy.fd) (./aterm.ltx Underfull \hbox (badness 1383) in paragraph at lines 15--26 \OT1/cmr/m/n/10 achieved? One so-lu-tion is Mi-crosoft's Ob-ject Link-ing and E m-bed-ding [1] [2] (/nix/store/8z6c6s3zg8livm85xrc360z91c1gzwrr-tetex-3.0/share/texmf-dist/tex/lat ex/base/omscmr.fd) [3] Overfull \hbox (3.11102pt too wide) in paragraph at lines 165--167 []\OT1/cmr/m/n/10 Integer and real con-stants are writ-ten con-ven-tion-ally: \ OT1/cmtt/m/n/10 1\OT1/cmr/m/n/10 , \OT1/cmtt/m/n/10 3.14\OT1/cmr/m/n/10 , and \ OT1/cmtt/m/n/10 -0.7E34 [4] [5] [6] [7] [8] [9] [10] [11] [12] [13] [14] [15] [16] [17] Overfull \hbox (4.26779pt too wide) in paragraph at lines 984--990 []\OT1/cmr/m/n/10 a col-lec-tion of ab-stract syn-tax trees rep-re-sented as [] Overfull \hbox (14.72295pt too wide) in paragraph at lines 1022--1049 [] [18] Overfull \hbox (21.0562pt too wide) in paragraph at lines 1095--1131 [] Overfull \hbox (5.63943pt too wide) in paragraph at lines 1147--1184 [] [19] Overfull \hbox (9.22298pt too wide) in paragraph at lines 1210--1239 [] [20] [21] [22] [23] [24] Overfull \hbox (4.30261pt too wide) in paragraph at lines 1505--1516 [] [25] LaTeX Warning: Citation `BCDIKLP89' on page 26 undefined on input line 1583. [26] [27] [28] Underfull \hbox (badness 1571) in paragraph at lines 1747--1756 []\OT1/cmr/m/n/10 In an ear-lier project in our group, the Graph Ex-change Lan- guage [29]) [30] (./at.bbl LaTeX Warning: Citation `CoFI' on page 31 undefined on input line 57. [31] LaTeX Warning: Citation `CoFI' on page 32 undefined on input line 100. [32] [33] Underfull \hbox (badness 6364) in paragraph at lines 251--254 []\OT1/cmr/m/n/10 Extensible markup lan-guage (XML) 1.0. Tech-ni-cal re- Underfull \hbox (badness 2573) in paragraph at lines 251--254 \OT1/cmr/m/n/10 port, World Wide Web Con-sor-tium, 1998. Avail-able at: ) (./append.ltx (./spec/ATerm.mtx Underfull \hbox (badness 10000) in alignment at lines 32--32 [] [] [] [34] Underfull \hbox (badness 10000) in alignment at lines 133--133 [] [] [] ) [35] Overfull \hbox (3.87334pt too wide) in paragraph at lines 105--108 []\OT1/cmtt/m/n/10 ATermAppl ATmakeAppl(AFun $\OML/cmm/m/it/10 f$\OT1/cmtt/m/n/ 10 , ATermList \OT1/cmtt/m/it/10 as\OT1/cmtt/m/n/10 )\OT1/cmr/m/n/10 : Con-stru ct a new func- [36] Underfull \hbox (badness 10000) in paragraph at lines 147--150 []\OT1/cmtt/m/n/10 ATermList ATgetSlice(ATermList $\OML/cmm/m/it/10 l$\OT1/cmtt /m/n/10 , Integer \OT1/cmtt/m/it/10 frm\OT1/cmtt/m/n/10 , Integer \OT1/cmtt/m/i t/10 to\OT1/cmtt/m/n/10 )\OT1/cmr/m/n/10 : Overfull \hbox (0.30772pt too wide) in paragraph at lines 168--172 []\OT1/cmtt/m/n/10 Integer ATindexOf(ATermList $\OML/cmm/m/it/10 l$\OT1/cmtt/m/ n/10 , ATerm $\OML/cmm/m/it/10 e$\OT1/cmtt/m/n/10 , Integer $\OML/cmm/m/it/10 i $\OT1/cmtt/m/n/10 )\OT1/cmr/m/n/10 : Search for an [37] Overfull \hbox (2.00156pt too wide) in paragraph at lines 184--186 []\OT1/cmtt/m/n/10 ATermList ATremoveElement(ATermList $\OML/cmm/m/it/10 l$\OT1 /cmtt/m/n/10 , ATerm $\OML/cmm/m/it/10 e$\OT1/cmtt/m/n/10 )\OT1/cmr/m/n/10 : Re -move once oc- Overfull \hbox (0.9569pt too wide) in paragraph at lines 187--189 []\OT1/cmtt/m/n/10 ATermList ATremoveElementAt(ATermList $\OML/cmm/m/it/10 l$\O T1/cmtt/m/n/10 , Integer $\OML/cmm/m/it/10 i$\OT1/cmtt/m/n/10 )\OT1/cmr/m/n/10 : Re-move the Overfull \hbox (3.29036pt too wide) in paragraph at lines 228--230 []\OT1/cmtt/m/n/10 Data ATgetBlobData(ATermBlob \OT1/cmtt/m/it/10 blob\OT1/cmtt /m/n/10 )\OT1/cmr/m/n/10 : Re-trieve the data pointer stored ) [38] (./at.aux) LaTeX Warning: There were undefined references. ) (see the transcript file for additional information) Output written on at.dvi (38 pages, 138392 bytes). Transcript written on at.log. make[2]: Leaving directory `/tmp/nix-build-8fv97x92dd7jzidf5ad5j8yjnxi21v78-source-tarball.drv-0/adwp0x4fh8swckxffsh69448hcs7jb8w-svn-export/doc' make header.eps encoding.eps hierarchy.eps make[2]: Entering directory `/tmp/nix-build-8fv97x92dd7jzidf5ad5j8yjnxi21v78-source-tarball.drv-0/adwp0x4fh8swckxffsh69448hcs7jb8w-svn-export/doc' make[2]: `header.eps' is up to date. make[2]: `encoding.eps' is up to date. make[2]: `hierarchy.eps' is up to date. make[2]: Leaving directory `/tmp/nix-build-8fv97x92dd7jzidf5ad5j8yjnxi21v78-source-tarball.drv-0/adwp0x4fh8swckxffsh69448hcs7jb8w-svn-export/doc' dvips -o at.ps at.dvi This is dvips(k) 5.95a Copyright 2005 Radical Eye Software (www.radicaleye.com) ' TeX output 2008.04.11:2054' -> at.ps . [1] [2] [3] [4] [5] [6] [7] [8] [9] [10] [11] [12] [13] [14] [15] [16] [17] [18] [19] [20 ] [21] [22] [23] [24] [25] [26] [27] [28] [29] [30] [31] [32] [33] [34] [35] [36] [37] [38] building manual.ps make manual.dvi make[2]: Entering directory `/tmp/nix-build-8fv97x92dd7jzidf5ad5j8yjnxi21v78-source-tarball.drv-0/adwp0x4fh8swckxffsh69448hcs7jb8w-svn-export/doc' building manual.dvi TEXINPUTS=$TEXINPUTS:. ;\ export TEXINPUTS ;\ latex manual.ltx ;\ fgrep -s 'LaTeX Warning: Citation' manual.log && bibtex manual && latex manual.ltx ;\ while fgrep -s 'Rerun to get cross-references right' manual.log ;\ do \ TEXINPUTS=$TEXINPUTS:. ;\ latex manual.ltx ;\ done This is pdfeTeX, Version 3.141592-1.21a-2.2 (Web2C 7.5.4) entering extended mode (./manual.ltx LaTeX2e <2003/12/01> Babel and hyphenation patterns for american, french, german, ngerman, b ahasa, basque, bulgarian, catalan, croatian, czech, danish, dutch, esperanto, e stonian, finnish, greek, icelandic, irish, italian, latin, magyar, norsk, polis h, portuges, romanian, russian, serbian, slovak, slovene, spanish, swedish, tur kish, ukrainian, nohyphenation, loaded. (/nix/store/8z6c6s3zg8livm85xrc360z91c1gzwrr-tetex-3.0/share/texmf-dist/tex/lat ex/base/article.cls Document Class: article 2004/02/16 v1.4f Standard LaTeX document class (/nix/store/8z6c6s3zg8livm85xrc360z91c1gzwrr-tetex-3.0/share/texmf-dist/tex/lat ex/base/size10.clo)) (/nix/store/8z6c6s3zg8livm85xrc360z91c1gzwrr-tetex-3.0/share/texmf-dist/tex/lat ex/a4wide/a4wide.sty (/nix/store/8z6c6s3zg8livm85xrc360z91c1gzwrr-tetex-3.0/share/texmf-dist/tex/lat ex/ntgclass/a4.sty)) (/nix/store/8z6c6s3zg8livm85xrc360z91c1gzwrr-tetex-3.0/share/texmf-dist/tex/lat ex/tools/verbatim.sty) (/nix/store/8z6c6s3zg8livm85xrc360z91c1gzwrr-tetex-3.0/share/texmf-dist/tex/lat ex/base/makeidx.sty) (/nix/store/8z6c6s3zg8livm85xrc360z91c1gzwrr-tetex-3.0/share/texmf-dist/tex/lat ex/graphics/epsfig.sty (/nix/store/8z6c6s3zg8livm85xrc360z91c1gzwrr-tetex-3.0/share/texmf-dist/tex/lat ex/graphics/graphicx.sty (/nix/store/8z6c6s3zg8livm85xrc360z91c1gzwrr-tetex-3.0/share/texmf-dist/tex/lat ex/graphics/keyval.sty) (/nix/store/8z6c6s3zg8livm85xrc360z91c1gzwrr-tetex-3.0/share/texmf-dist/tex/lat ex/graphics/graphics.sty (/nix/store/8z6c6s3zg8livm85xrc360z91c1gzwrr-tetex-3.0/share/texmf-dist/tex/lat ex/graphics/trig.sty) (/nix/store/8z6c6s3zg8livm85xrc360z91c1gzwrr-tetex-3.0/share/texmf-dist/tex/lat ex/graphics/graphics.cfg) (/nix/store/8z6c6s3zg8livm85xrc360z91c1gzwrr-tetex-3.0/share/texmf-dist/tex/lat ex/graphics/dvips.def)))) (/nix/store/8z6c6s3zg8livm85xrc360z91c1gzwrr-tetex-3.0/share/texmf-dist/tex/lat ex/psnfss/times.sty) Writing index file manual.idx No file manual.aux. (/nix/store/8z6c6s3zg8livm85xrc360z91c1gzwrr-tetex-3.0/share/texmf-dist/tex/lat ex/psnfss/ot1ptm.fd) (/nix/store/8z6c6s3zg8livm85xrc360z91c1gzwrr-tetex-3.0/share/texmf-dist/tex/lat ex/psnfss/ot1pcr.fd) No file manual.toc. [1] LaTeX Warning: Citation `BJKO2000' on page 2 undefined on input line 136. (/nix/store/8z6c6s3zg8livm85xrc360z91c1gzwrr-tetex-3.0/share/texmf-dist/tex/lat ex/psnfss/omsptm.fd) LaTeX Warning: Citation `BKMO97' on page 2 undefined on input line 148. LaTeX Warning: Citation `BOHK98' on page 2 undefined on input line 149. LaTeX Warning: Citation `BJKO2000' on page 2 undefined on input line 153. LaTeX Warning: Reference `usage' on page 2 undefined on input line 155. LaTeX Warning: Reference `lvl1' on page 2 undefined on input line 158. LaTeX Warning: Reference `lvl2' on page 2 undefined on input line 162. LaTeX Warning: Reference `utils' on page 2 undefined on input line 167. LaTeX Warning: Reference `sharing' on page 2 undefined on input line 177. LaTeX Warning: Reference `gc' on page 2 undefined on input line 180. LaTeX Warning: Reference `init' on page 2 undefined on input line 185. LaTeX Warning: Reference `prot' on page 2 undefined on input line 193. LaTeX Warning: Reference `baf' on page 2 undefined on input line 197. LaTeX Warning: Citation `BJKO2000' on page 2 undefined on input line 221. [2] Overfull \hbox (18.21326pt too wide) in paragraph at lines 232--232 [] \OT1/pcr/m/n/9 ATerm bottomOfStack; /* Used in initialisat ion of library */[] Overfull \hbox (18.21326pt too wide) in paragraph at lines 232--232 [] \OT1/pcr/m/n/9 ATinit(argc, argv, &bottomOfStack); /* Initialise the ATer m library. */[] Overfull \hbox (18.21326pt too wide) in paragraph at lines 232--232 [] \OT1/pcr/m/n/9 foo(); /* Call to code that w orks with ATerms. */[] Overfull \hbox (23.61325pt too wide) in paragraph at lines 270--270 []\OT1/pcr/m/n/9 #define NR_ENTRIES 42 /* arbitrary number for this example. */[] [3] Overfull \hbox (39.81323pt too wide) in paragraph at lines 270--270 [] \OT1/pcr/m/n/9 ATerm bottomOfStack; /* Used in initial isation of library */[] Overfull \hbox (39.81323pt too wide) in paragraph at lines 270--270 [] \OT1/pcr/m/n/9 ATinit(argc, argv, &bottomOfStack); /* Initialise the ATerm library. */[] Overfull \hbox (39.81323pt too wide) in paragraph at lines 270--270 [] \OT1/pcr/m/n/9 ATprotect(&global_aterm); /* Protect the glo bal aterm variable. */[] Overfull \hbox (39.81323pt too wide) in paragraph at lines 270--270 [] \OT1/pcr/m/n/9 ATprotectArray(global_arr, NR_ENTRIES); /* Protect the glo bal aterm array. */[] Overfull \hbox (39.81323pt too wide) in paragraph at lines 270--270 [] \OT1/pcr/m/n/9 foo(); /* Call to code th at works with ATerms. */[] LaTeX Warning: Reference `prot' on page 4 undefined on input line 274. LaTeX Warning: Reference `util-baffle' on page 4 undefined on input line 303. [4] LaTeX Warning: Reference `types1' on page 5 undefined on input line 345. LaTeX Warning: Reference `blob-vs-baf' on page 5 undefined on input line 348. LaTeX Warning: Reference `func1' on page 5 undefined on input line 350. LaTeX Warning: Reference `baf' on page 5 undefined on input line 385. [5] Overfull \hbox (18.21326pt too wide) in paragraph at lines 437--437 [] \OT1/pcr/m/n/9 term[0] = ATmake("" , ival); /* integer value: 42 */[] Overfull \hbox (18.21326pt too wide) in paragraph at lines 437--437 [] \OT1/pcr/m/n/9 term[1] = ATmake("" , func); /* quoted applicat ion: "f", no args */[] Overfull \hbox (18.21326pt too wide) in paragraph at lines 437--437 [] \OT1/pcr/m/n/9 term[2] = ATmake("", rval); /* real value: 3.1 4 */[] Overfull \hbox (18.21326pt too wide) in paragraph at lines 437--437 [] \OT1/pcr/m/n/9 term[3] = ATmake("", 8, blob); /* blob of size 8, data: 12345678 */[] Overfull \hbox (18.21326pt too wide) in paragraph at lines 437--437 [] \OT1/pcr/m/n/9 appl[2] = ATmake(", , )>", func, 42 , term[3], list[2]);[] [6] [7] [8] LaTeX Warning: Reference `sharing' on page 9 undefined on input line 547. ! Undefined control sequence. \ATbool l.572 ...e named {\tt filename} in textual format} ? ! Emergency stop. \ATbool l.572 ...e named {\tt filename} in textual format} Output written on manual.dvi (8 pages, 29872 bytes). Transcript written on manual.log. LaTeX Warning: Citation `BJKO2000' on page 2 undefined on input line 136. LaTeX Warning: Citation `BKMO97' on page 2 undefined on input line 148. LaTeX Warning: Citation `BOHK98' on page 2 undefined on input line 149. LaTeX Warning: Citation `BJKO2000' on page 2 undefined on input line 153. LaTeX Warning: Citation `BJKO2000' on page 2 undefined on input line 221. This is BibTeX, Version 0.99c (Web2C 7.5.4) The top-level auxiliary file: manual.aux I found no \bibdata command---while reading file manual.aux I found no \bibstyle command---while reading file manual.aux (There were 2 error messages) make[2]: Leaving directory `/tmp/nix-build-8fv97x92dd7jzidf5ad5j8yjnxi21v78-source-tarball.drv-0/adwp0x4fh8swckxffsh69448hcs7jb8w-svn-export/doc' TEXINPUTS=$TEXINPUTS:.;\ makeindex manual.idx ;\ latex ./manual.ltx ;\ dvips -o manual.ps manual.dvi This is makeindex, version 2.14 [02-Oct-2002] (kpathsea + Thai support). Scanning input file manual.idx....done (13 entries accepted, 0 rejected). Sorting entries....done (48 comparisons). Generating output file manual.ind....done (17 lines written, 0 warnings). Output written in manual.ind. Transcript written in manual.ilg. This is pdfeTeX, Version 3.141592-1.21a-2.2 (Web2C 7.5.4) entering extended mode (./manual.ltx LaTeX2e <2003/12/01> Babel and hyphenation patterns for american, french, german, ngerman, b ahasa, basque, bulgarian, catalan, croatian, czech, danish, dutch, esperanto, e stonian, finnish, greek, icelandic, irish, italian, latin, magyar, norsk, polis h, portuges, romanian, russian, serbian, slovak, slovene, spanish, swedish, tur kish, ukrainian, nohyphenation, loaded. (/nix/store/8z6c6s3zg8livm85xrc360z91c1gzwrr-tetex-3.0/share/texmf-dist/tex/lat ex/base/article.cls Document Class: article 2004/02/16 v1.4f Standard LaTeX document class (/nix/store/8z6c6s3zg8livm85xrc360z91c1gzwrr-tetex-3.0/share/texmf-dist/tex/lat ex/base/size10.clo)) (/nix/store/8z6c6s3zg8livm85xrc360z91c1gzwrr-tetex-3.0/share/texmf-dist/tex/lat ex/a4wide/a4wide.sty (/nix/store/8z6c6s3zg8livm85xrc360z91c1gzwrr-tetex-3.0/share/texmf-dist/tex/lat ex/ntgclass/a4.sty)) (/nix/store/8z6c6s3zg8livm85xrc360z91c1gzwrr-tetex-3.0/share/texmf-dist/tex/lat ex/tools/verbatim.sty) (/nix/store/8z6c6s3zg8livm85xrc360z91c1gzwrr-tetex-3.0/share/texmf-dist/tex/lat ex/base/makeidx.sty) (/nix/store/8z6c6s3zg8livm85xrc360z91c1gzwrr-tetex-3.0/share/texmf-dist/tex/lat ex/graphics/epsfig.sty (/nix/store/8z6c6s3zg8livm85xrc360z91c1gzwrr-tetex-3.0/share/texmf-dist/tex/lat ex/graphics/graphicx.sty (/nix/store/8z6c6s3zg8livm85xrc360z91c1gzwrr-tetex-3.0/share/texmf-dist/tex/lat ex/graphics/keyval.sty) (/nix/store/8z6c6s3zg8livm85xrc360z91c1gzwrr-tetex-3.0/share/texmf-dist/tex/lat ex/graphics/graphics.sty (/nix/store/8z6c6s3zg8livm85xrc360z91c1gzwrr-tetex-3.0/share/texmf-dist/tex/lat ex/graphics/trig.sty) (/nix/store/8z6c6s3zg8livm85xrc360z91c1gzwrr-tetex-3.0/share/texmf-dist/tex/lat ex/graphics/graphics.cfg) (/nix/store/8z6c6s3zg8livm85xrc360z91c1gzwrr-tetex-3.0/share/texmf-dist/tex/lat ex/graphics/dvips.def)))) (/nix/store/8z6c6s3zg8livm85xrc360z91c1gzwrr-tetex-3.0/share/texmf-dist/tex/lat ex/psnfss/times.sty) Writing index file manual.idx (./manual.aux) (/nix/store/8z6c6s3zg8livm85xrc360z91c1gzwrr-tetex-3.0/share/texmf-dist/tex/lat ex/psnfss/ot1ptm.fd) (/nix/store/8z6c6s3zg8livm85xrc360z91c1gzwrr-tetex-3.0/share/texmf-dist/tex/lat ex/psnfss/ot1pcr.fd) (./manual.toc) [1] LaTeX Warning: Citation `BJKO2000' on page 2 undefined on input line 136. (/nix/store/8z6c6s3zg8livm85xrc360z91c1gzwrr-tetex-3.0/share/texmf-dist/tex/lat ex/psnfss/omsptm.fd) LaTeX Warning: Citation `BKMO97' on page 2 undefined on input line 148. LaTeX Warning: Citation `BOHK98' on page 2 undefined on input line 149. LaTeX Warning: Citation `BJKO2000' on page 2 undefined on input line 153. LaTeX Warning: Reference `lvl2' on page 2 undefined on input line 162. LaTeX Warning: Reference `utils' on page 2 undefined on input line 167. LaTeX Warning: Citation `BJKO2000' on page 2 undefined on input line 221. [2] Overfull \hbox (18.21326pt too wide) in paragraph at lines 232--232 [] \OT1/pcr/m/n/9 ATerm bottomOfStack; /* Used in initialisat ion of library */[] Overfull \hbox (18.21326pt too wide) in paragraph at lines 232--232 [] \OT1/pcr/m/n/9 ATinit(argc, argv, &bottomOfStack); /* Initialise the ATer m library. */[] Overfull \hbox (18.21326pt too wide) in paragraph at lines 232--232 [] \OT1/pcr/m/n/9 foo(); /* Call to code that w orks with ATerms. */[] Overfull \hbox (23.61325pt too wide) in paragraph at lines 270--270 []\OT1/pcr/m/n/9 #define NR_ENTRIES 42 /* arbitrary number for this example. */[] [3] Overfull \hbox (39.81323pt too wide) in paragraph at lines 270--270 [] \OT1/pcr/m/n/9 ATerm bottomOfStack; /* Used in initial isation of library */[] Overfull \hbox (39.81323pt too wide) in paragraph at lines 270--270 [] \OT1/pcr/m/n/9 ATinit(argc, argv, &bottomOfStack); /* Initialise the ATerm library. */[] Overfull \hbox (39.81323pt too wide) in paragraph at lines 270--270 [] \OT1/pcr/m/n/9 ATprotect(&global_aterm); /* Protect the glo bal aterm variable. */[] Overfull \hbox (39.81323pt too wide) in paragraph at lines 270--270 [] \OT1/pcr/m/n/9 ATprotectArray(global_arr, NR_ENTRIES); /* Protect the glo bal aterm array. */[] Overfull \hbox (39.81323pt too wide) in paragraph at lines 270--270 [] \OT1/pcr/m/n/9 foo(); /* Call to code th at works with ATerms. */[] LaTeX Warning: Reference `util-baffle' on page 4 undefined on input line 303. [4] [5] Overfull \hbox (18.21326pt too wide) in paragraph at lines 437--437 [] \OT1/pcr/m/n/9 term[0] = ATmake("" , ival); /* integer value: 42 */[] Overfull \hbox (18.21326pt too wide) in paragraph at lines 437--437 [] \OT1/pcr/m/n/9 term[1] = ATmake("" , func); /* quoted applicat ion: "f", no args */[] Overfull \hbox (18.21326pt too wide) in paragraph at lines 437--437 [] \OT1/pcr/m/n/9 term[2] = ATmake("", rval); /* real value: 3.1 4 */[] Overfull \hbox (18.21326pt too wide) in paragraph at lines 437--437 [] \OT1/pcr/m/n/9 term[3] = ATmake("", 8, blob); /* blob of size 8, data: 12345678 */[] Overfull \hbox (18.21326pt too wide) in paragraph at lines 437--437 [] \OT1/pcr/m/n/9 appl[2] = ATmake(", , )>", func, 42 , term[3], list[2]);[] [6] [7] [8] ! Undefined control sequence. \ATbool l.572 ...e named {\tt filename} in textual format} ? ! Emergency stop. \ATbool l.572 ...e named {\tt filename} in textual format} Output written on manual.dvi (8 pages, 29796 bytes). Transcript written on manual.log. This is dvips(k) 5.95a Copyright 2005 Radical Eye Software (www.radicaleye.com) ' TeX output 2008.04.11:2054' -> manual.ps <8r.enc>. [1] [2] [3] [4] [5] [6] [7] [8] building distdir list='examples spec'; for subdir in $list; do \ if test "$subdir" = .; then :; else \ test -d "/tmp/nix-build-8fv97x92dd7jzidf5ad5j8yjnxi21v78-source-tarball.drv-0/adwp0x4fh8swckxffsh69448hcs7jb8w-svn-export/aterm-2.5/doc/$subdir" \ || mkdir -p -- "/tmp/nix-build-8fv97x92dd7jzidf5ad5j8yjnxi21v78-source-tarball.drv-0/adwp0x4fh8swckxffsh69448hcs7jb8w-svn-export/aterm-2.5/doc/$subdir" \ || exit 1; \ distdir=`CDPATH="${ZSH_VERSION+.}:" && cd /tmp/nix-build-8fv97x92dd7jzidf5ad5j8yjnxi21v78-source-tarball.drv-0/adwp0x4fh8swckxffsh69448hcs7jb8w-svn-export/aterm-2.5/doc && pwd`; \ top_distdir=`CDPATH="${ZSH_VERSION+.}:" && cd /tmp/nix-build-8fv97x92dd7jzidf5ad5j8yjnxi21v78-source-tarball.drv-0/adwp0x4fh8swckxffsh69448hcs7jb8w-svn-export/aterm-2.5 && pwd`; \ (cd $subdir && \ make \ top_distdir="$top_distdir" \ distdir="$distdir/$subdir" \ distdir) \ || exit 1; \ fi; \ done make[2]: Entering directory `/tmp/nix-build-8fv97x92dd7jzidf5ad5j8yjnxi21v78-source-tarball.drv-0/adwp0x4fh8swckxffsh69448hcs7jb8w-svn-export/doc/examples' building distdir make[2]: Leaving directory `/tmp/nix-build-8fv97x92dd7jzidf5ad5j8yjnxi21v78-source-tarball.drv-0/adwp0x4fh8swckxffsh69448hcs7jb8w-svn-export/doc/examples' make[2]: Entering directory `/tmp/nix-build-8fv97x92dd7jzidf5ad5j8yjnxi21v78-source-tarball.drv-0/adwp0x4fh8swckxffsh69448hcs7jb8w-svn-export/doc/spec' building distdir make[2]: Leaving directory `/tmp/nix-build-8fv97x92dd7jzidf5ad5j8yjnxi21v78-source-tarball.drv-0/adwp0x4fh8swckxffsh69448hcs7jb8w-svn-export/doc/spec' make[1]: Leaving directory `/tmp/nix-build-8fv97x92dd7jzidf5ad5j8yjnxi21v78-source-tarball.drv-0/adwp0x4fh8swckxffsh69448hcs7jb8w-svn-export/doc' find aterm-2.5 -type d ! -perm -777 -exec chmod a+rwx {} \; -o \ ! -type d ! -perm -444 -links 1 -exec chmod a+r {} \; -o \ ! -type d ! -perm -400 -exec chmod a+r {} \; -o \ ! -type d ! -perm -444 -exec /bin/sh /tmp/nix-build-8fv97x92dd7jzidf5ad5j8yjnxi21v78-source-tarball.drv-0/adwp0x4fh8swckxffsh69448hcs7jb8w-svn-export/install-sh -c -m a+r {} {} \; \ || chmod -R a+r aterm-2.5 building dist tardir=aterm-2.5 && /bin/sh /tmp/nix-build-8fv97x92dd7jzidf5ad5j8yjnxi21v78-source-tarball.drv-0/adwp0x4fh8swckxffsh69448hcs7jb8w-svn-export/missing --run tar chof - "$tardir" | GZIP=--best gzip -c >aterm-2.5.tar.gz { test ! -d aterm-2.5 || { find aterm-2.5 -type d ! -perm -200 -exec chmod u+w {} ';' && rm -fr aterm-2.5; }; } `aterm-2.5.tar.gz' -> `/nix/store/f7ps5m0ww3vn0van7wr5hx9ksw2d7gi6-source-tarball/tarballs/aterm-2.5.tar.gz'