This commit was manufactured by cvs2svn to create tag 'rel-1_2_8'.

Sprout from master 2001-10-16 15:24:27 UTC Daniel Diaz <daniel.diaz@univ-paris1.fr> 'fix bug in flag_c.c destroying ebp' Cherrypick from master 2009-12-07 11:05:22 UTC Daniel Diaz <daniel.diaz@univ-paris1.fr> 'updates for windows': doc/compil-scheme.gif doc/contents_motif.gif doc/debug-box.gif doc/do_latex doc/gprolog.tex doc/html_node/.cvsignore doc/html_node/README doc/html_node/compil-scheme.gif doc/html_node/debug-box.gif doc/html_node/hh-mkind.tex doc/html_node/hh-mktoc.tex doc/html_node/hh_do_hhc_hhk Delete: examples/ExamplesC/Makefile examples/ExamplesC/README examples/ExamplesC/examp.pl examples/ExamplesC/examp_c.c examples/ExamplesC/new_main.pl examples/ExamplesC/new_main_c.c examples/ExamplesFD/Makefile examples/ExamplesFD/alpha.pl examples/ExamplesFD/array.pl examples/ExamplesFD/bdiag.pl examples/ExamplesFD/bdonald.pl examples/ExamplesFD/bpigeon.pl examples/ExamplesFD/bqueens.pl examples/ExamplesFD/bramsey.pl examples/ExamplesFD/bridge.pl examples/ExamplesFD/bridge1.pl examples/ExamplesFD/bschur.pl examples/ExamplesFD/bsend.pl examples/ExamplesFD/cars.pl examples/ExamplesFD/crypta.pl examples/ExamplesFD/digit8.pl examples/ExamplesFD/donald.pl examples/ExamplesFD/eq10.pl examples/ExamplesFD/eq20.pl examples/ExamplesFD/five.pl examples/ExamplesFD/gardner.pl examples/ExamplesFD/magic.pl examples/ExamplesFD/magsq.pl examples/ExamplesFD/multipl.pl examples/ExamplesFD/partit.pl examples/ExamplesFD/qg5.pl examples/ExamplesFD/queens.pl examples/ExamplesFD/queens_fd.fd examples/ExamplesFD/send.pl examples/ExamplesFD/square.pl examples/ExamplesFD/srq.pl examples/ExamplesPl/BINPROLOG/HOOK.pl examples/ExamplesPl/BINPROLOG/MAKE_CLEAN examples/ExamplesPl/BINPROLOG/MAKE_PROGS examples/ExamplesPl/CIAO/HOOK.pl examples/ExamplesPl/CIAO/MAKE_CLEAN examples/ExamplesPl/CIAO/MAKE_PROGS examples/ExamplesPl/Makefile examples/ExamplesPl/PROGS examples/ExamplesPl/README examples/ExamplesPl/SICSTUS/HOOK.pl examples/ExamplesPl/SICSTUS/MAKE_CLEAN examples/ExamplesPl/SICSTUS/MAKE_PROGS examples/ExamplesPl/SWI/HOOK.pl examples/ExamplesPl/SWI/MAKE_CLEAN examples/ExamplesPl/SWI/MAKE_PROGS examples/ExamplesPl/WAMCC/HOOK.pl examples/ExamplesPl/WAMCC/MAKE_CLEAN examples/ExamplesPl/WAMCC/MAKE_PROGS examples/ExamplesPl/XSB/HOOK.pl examples/ExamplesPl/XSB/MAKE_CLEAN examples/ExamplesPl/XSB/MAKE_PROGS examples/ExamplesPl/YAP/HOOK.pl examples/ExamplesPl/YAP/MAKE_CLEAN examples/ExamplesPl/YAP/MAKE_PROGS examples/ExamplesPl/boyer.pl examples/ExamplesPl/browse.pl examples/ExamplesPl/cal.pl examples/ExamplesPl/chat_parser.pl examples/ExamplesPl/common.pl examples/ExamplesPl/crypt.pl examples/ExamplesPl/ham.pl examples/ExamplesPl/hook.pl examples/ExamplesPl/meta_qsort.pl examples/ExamplesPl/nand.pl examples/ExamplesPl/nrev.pl examples/ExamplesPl/poly_10.pl examples/ExamplesPl/qsort.pl examples/ExamplesPl/queens.pl examples/ExamplesPl/queensn.pl examples/ExamplesPl/query.pl examples/ExamplesPl/reducer.pl examples/ExamplesPl/sdda.pl examples/ExamplesPl/sendmore.pl examples/ExamplesPl/tak.pl examples/ExamplesPl/tak_gvar.pl examples/ExamplesPl/zebra.pl
didoudiaz · Dec 7, 2009 · 0dddeec · 0dddeec
1 parent 49ac6b0
commit 0dddeec
Show file tree

Hide file tree

Showing 94 changed files with 287 additions and 8,933 deletions.
diff --git a/doc/compil-scheme.gif b/doc/compil-scheme.gif
diff --git a/doc/contents_motif.gif b/doc/contents_motif.gif
diff --git a/doc/debug-box.gif b/doc/debug-box.gif
diff --git a/doc/do_latex b/doc/do_latex
@@ -0,0 +1,154 @@
+#!/bin/sh
+
+# Daniel Diaz 
+# LaTeX and PDF LaTeX compiler invocator
+# also executes makeindex and bibtex if needed
+# version 1.0
+# Fri Jan 24 16:33:11 CET 2003
+
+usage ()
+{
+    echo 'do_latex [OPTIONS] FILE'
+    echo
+    echo 'Options:'
+    echo '   -dvi      create a DVI file'
+    echo '   -pdf      create a PDF file'
+    echo '   -silent   redirect (pdf)latex output to /dev/null'
+    echo '   -trace    trace mode'
+    echo '   -h        this help'
+    exit 0
+}
+
+
+
+trace_msg ()
+
+{
+ test $trace = 1 && echo "$file: $*"
+}
+
+
+
+differ ()
+
+{
+ if diff $1 $2  >/dev/null 2>&1
+ then
+    false
+ else
+    true
+ fi
+}
+
+
+
+
+restore ()
+
+{
+ f=$1.$2
+ fp=$1.$type.$2
+
+ if test -f $fp; then
+    trace_msg "restoring: copying $fp to $f"
+    cp -a $fp $f
+ fi
+}
+
+
+
+save ()
+
+{
+ f=$1.$2
+ fp=$1.$type.$2
+
+ if test ! -f $f; then
+    return
+ fi
+
+ if test ! -f $fp || `differ $f $fp`; then
+    trace_msg "files $f and $fp differ - redo"
+    redo=1
+ fi
+
+ trace_msg "files $f and $fp are identical - moving $f to $fp"
+ mv $f $fp
+}
+
+
+one_cmd ()
+{
+ trace_msg "executing $1 $redir"
+ outfile=$base.$type
+ outfileerr=$base.err.$type
+ eval $1 $redir
+ err=$?
+ if test $err = 0; then
+    trace_msg "removing $outfileerr"
+    rm -f $outfileerr
+ else
+    trace_msg "compilation error (status=$err)"
+    if test -f $outfile; then
+	trace_msg "moving partial resulting file $outfile to $outfileerr"
+	mv $outfile $outfileerr
+    fi
+    exit $err
+ fi
+}
+
+compile ()
+{
+ base=`dirname $file`/`basename $file .tex`
+
+ for s in $suffixes; do
+    restore $base $s
+ done
+
+ one_cmd "$compiler $file"
+
+ if test -f $base.idx; then
+    one_cmd "makeindex $base.idx"
+ fi
+
+ redo=0
+ if fgrep -q '\bibdata{' $base.aux; then
+    one_cmd "bibtex $base"
+ fi
+
+ for s in $suffixes; do
+    save $base $s
+ done
+}
+
+
+
+suffixes='aux toc idx ind bbl'
+
+type=dvi
+compiler=latex
+redi=''
+trace=0
+file_list=''
+
+while test $# -gt 0 ; do
+    case $1 in
+	-dvi)     type=dvi; compiler=latex;;
+	-pdf)     type=pdf; compiler=pdflatex;;
+        -silent)  redir=">/dev/null";;
+	-trace)   trace=1;;
+	-h|-help) usage;;
+	-*)       echo "unrecognized option $1 - use -f for help"; exit 1;;
+	*)        file_list="$file_list $1";;
+    esac
+    shift
+done
+
+for file in $file_list; do
+    redo=1
+    while test $redo = 1; do
+       compile
+    done
+done
+exit 0
+
diff --git a/doc/gprolog.tex b/doc/gprolog.tex
@@ -0,0 +1,4 @@
+\input{packages.tex}
+\input{macros.tex}
+\input{body.tex}
+
diff --git a/doc/html_node/.cvsignore b/doc/html_node/.cvsignore
@@ -0,0 +1,4 @@
+*.hind *.haux *.hrf
+*.hhc *.hhk *.hhp
+
+
diff --git a/doc/html_node/README b/doc/html_node/README
@@ -0,0 +1,12 @@
+In this directory everything can be removed except :
+
+   compile-scheme.gif and debug_box.gif (they should also be in the parent directory)
+
+and some files needed to build a .chm :
+
+   hh_do_hhc_hhk    a script to create hh-gprolog.hhc (toc) hh-gprolog.hhk (index)
+   hh-mkind.tex     used by the script to create .hhc
+   hh-mktoc.tex     used by the script to create .hhk
+
+   hh-gprolog.hhp   a HTMLHelp project to build the .chm
+
diff --git a/doc/html_node/compil-scheme.gif b/doc/html_node/compil-scheme.gif
diff --git a/doc/html_node/debug-box.gif b/doc/html_node/debug-box.gif
diff --git a/doc/html_node/hh-mkind.tex b/doc/html_node/hh-mkind.tex
@@ -0,0 +1,51 @@
+% usefilter mode:  hevea -text -w 1000 <hh-mkind.tex >hh-gprolog.hhk
+\documentclass{article}
+
+\def\bs{\char'134}
+\def\lt{\char'074}
+\def\gt{\char'076}
+\def\lb{\char'173}
+\def\rb{\char'175}
+\def\us{\char'137}
+
+\newcommand{\Tag}[1]{{\lt}#1{\gt}}
+
+\renewenvironment{indexenv}{\Tag{ul}\\}{\Tag{/ul}\\}
+
+\renewcommand{\indexspace}{\\}
+
+\renewcommand{\indexitem}[1]{%
+\Tag{li}\Tag{object type="text/sitemap"}\\%
+~~~~\Tag{param name="Name" value="#1"}\\}
+
+\newcommand{\OneEntry}[1]{%
+~~~~\Tag{param name="Local" value="#1"}\\}
+
+\newcommand{\enditem}{%
+~~~~\Tag{/object}\\}
+
+\renewcommand{\@locref}[2]{\OneEntry{\csname#1\endcsname\#{}#1}}
+
+\newcommand{\see}[2]{%
+~~~~\Tag{param name="See Also" value="#1"}\\}
+
+\newcommand{\remember}[2]{\def\csname#1\endcsname{#2}}
+
+\input{/tmp/gprolog.hrf.hh}
+
+\begin{document}
+\Tag{HTML}\\
+\Tag{HEAD}\\
+\Tag{!-- Sitemap 1.0 --}\\
+\Tag{/HEAD}\\
+\Tag{BODY}\\
+%\Tag{object type="text/site properties"}\\
+%~~~~\Tag{param name="FrameName" value="right"}\\
+%~~~~\Tag{param name="Window Styles" value="0x800025"}\\
+%\Tag{/object}\\
+\input{/tmp/gprolog.hind.hh}
+%\input{foo.hind.hh}
+\Tag{/BODY}\\
+\Tag{/HTML}\\
+\end{document}
+
diff --git a/doc/html_node/hh-mktoc.tex b/doc/html_node/hh-mktoc.tex
@@ -0,0 +1,47 @@
+% use filter mode:  hevea -text -w 1000 <hh-mktoc.tex >hh-gprolog.hhc
+\documentclass{article}
+
+\def\bs{\char'134}
+\def\lt{\char'074}
+\def\gt{\char'076}
+\def\lb{\char'173}
+\def\rb{\char'175}
+\def\us{\char'137}
+\newcommand{\Tag}[1]{{\lt}#1{\gt}}
+
+\renewenvironment{tocenv}{\Tag{ul}\\}{\Tag{/ul}\\}
+
+\renewcommand{\tocitem}[1][]{}
+
+\renewcommand{\@locref}[2]{\OneEntry{\csname#1\endcsname\#{}#1}{#2}}
+\renewcommand{\ahrefloc}[2]{\@locref{#1}{#2}}
+
+\newcommand{\OneEntry}[2]{%
+\Tag{li}\Tag{object type="text/sitemap"}\\%
+~~~~\Tag{param name="Name" value="{\def\\{}#2}"}\\%
+~~~~\Tag{param name="Local" value="#1"}\\%
+~~~~\Tag{/object}\\}
+
+\newcommand{\remember}[2]{\def\csname#1\endcsname{#2}}
+
+\input{/tmp/gprolog.hrf.hh}
+
+\begin{document}
+\Tag{HTML}\\
+\Tag{HEAD}\\
+\Tag{!-- Sitemap 1.0 --}\\
+\Tag{/HEAD}\\
+\Tag{BODY}\\
+%\Tag{object type="text/site properties"}\\
+%~~~~\Tag{param name="FrameName" value="right"}\\
+%~~~~\Tag{param name="Window Styles" value="0x800025"}\\
+%\Tag{/object}\\
+\begin{tocenv}
+\OneEntry{index.html}{The GNU Prolog Manual}
+\input{../gprolog.htoc}
+%\input{foo.htoc}
+\end{tocenv}
+\Tag{/BODY}\\
+\Tag{/HTML}\\
+\end{document}
+
diff --git a/doc/html_node/hh_do_hhc_hhk b/doc/html_node/hh_do_hhc_hhk
@@ -0,0 +1,15 @@
+#!/bin/sh
+
+p=${1:-manual}
+
+sed -e 's!^\([^	]*\)	\(.*\)$!\\remember{\1}{\2}!' $p.hrf >/tmp/$p.hrf.hh
+hevea -text -w 1000 <hh-mktoc.tex | sed  -e '/^----------/,$d' >hh-$p.hhc
+
+sed -e 's!^\\indexitem \([^,]*\)\(, .*\)!\\indexitem{\1}\2£\\enditem!' \
+    -e 's!^\\indexitem \([^,]*,[^,]*\)\(, .*\)!\\indexitem{\1}\2£\\enditem!' \
+    -e 's!^\\indexitem{\([^}]*\)}\(, \\see *{\(.*\)} *{\\@locref\)!\\indexitem{\1, see \3}\2!' \
+    -e 's!, \\!£\\!g' \
+    ../$p.hind \
+    | tr '£' '\n' \
+    >/tmp/$p.hind.hh
+hevea -text -w 1000 <hh-mkind.tex | sed  -e '/^----------/,$d' >hh-$p.hhk
diff --git a/examples/ExamplesC/Makefile b/examples/ExamplesC/Makefile
diff --git a/examples/ExamplesC/README b/examples/ExamplesC/README
diff --git a/examples/ExamplesC/examp.pl b/examples/ExamplesC/examp.pl