aboutsummaryrefslogtreecommitdiff
path: root/skribe/etc
diff options
context:
space:
mode:
Diffstat (limited to 'skribe/etc')
-rw-r--r--skribe/etc/ChangeLog698
-rw-r--r--skribe/etc/Makefile50
-rw-r--r--skribe/etc/bigloo/Makefile114
-rw-r--r--skribe/etc/bigloo/Makefile.tpl200
-rw-r--r--skribe/etc/bigloo/autoconf/Makefile53
-rwxr-xr-xskribe/etc/bigloo/autoconf/bfildir36
-rwxr-xr-xskribe/etc/bigloo/autoconf/blibdir36
-rwxr-xr-xskribe/etc/bigloo/autoconf/bversion42
-rwxr-xr-xskribe/etc/bigloo/autoconf/getbversion36
-rwxr-xr-xskribe/etc/bigloo/autoconf/gmaketest38
-rwxr-xr-xskribe/etc/bigloo/configure552
-rw-r--r--skribe/etc/skribe-config.in64
-rw-r--r--skribe/etc/stklos/Makefile.config.in5
-rw-r--r--skribe/etc/stklos/Makefile.in44
-rw-r--r--skribe/etc/stklos/Makefile.skb.in5
-rwxr-xr-xskribe/etc/stklos/configure830
-rw-r--r--skribe/etc/stklos/configure.in57
17 files changed, 2860 insertions, 0 deletions
diff --git a/skribe/etc/ChangeLog b/skribe/etc/ChangeLog
new file mode 100644
index 0000000..6987245
--- /dev/null
+++ b/skribe/etc/ChangeLog
@@ -0,0 +1,698 @@
+Thu Jun 2 10:58:23 CEST 2005 (Manuel Serrano):
+
+ *** Minor changes in acmproc.skr and html.skr in order to improve
+ HTML div generation of abstracts.
+
+
+Thu May 26 12:59:53 CEST 2005 (Manuel Serrano):
+
+ *** Fix LaTeX author address printing.
+
+
+Sun Apr 10 09:10:31 CEST 2005 (Manuel Serrano):
+
+ * Handles correctly LaTeX \charNUMNUMNUM commands in Skribebibtex.
+ This enables handling ~ as \char126.
+
+
+Fri Mar 4 08:44:36 CET 2005 (Manuel Serrano):
+
+ *** Fix HTML inner links. If the reference pointed to by a link
+ is located inside the document, the link doest contain the file name
+ any longer. This enables the renaming of the HTML file while preserving
+ the correctness of the HTML links.
+
+
+Wed Nov 17 11:10:53 CET 2004 (Erick Gallesio, Manuel Serrano):
+
+ ********* release 1.2b.
+
+
+Wed Nov 10 11:03:47 CET 2004 (Manuel Serrano):
+
+ * The image conversion process is now coherent. That is, when an
+ image does not need conversion, it is still copied into the
+ output directory.
+
+
+Mon Nov 8 11:00:07 CET 2004 (Erick Gallesio)
+
+ * skr/web-book.skr: Added the option :margin-title to web-book
+
+
+Thu Oct 28 21:53:34 CEST 2004 (Erick Gallesio)
+
+ * New back-end using the ConTeXt TeX macro package
+
+
+Tue Oct 26 10:52:05 CEST 2004 (Erick Gallesio):
+
+ * Added the STklos skribebibtex. Makefile and hierearchy changed
+ accordingly.
+
+
+Thu Oct 21 14:55:04 CEST 2004 (Ludovic Courtès):
+
+ *** Bibliography parsers use SKRIBE-READ instead of READ.
+
+
+Mon Oct 11 15:47:08 CEST 2004 (Manuel Serrano):
+
+ *** Fix TABLE construction in src/common/api.scm.
+
+
+Fri Oct 8 22:14:06 CEST 2004 (Manuel Serrano):
+
+ *** Fix a bug in src/common/api.scm. The subsection environment
+ was erroneously represented as a shared constant instead of a
+ freshly allocated list.
+
+
+Thu Sep 23 19:30:13 CEST 2004 (Manuel Serrano):
+
+ *** Fix the definition of the ITEM markup that was erroneously
+ doubling its :key attribute.
+
+
+Thu Sep 23 17:15:21 CEST 2004 (Erick Gallesio)
+
+ * In the documentation the installed skribe-config script was used,
+ instead of the one of the distribution. Fixed.
+
+
+Wed Sep 22 14:51:45 CEST 2004 (Damien Ciabrini):
+
+ * New latex-simple.skr Skribe style that let's LaTex handling
+ references, links, and the enables non-breakable ~ character.
+
+
+Wed Sep 22 14:11:36 CEST 2004 (Manuel Serrano):
+
+ *** Improve error detections.
+
+
+Wed Sep 22 02:13:59 CEST 2004 (Manuel Serrano):
+
+ * Change the start and stop SOURCE markup. These can now be
+ integer standing for line numbers or then can be marks matched
+ against the beginning of the lines.
+
+
+Sun Jul 11 10:38:23 CEST 2004 (Manuel Serrano):
+
+ *** Fix SKRIBE.el paragraph delimiters.
+
+
+Wed Jul 7 06:23:49 CEST 2004 (Manuel Serrano):
+
+ *** Switch the execution order of verify and resolve. Resolve now
+ takes place *before* verify (because verify simply requires the
+ ast to be already resolved).
+
+
+Wed Jun 23 16:56:57 CEST 2004 (Manuel Serrano):
+
+ *** etc/bigloo/configure, README.java: add JVM visibility over the
+ environment variable SKRIBEPATH.
+
+
+Tue Jun 22 09:47:37 CEST 2004 (Manuel Serrano):
+
+ * skr/html.skr: Add the inline-css HTML engine custom.
+
+
+Mon May 31 18:51:09 CEST 2004 (Erick Gallesio)
+
+ *** skr/html.skr: Added the charset custom to html
+
+
+Mon May 31 14:35:17 CEST 2004 (Manuel Serrano):
+
+ *** skr/html.skr: fix a small HTML compliance bug in the TD/TH
+ background color emission.
+
+
+Fri May 21 16:44:53 CEST 2004 (Yann Dirson):
+
+ *** Add DESTDIR to generated Bigloo Makefiles (in order to ease
+ the Debian package).
+
+
+Fri May 21 16:12:48 CEST 2004 (Stéphane Epardaud):
+
+ *** src/bigloo/engine.scm: Fix a bug in ENGINE-FORMAT?
+
+
+Fri May 21 15:54:46 CEST 2004 (Manuel Serrano):
+
+ *** skr/web-book.skr: Add subsection to navigation tocs.
+
+
+Mon May 17 10:14:25 CEST 2004 (Manuel Serrano):
+
+ *** src/bigloo/xml.scm: Improve XML fontification.
+
+
+Mon May 10 21:00:10 CEST 2004 (Manuel Serrano):
+
+ *** skr/html.skr: Fix an error in negative relative font size handling.
+
+
+Thu Apr 29 05:52:53 CEST 2004 (Manuel Serrano):
+
+ *** skr/html.skr: Add JS custom.
+
+ * src/common/lib.scm: Add ENGINE-CUSTOM-ADD!.
+
+
+Tue Apr 20 13:40:00 CEST 2004 (Manuel Serrano):
+
+ *** skr/html.skr: Add &html-figure-legend to the figure
+ writer.
+
+
+Tue Apr 20 12:07:36 CEST 2004 (Manuel Serrano):
+
+ *** skr/base.skr: fix a bug in &bib-entry emission. The writer
+ used to display the label of the entry (&bib-entry-label) was
+ the writer of the default engine instead of the engine of the
+ dynamically active engine.
+
+
+Tue Apr 13 10:11:33 CEST 2004 (Manuel Serrano):
+
+ *** skr/html.skr: Fix SUI mark reference generation.
+
+
+Tue Apr 6 06:58:28 CEST 2004 (Manuel Serrano):
+
+ *** doc/user/{engine,latexe}.skb: add document about engines.
+
+
+Thu Apr 1 14:43:47 CEST 2004 (Manuel Serrano):
+
+ *** src/bigloo/evapi.scm: export the SKRIBE-READ function into
+ the standard api.
+
+
+Fri Mar 26 05:50:10 CET 2004 (Manuel Serrano):
+
+ *** skr/latex.skr, skr/slide.skr: fix PRE and PROG LaTeX tabcolsep.
+
+
+Wed Mar 24 16:37:06 CET 2004 (Manuel Serrano):
+
+ *** skr/latex.skr: add the postdocument custom.
+
+ *** skr/web-article.skr: fix illegal html identifiers (add
+ calls to STRING-CANONICALIZE).
+
+
+Mon Mar 22 15:53:37 CET 2004 (Erick Gallesio):
+
+ * Fix a bash problem in the configure driver script.
+
+
+Tue Mar 16 09:44:49 CET 2004 (Erick Gallesio, Manuel Serrano):
+
+ ********* release 1.1a.
+
+
+Mon Mar 15 00:00:37 CET 2004 (Erick Gallesio):
+
+ *** skr/html.skr: Changed the generated JavaScript for email
+ obfuscation to be conform to HTML 4. This is an ugly hack.
+
+
+Thu Mar 11 11:28:17 CET 2004 (Manfred Lotz):
+
+ *** emacs/emacs.el.in: Fix error in font lock declarations.
+
+ *** skr/latex.skr: fix inconsistency in bold face generation.
+
+
+Wed Mar 10 06:06:48 CET 2004 (Manuel Serrano):
+
+ *** src/lib/bigloo.bgl, skr/latex.skr: fix a path bug in
+ BUILTIN-CONVERT-IMAGE. The generated image was generated in the
+ source directory but it should be generated in the target directory.
+
+
+Mon Mar 8 11:40:46 CET 2004 (Manuel Serrano):
+
+ * src/common/lib.scm: add an optional filler to LIST-SPLIT.
+
+
+Sat Mar 6 21:17:45 CET 2004 (Manuel Serrano):
+
+ *** skr/html.skr: change the generation of font markup. It now uses
+ <big> and <small> as much as possible.
+
+ *** skr/html.skr: fix mailto markup.
+
+
+Fri Mar 5 18:45:34 CET 2004 (Manuel Serrano):
+
+ *** src/{bigloo,stklos}/{engine,types,writer}.{scm,stk} rename
+ inherit in delegate.
+
+
+Sun Feb 29 06:40:53 CET 2004 (Manuel Serrano):
+
+ *** src/bigloo/lib.bgl: change image conversion in order to avoid
+ new conversion when the target image already exists.
+
+ *** src/bigloo/writer.scm: change MARKUP-WRITER-GET. The optional
+ argument PRED may now be #unspecified which means that writers
+ predicate are not checked during the search.
+
+
+Sat Feb 28 10:18:16 CET 2004 (Erick Gallesio):
+
+ *** src/stklos/reader.stk (%read-bracket): Bug correction: ",("
+ sequences in strings were interpreted.
+
+
+Thu Feb 26 20:44:50 CET 2004 (Erick Gallesio):
+
+ *** main.stk: Added the --use-variant option
+
+Thu Feb 26 16:33:49 CET 2004 (Erick Gallesio):
+
+ *** Documentation can now be conform to HTML 4.01, if compiled
+ using html4.skr
+
+
+Thu Feb 26 10:18:21 CET 2004 (Manuel Serrano):
+
+ * src/common/api.scm, skr/html.skr: ref markups have no default class.
+ The HTML engine generates a class which is the name of the protocol
+ of the reference (i.e., ftp, http, file, ...) for url references.
+
+
+Wed Feb 25 06:41:51 CET 2004 (Manuel Serrano):
+
+ *** src/bigloo/engine.scm: add PUSH-DEFAULT-ENGINE and
+ POP-DEFAULT-ENGINE.
+
+
+Wed Feb 25 01:03:22 CET 2004 (Erick Gallesio):
+
+ *** skr/html4.skr: File that must be preloaded to produce HTML
+ 4.01 output
+
+
+Mon Feb 23 10:13:57 CET 2004 (Manuel Serrano):
+
+ *** skr/latex.skr: change the output of URL-REF when a text is
+ provided.
+
+
+Sat Feb 21 10:39:26 CET 2004 (Manuel Serrano):
+
+ * Document standard packages (letter, french, web-book, acmproc, ...).
+
+
+Fri Feb 20 07:36:09 CET 2004 (Manuel Serrano):
+
+ *** skr/html.skr: add the lower case Nu greek symbol.
+
+
+Thu Feb 19 18:28:43 CET 2004 (Manuel Serrano):
+
+ * doc/skr/api.skr: Improve MAKE-ENGINE? predicate in order to
+ break deeply recursive searches.
+
+Wed Feb 19 00:48:47 CET 2004 (Erick Gallesio):
+ *** src/stklos/writer.stk: writers can be cloned with COPY-MARKUP-WRITER
+
+Wed Feb 18 22:55:20 CET 2004 (Erick Gallesio):
+
+ *** src/stklos/output.stk: added a way to insert a validation phase
+ before outputting a markup. This should permit, for instance to
+ verify that a document is conform to certain constraints, as a DTD.
+
+Wed Feb 18 13:25:47 CET 2004 (Manuel Serrano):
+
+ *** src/bigloo/lib.bgl: change STRING-CANONICALIZE to get rid
+ of #\# characters that pose problem for both HTML and LaTeX.
+
+
+Wed Feb 18 12:03:11 CET 2004 (Manuel Serrano):
+
+ *** skr/latex.skr: improve error detection of FONT markups.
+
+
+Tue Feb 17 13:26:38 CET 2004 (Manuel Serrano):
+
+ *** src/common/api.scm, skr/html.skr, skr/latex.skr: fix the big
+ mess about string used by references (string-canonicalize).
+
+ *** src/common/api.scm, skr/html.skr, skr/latex.skr: fix bibliography
+ references. Bibliography database must be loaded prior to bibliography
+ entries are referenced. Otherwise, this causes a problem of fix
+ point iterations between citations and database printing.
+
+
+Tue Feb 17 11:36:19 CET 2004 (Damien Ciabrini):
+
+ *** src/common/sui.scm: fix sui subsection and subsubsection
+ searches.
+
+
+Tue Feb 17 06:42:44 CET 2004 (Manuel Serrano):
+
+ *** skr/html.skr, skr/latex.skr: add the TABLE rules 'header
+ option.
+
+
+Mon Feb 16 15:02:19 CET 2004 (Manuel Serrano):
+
+ *** tools/skribebibtex/skribebibtex.scm: add n~ and N~ character
+ parsing.
+
+
+Thu Feb 12 22:26:31 CET 2004 (Manuel Serrano):
+
+ *** Get rid of the user stage.
+
+
+Thu Feb 12 16:31:41 CET 2004 (Manuel Serrano):
+
+ *** src/common/api.scm: fix table border width handling (option
+ was ignored).
+
+
+Thu Feb 12 16:13:48 CET 2004 (Manuel Serrano):
+
+ *** src/common/api.scm, skr/html.skr: Improve HTML4.01 compliance.
+
+
+Thu Feb 12 10:42:30 CET 2004 (Manuel Serrano):
+
+ *** src/bigloo/lisp.scm, skr/html.skr, skr/latex.skr: add
+ &source-error markup.
+
+
+Wed Feb 11 09:48:08 CET 2004 (Manuel Serrano):
+
+ *** src/bigloo/types.scm: The functions LANGUAGE-NAME,
+ LANGUAGE-FONTIFIER, and LANGUAGE-EXTRACTOR are now exported and
+ visible from the standard Skribe runtime system.
+
+ *** src/common/api.scm, skr/html.skr: Change the default table
+ attributes value for BORDER, CELLPADDING, and CELLSPACING in order
+ to get rid of warning messages when producing LaTeX documents.
+
+
+Mon Feb 9 20:38:28 CET 2004 (Manuel Serrano):
+
+ *** skr/latex.skr: fix tt, code, pre engine that were not using
+ the correct symbol table.
+
+
+Mon Feb 9 09:44:59 CET 2004 (Manuel Serrano):
+
+ *** src/bigloo/lib/bgl: fix the STRING-CANONICALIZE function
+ so now it turns #\space into #\_.
+
+
+Mon Feb 9 06:40:33 CET 2004 (Manuel Serrano):
+
+ *** src/bigloo/main.scm: the RC file (.skribe/skriberc) is now loaded
+ before the command line is parsed.
+
+
+Sat Feb 7 08:23:38 CET 2004 (Manuel Serrano):
+
+ * configure, src/bigloo/configure.bgl, src/common/configure.scm:
+ Improve the configuration mechanism (enabling dynamic configuration
+ tests).
+
+
+Fri Feb 6 10:10:31 CET 2004 (Manuel Serrano):
+
+ *** skr/html.skr, skr/slide.skr, skr/web-article.skr: redesign HTML
+ header generation.
+
+
+Wed Feb 4 14:58:25 CET 2004 (Manuel Serrano):
+
+ *** src/common/index.scm: indexes letter references are now
+ made unique.
+
+
+Wed Feb 4 05:24:51 CET 2004 (Manuel Serrano):
+
+ *** src/common/api.scm, src/{common,bigloo}/index.scm: improve
+ error localization for indexes.
+
+ *** skr/base.skr: improve indexed generation.
+
+
+Tue Feb 3 11:58:43 CET 2004 (Manuel Serrano):
+
+ * src/bigloo/param.scm, src/bigloo/parse-args.scm, src/bigloo/eval.scm:
+ add the -w?level command line option.
+
+
+Tue Feb 3 05:51:41 CET 2004 (Manuel Serrano):
+
+ *** src/common/api.scm, skr/{html.skr,latex.skr}, doc/user/table.skb:
+ Redesign of tables.
+
+
+Mon Feb 2 09:43:28 CET 2004 (Manuel Serrano):
+
+ *** skr/html.skr: Improve HTML4.01 compliance.
+
+ *** skr/latex.skr: Fix LaTeX symbol table.
+
+ *** src/common/api.scm: Fix color declaration in TC and TR.
+
+
+Sun Feb 1 06:18:08 CET 2004 (Manuel Serrano):
+
+ *** src/bigloo/c.scm, src/bigloo/xml.scm: fix multi-lines
+ fontification in C and XML mode. Older fontification was producing
+ ill-formed LaTeX outputs.
+
+ *** src/common/api.scm: fix figure identifier.
+
+
+Wed Jan 28 20:57:11 CET 2004 (Manuel Serrano):
+
+ * WEB-ARTICLE.SKR now supports the :css option that enables CSS
+ production and sets the CSS to be used.
+
+
+Mon Jan 26 15:25:12 CET 2004 (Manuel Serrano):
+
+ *** skr/html.skr: various HTML4.01 conformity fixes.
+
+
+Sun Jan 25 18:31:19 CET 2004 (Manuel Serrano):
+
+ *** skr/slide.skr: fix a error is the slide numbering.
+
+
+Thu Jan 22 07:28:08 CET 2004 (Manuel Serrano):
+
+ *** src/common/api.scm: fix a bug in multiple bib references.
+
+
+Sun Jan 18 11:55:56 CET 2004 (Manuel Serrano):
+
+ *** skr/html.skr: fix a bug in the HTML class attribute production.
+
+ * src/bigloo/asm.scm: Creation of the assembly fontification (asm).
+
+
+Sat Jan 17 18:26:00 CET 2004 (Manuel Serrano):
+
+ * src/bigloo/api.sch, skr/slide.skr: Change the definition
+ of DEFINE-MARKUP. This macro now defines a function and a macro.
+ The macro adds an extra parameters called &SKRIBE-EVAL-LOCATION
+ that can be used inside the body of the defined function to retrieve
+ the location of the call. This is extremely useful for function
+ that defines new nodes. In general, it is desired that the location
+ associated with these nodes is the user call to the function that
+ has created the node, instead of the location of the call to
+ the constructor.
+
+
+Fri Jan 16 06:56:14 CET 2004 (Manuel Serrano):
+
+ * emacs/skribe.el.in: fontification of markups "PROG" and "SOURCE".
+
+ * skr/html.skr, skr/web-article.skr: explicit introduction of two
+ dummy markups &HTML-DOCUMENT-HEADER and &HTML-DOCUMENT-TITLE for
+ enabling user fine-grain customizations.
+
+
+Thu Jan 15 17:57:01 CET 2004 (Manuel Serrano):
+
+ *** src/bigloo/eval.scm, src/bigloo/lib.bgl, src/bigloo/resolve.scm,
+ src/common/api.scm:
+ Improved location detection for unbound references (such as
+ unbound (ref :bib ...).
+
+
+Wed Jan 14 08:03:18 CET 2004 (Manuel Serrano):
+
+ * src/common/api.scm, src/common/bib.scm, src/bigloo/bib.bgl,
+ doc/user/bib.skb, doc/user/links.skb: change the bibliography
+ table mechanism. Bib tables are now first class citizen.
+
+
+Tue Jan 13 16:22:30 CET 2004 (Manuel Serrano):
+
+ * src/bigloo/eval.scm, src/bigloo/parse-args.scm, src/bigloo/lib.bgl,
+ src/common/api.scm, src/bigloo/source.scm, doc/user/lib.skb:
+ Creation of the SKRIBE-{IMAGE,BIB,SOURCE}-PATH and
+ SKRIBE-{IMAGE,BIB,SOURCE}-PATH-SET! functions.
+
+ * src/common/api.scm, skr/html.skr, skr/latex.skr, doc/usr/image.skb:
+ Add :URL image option.
+
+
+Tue Jan 13 09:02:18 CET 2004 (Manuel Serrano):
+
+ *** src/bigloo/eval.scm, src/bigloo/parse-args.scm, doc/user/lib.skb:
+ Remove the SKRIBE-PATH-ADD! function. Only SKRIBE-PATH-SET! lefts.
+
+
+Tue Jan 13 08:59:17 CET 2004 (Todd Dukes):
+
+ *** configure: Fix illegal shell exports.
+
+
+Mon Jan 12 13:50:29 CET 2004 (Manuel Serrano):
+
+ * src/bigloo/eval.scm: Add the functions SKRIBE-PATH, SKRIBE-PATH-SET!,
+ and SKRIBE-PATH-ADD!.
+
+
+Mon Jan 12 12:02:58 CET 2004 (Manuel Serrano):
+
+ *** skr/latex.skr: fix when color were disabled.
+
+
+Mon Jan 12 09:17:46 CET 2004 (Manuel Serrano):
+
+ *** skr/html.skr: change the default value of css which used to
+ be '(quote ()) and which is now ().
+
+
+Sat Jan 10 10:00:08 CET 2004 (Manuel Serrano):
+
+ * src/common/api.scm, src/bigloo/types.scm, src/bigloo/output.scm:
+ Add the PROCEDURE field to PROCESSOR nodes .
+
+ * skr/web-article.skb: Creation of this new package.
+
+
+Fri Jan 9 15:35:03 CET 2004 (Manuel Serrano):
+
+ * The slide.skr package is now documented in the user manual.
+
+ * SKRIBE-LOAD and SKRIBE-LOAD-OPTIONS are now documented.
+
+
+Wed Jan 7 16:37:52 CET 2004 (Manuel Serrano):
+
+ * skr/html.skr, skr/latex.skr: fix &source-type and
+ &source-bracket markups implementation.
+
+
+Wed Jan 7 11:29:16 CET 2004 (Manuel Serrano):
+
+ * src/bigloo/color.scm: colors are lower case, the search
+ color search is lower case.
+
+ *** src/bigloo/color.scm: fix a bug in the string search.
+
+ *** skr/latex.skr: The LaTeX engines now uses the "symbol" itemize
+ option.
+
+ *** skr/latex.skr: The LaTeX engines now uses the "key" item
+ option.
+
+
+Wed Jan 7 06:12:53 CET 2004 (Manuel Serrano):
+
+ * Add skribe-emacs-dir in emacs/skribe.el.in.
+
+ * Add the skribe-indent-load in emacs/skribe.el.in.
+
+ * Add --emacs-dir in etc/skribe-config.
+
+
+Sat Jan 3 06:59:15 CET 2004 (Manuel Serrano):
+
+ * etc/ChangeLog is now included in the distribution and included
+ in the Web page.
+
+ * Extensions are now uploaded on the Skribe ftp server. They are
+ also listed from the Skribe Web page.
+
+
+Fri Jan 2 21:21:52 CET 2004 (Manuel Serrano):
+
+ * Add a chapter for skribe-config in the user documentation.
+
+ * Creation of the directory documentation that gives information
+ about the installed extensions.
+
+
+Thu Jan 1 06:21:39 CET 2004 (Manuel Serrano):
+
+ * Implement the SUI link mechanisms.
+
+ *** Fix RESOLVE-SEARCH-PARENT whose behavior was incorrect for orphans.
+
+ * Add SKRIBE-DOC-DIR in configure.scm.in.
+
+
+Dec 30 22:09:54 CET 2003 (Manuel Serrano):
+
+ *** Fix FIND-MARKUP-IDENT whose return type was incorrect.
+
+ * Add the :URL option to the INDEX markup.
+
+
+Thu Dec 18 09:12:33 CET 2003 (Erick Gallesio, Manuel Serrano):
+
+ ********* release 1.0a.
+
+
+Wed Dec 17 10:22:27 CET 2003 (Manuel Serrano):
+
+ * Change the processor nodes. The COMBINATOR argument is no longer
+ required to be a procedure. It can be #f.
+
+ * Export predicates such as COMMAND?, UNRESOLVED? and PROCESSOR?.
+ Export the accessors associated with these primitive types.
+
+
+Tue Dec 9 16:44:01 CET 2003 (Manuel Serrano):
+
+ * the "q" markup now introduces a new node that is handled by the
+ engines.
+
+
+Thu Dec 4 09:53:24 CET 2003 (Manuel Serrano):
+
+ * Bib (Bigloo) manager now detects duplicate entries.
+
+ *** Fix LaTeX engine (latex.skr). LaTeX titles (for chapters,
+ sections, ...) where incorrects.
+
+ *** Various fixes in skribe.el.
+
+
+Mon Nov 24 10:28:15 CET 2003 (Manuel Serrano):
+
+ * Add -c, --custom command line options.
+
+ * Re-design the SUI file generation.
diff --git a/skribe/etc/Makefile b/skribe/etc/Makefile
new file mode 100644
index 0000000..349fcf8
--- /dev/null
+++ b/skribe/etc/Makefile
@@ -0,0 +1,50 @@
+#*=====================================================================*/
+#* serrano/prgm/project/skribe/etc/Makefile */
+#* ------------------------------------------------------------- */
+#* Author : Manuel Serrano */
+#* Creation : Sat Oct 25 08:29:30 2003 */
+#* Last change : Sat Jan 3 06:40:19 2004 (serrano) */
+#* Copyright : 2003-04 Manuel Serrano */
+#* ------------------------------------------------------------- */
+#* The Skribe Meta etc Makefile */
+#*=====================================================================*/
+include ../etc/Makefile.config
+include ../etc/$(SYSTEM)/Makefile.skb
+
+#*---------------------------------------------------------------------*/
+#* pop */
+#*---------------------------------------------------------------------*/
+.PHONY: pop
+
+pop:
+ @ echo etc/Makefile etc/skribe-config.in etc/ChangeLog
+ @ (cd bigloo && $(MAKE) pop)
+ @ (cd stklos && $(MAKE) pop)
+
+#*---------------------------------------------------------------------*/
+#* Install/Uninstall */
+#*---------------------------------------------------------------------*/
+.PHONY: install uninstall
+
+install: $(DESTDIR)$(INSTALL_EXTDIR)
+ cp skribe-config $(DESTDIR)$(INSTALL_BINDIR) && \
+ chmod $(BMASK) $(DESTDIR)$(INSTALL_BINDIR)/skribe-config
+
+uninstall:
+ $(RM) -f $(DESTDIR)$(INSTALL_BINDIR)/skribe-config
+
+$(DESTDIR)$(INSTALL_EXTDIR):
+ mkdir -p $(DESTDIR)$(INSTALL_EXTDIR) && chmod a+rx $(DESTDIR)$(INSTALL_EXTDIR)
+
+
+#*---------------------------------------------------------------------*/
+#* clean/distclean */
+#*---------------------------------------------------------------------*/
+.PHONY: clean distclean
+
+clean:
+ (cd $(SYSTEM) && $(MAKE) clean)
+
+distclean: clean
+ (cd $(SYSTEM) && $(MAKE) distclean)
+ $(RM) -f skribe-config config
diff --git a/skribe/etc/bigloo/Makefile b/skribe/etc/bigloo/Makefile
new file mode 100644
index 0000000..82ffceb
--- /dev/null
+++ b/skribe/etc/bigloo/Makefile
@@ -0,0 +1,114 @@
+#*=====================================================================*/
+#* serrano/prgm/project/skribe/etc/bigloo/Makefile */
+#* ------------------------------------------------------------- */
+#* Author : Manuel Serrano */
+#* Creation : Thu Oct 23 08:58:55 2003 */
+#* Last change : Wed Nov 17 10:51:50 2004 (serrano) */
+#* Copyright : 2003-04 Manuel Serrano */
+#* ------------------------------------------------------------- */
+#* The Bigloo etc Makefile */
+#*=====================================================================*/
+include Makefile.skb
+include ../Makefile.config
+
+#*---------------------------------------------------------------------*/
+#* TMPDIR */
+#*---------------------------------------------------------------------*/
+DISTRIBTMPDIR = /tmp
+DISTRIBDIR = $$HOME/prgm/distrib
+
+#*---------------------------------------------------------------------*/
+#* POPULATION */
+#*---------------------------------------------------------------------*/
+POPULATION = configure Makefile Makefile.tpl
+
+#*---------------------------------------------------------------------*/
+#* distrib */
+#* ------------------------------------------------------------- */
+#* This rule must be executed in the main SKribe directory */
+#* (i.e. ../..). They must be run with a command such as: */
+#* "cd skribe; make -f etc/bigloo/Makefile distrib". */
+#*---------------------------------------------------------------------*/
+.PHONY: distrib distrib-src distrib-jvm
+
+distrib: distrib-src # distrib-jvm
+
+#*--- distrib-src -----------------------------------------------------*/
+distrib-src:
+ @ echo ">>> distrib-src"; \
+ (skribedir=`pwd` \
+ && /bin/rm -rf $(DISTRIBTMPDIR)/skribe \
+ && mkdir -p $(DISTRIBTMPDIR)/skribe \
+ && cd $(DISTRIBTMPDIR)/skribe \
+ && $(MAKE) -f $$skribedir/Makefile -I $$skribedir checkout \
+ && /bin/rm -rf contribs \
+ && $(MAKE) -f $$skribedir/etc/bigloo/Makefile -I $$skribedir/etc/bigloo do-distrib-src \
+ && $(RM) -rf $(DISTRIBTMPDIR)/skribe$(SKRIBERELEASE))
+
+.PHONY: do-distrib-src
+do-distrib-src:
+ (cd .. && \
+ mv skribe skribe$(SKRIBERELEASE) && \
+ tar cvfz $(DISTRIBDIR)/skribe$(SKRIBERELEASE).tar.gz skribe$(SKRIBERELEASE))
+
+#*--- distrib-jvm -----------------------------------------------------*/
+distrib-jvm:
+ @ echo ">>> distrib-jvm"; \
+ (skribedir=`pwd` \
+ && /bin/rm -rf $(DISTRIBTMPDIR)/skribe \
+ && mkdir -p $(DISTRIBTMPDIR)/skribe \
+ && cd $(DISTRIBTMPDIR)/skribe \
+ && $(MAKE) -f $$skribedir/Makefile -I $$skribedir checkout \
+ && /bin/rm -rf contribs \
+ && $(MAKE) -f $$skribedir/etc/bigloo/Makefile -I $$skribedir/etc/bigloo do-distrib-jvm \
+ && $(RM) -rf $(DISTRIBTMPDIR)/skribe)
+
+.PHONY: do-distrib-jvm
+do-distrib-jvm: lib bin lib/bigloo_s.zip
+ $(RM) -f $(DISTRIBDIR)/skribe$(SKRIBERELEASE).zip
+ (./configure --with-bigloo --jvm \
+ && $(MAKE) \
+ && cd .. \
+ && zip -qr $(ZFLAGS) $(DISTRIBDIR)/skribe$(SKRIBERELEASE).zip \
+ skribe \
+ -x "*~" \
+ -x "*/bin/*-bigloo" \
+ -x "*.class" \
+ -x "*.o")
+
+#*--- bigloo_s.zip ----------------------------------------------------*/
+lib/bigloo_s.zip: lib
+ cp $(FILDIR)/bigloo_s.zip $@
+
+#*--- lib -------------------------------------------------------------*/
+lib:
+ mkdir -p lib
+
+#*--- bin -------------------------------------------------------------*/
+bin:
+ mkdir -p bin
+
+#*---------------------------------------------------------------------*/
+#* pop */
+#*---------------------------------------------------------------------*/
+.PHONY: pop
+
+pop:
+ @ echo $(POPULATION:%=etc/bigloo/%)
+ @ (cd autoconf && $(MAKE) -s pop)
+
+#*---------------------------------------------------------------------*/
+#* clean */
+#*---------------------------------------------------------------------*/
+.PHONY: clean distclean
+
+clean:
+ /bin/rm -f ../../lib/bigloo_s.zip
+
+#*--- distclean -------------------------------------------------------*/
+distclean:
+ /bin/rm -f Makefile.skb
+ /bin/rm -f ../../src/common/configure.scm
+
+
+
diff --git a/skribe/etc/bigloo/Makefile.tpl b/skribe/etc/bigloo/Makefile.tpl
new file mode 100644
index 0000000..24326c1
--- /dev/null
+++ b/skribe/etc/bigloo/Makefile.tpl
@@ -0,0 +1,200 @@
+#*=====================================================================*/
+#* serrano/prgm/project/skribe/etc/bigloo/Makefile.tpl */
+#* ------------------------------------------------------------- */
+#* Author : Manuel Serrano */
+#* Creation : Wed Nov 7 09:20:47 2001 */
+#* Last change : Wed Feb 18 11:23:12 2004 (serrano) */
+#* Copyright : 2001-04 Manuel Serrano */
+#* ------------------------------------------------------------- */
+#* Standard Skribe makefile to build various libraries. */
+#*=====================================================================*/
+
+#*---------------------------------------------------------------------*/
+#* Compilers, Tools and Destinations */
+#*---------------------------------------------------------------------*/
+# The heap file
+HEAP_FILE = $(LIB)/$(TARGETNAME).heap
+HEAPJVM_FILE = $(LIB)/$(TARGETNAME).jheap
+# Where to store the library class files
+PBASE = bigloo.skribe.$(TARGETNAME)
+CLASS_DIR = o/class_s/bigloo/skribe/$(TARGETNAME)
+O_DIR = o
+
+BUNSAFEFLAGS = -unsafe
+
+#*---------------------------------------------------------------------*/
+#* Suffixes */
+#*---------------------------------------------------------------------*/
+.SUFFIXES:
+.SUFFIXES: .scm .class .o
+
+#*---------------------------------------------------------------------*/
+#* The implicit rules */
+#*---------------------------------------------------------------------*/
+$(O_DIR)/%.o: %.scm
+ $(BIGLOO) $(BUNSAFEFLAGS) $(BCFLAGS) $(BCOMMONFLAGS) -c $< -o $@
+
+$(CLASS_DIR)/%.class: %.scm
+ $(BIGLOO) $(BUNSAFEFLAGS) $(BJVMFLAGS) $(BCOMMONFLAGS) -c $< -o $@
+
+#*---------------------------------------------------------------------*/
+#* bin */
+#*---------------------------------------------------------------------*/
+.PHONY: bin-c bin-jvm
+
+#*--- bin-c -----------------------------------------------------------*/
+bin-c: $(TAGS) .afile .etags $(O_DIR) $(SKRIBEBINDIR)/$(TARGETNAME).bigloo
+
+$(SKRIBEBINDIR)/$(TARGETNAME).bigloo: $(OBJECTS)
+ $(BIGLOO) $(BUNSAFEFLAGS) $(BLINKFLAGS) $(BCOMMONFLAGS) $(OBJECTS) -o $(SKRIBEBINDIR)/$(TARGETNAME).bigloo
+ @ echo "$(SKRIBEBINDIR)/$(TARGETNAME).bigloo done..."
+ @ echo "-------------------------------"
+
+#*--- bin-jvm ---------------------------------------------------------*/
+bin-jvm: $(TAGS) .afile .etags .jfile $(CLASS_DIR) $(SKRIBEBINDIR)/$(TARGETNAME).zip
+
+$(SKRIBEBINDIR)/$(TARGETNAME).zip: $(CLASSES)
+ @ /bin/rm -f $(SKRIBEBINDIR)/$(TARGETNAME).zip
+ @ (cd $(O_DIR)/class_s; \
+ $(ZIP) -q $(ZFLAGS) $(SKRIBEBINDIR)/$(TARGETNAME).zip -r .)
+ @ echo "$(SKRIBEBINDIR)/$(TARGETNAME).zip done..."
+ @ echo "-------------------------------"
+
+#*---------------------------------------------------------------------*/
+#* Directories */
+#*---------------------------------------------------------------------*/
+$(O_DIR):
+ mkdir -p $(O_DIR)
+
+$(CLASS_DIR):
+ mkdir -p $(CLASS_DIR)
+
+#*---------------------------------------------------------------------*/
+#* The heap construction */
+#*---------------------------------------------------------------------*/
+.PHONY: heap heap-c heap-jvm
+
+heap-c: $(HEAP_FILE)
+heap-jvm: $(HEAPJVM_FILE)
+
+$(HEAP_FILE): .afile make-lib.scm
+ @ \rm -f $(HEAP_FILE)
+ @ $(BIGLOO) $(BHEAPFLAGS) make-lib.scm -addheap $(HEAP_FILE)
+ @ echo "Heap Done..."
+ @ echo "-------------------------------"
+
+$(HEAPJVM_FILE): .jfile .afile make-lib.scm
+ @ \rm -f $(HEAPJVM_FILE)
+ @ $(BIGLOO) -jvm $(BHEAPFLAGS) make-lib.scm -addheap $(HEAPJVM_FILE)
+ @ echo "Heap JVM Done..."
+ @ echo "-------------------------------"
+
+#*---------------------------------------------------------------------*/
+#* lib */
+#*---------------------------------------------------------------------*/
+.PHONY: lib-c lib-jvm
+
+#*--- lib-c -----------------------------------------------------------*/
+lib-c: $(TAGS) .afile lib.$(SHAREDSUFFIX) lib.a
+
+lib.$(SHAREDSUFFIX): $(LIB)/lib$(TARGETNAME)_s.$(SHAREDSUFFIX) $(LIB)/lib$(TARGETNAME)_u.$(SHAREDSUFFIX)
+lib.a: $(LIB)/lib$(TARGETNAME)_s.a $(LIB)/lib$(TARGETNAME)_u.a
+
+$(LIB)/lib$(TARGETNAME)_u.$(SHAREDSUFFIX): $(LIB)/lib$(TARGETNAME)_s.$(SHAREDSUFFIX)
+ cd $(LIB); \
+ /bin/rm -f lib$(TARGETNAME)_u.$(SHAREDSUFFIX); \
+ ln -s lib$(TARGETNAME)_s.$(SHAREDSUFFIX) lib$(TARGETNAME)_u.$(SHAREDSUFFIX)
+
+$(LIB)/lib$(TARGETNAME)_s.$(SHAREDSUFFIX): .afile $(OBJECTS)
+ @ /bin/rm -f $(LIB)/lib$(TARGETNAME)_s.$(SHAREDSUFFIX)
+ @ $(LD) -o $(LIB)/lib$(TARGETNAME)_s.$(SHAREDSUFFIX) $(OBJECTS) -lm -lc
+ @ echo "lib$(TARGETNAME)_s.$(SHAREDSUFFIX) Done..."
+ @ echo "-------------------------------"
+
+$(LIB)/lib$(TARGETNAME)_u.a: $(LIB)/lib$(TARGETNAME)_s.a
+ cd $(LIB); \
+ /bin/rm -f lib$(TARGETNAME)_u.a; \
+ ln -s lib$(TARGETNAME)_s.a lib$(TARGETNAME)_u.a
+
+$(LIB)/lib$(TARGETNAME)_s.a: .afile $(OBJECTS)
+ @ /bin/rm -f $(LIB)/lib$(TARGETNAME)_s.a
+ @ $(AR) $(ARFLAGS) $(LIB)/lib$(TARGETNAME)_s.a $(OBJECTS)
+ @ $(RANLIB) $(LIB)/lib$(TARGETNAME)_s.a
+ @ echo "lib$(TARGETNAME)_s.a Done..."
+ @ echo "-------------------------------"
+
+#*--- lib-jvm ---------------------------------------------------------*/
+lib-jvm: $(TAGS) $(CLASS_DIR) lib.zip
+
+lib.zip: .afile .jfile $(CLASSES)
+ @ /bin/rm -f $(LIB)/$(TARGETNAME).zip
+ @ (cd $(O_DIR)/class_s; \
+ $(ZIP) -q $(ZFLAGS) \
+ $(LIB)/$(TARGETNAME)_s.zip \
+ $(CLASS_DIR:$(O_DIR)/class_s/%=%)/*.class)
+ @ echo "lib$(TARGETNAME)_s.zip done..."
+ @ echo "-------------------------------"
+
+#*---------------------------------------------------------------------*/
+#* ude */
+#*---------------------------------------------------------------------*/
+.PHONY: ude
+ude:
+ @ $(MAKE) -f Makefile .afile .etags
+
+.afile: $(SOURCES)
+ @ $(AFILE) -o .afile $(_BGL_SOURCES)
+
+.jfile: $(SOURCES)
+ @ $(JFILE) -o .jfile -pbase $(PBASE) $(SOURCES)
+
+.etags: $(SOURCES)
+ @ $(BTAGS) -o .etags $(_BGL_SOURCES)
+
+#*---------------------------------------------------------------------*/
+#* stdclean */
+#*---------------------------------------------------------------------*/
+stdclean:
+ /bin/rm -f $(OBJECTS) $(_BGL_OBJECTS:%=%.c)
+ /bin/rm -f $(SKRIBEBINDIR)/$(TARGETNAME).bigloo
+ /bin/rm -f $(SKRIBEBINDIR)/$(TARGETNAME).zip
+ /bin/rm -f $(LIB)/lib$(TARGETNAME)_s.$(SHAREDSUFFIX)
+ /bin/rm -f $(LIB)/lib$(TARGETNAME)_u.$(SHAREDSUFFIX)
+ /bin/rm -f .afile .etags .jfile
+ /bin/rm -rf $(O_DIR)
+ /bin/rm -f *~
+ /bin/rm -f *.mco
+
+#*---------------------------------------------------------------------*/
+#* install/uninstall */
+#*---------------------------------------------------------------------*/
+install:
+ $(MAKE) install-$(TARGET)
+
+uninstall:
+ $(MAKE) uninstall-$(TARGET)
+
+install-c: $(DESTDIR)$(INSTALL_BINDIR)
+ cp $(SKRIBEBINDIR)/$(TARGETNAME).bigloo $(DESTDIR)$(INSTALL_BINDIR)/$(TARGETNAME).bigloo \
+ && chmod $(BMASK) $(DESTDIR)$(INSTALL_BINDIR)/$(TARGETNAME).bigloo
+ /bin/rm -f $(DESTDIR)$(INSTALL_BINDIR)/$(TARGETNAME)
+ ln -s $(TARGETNAME).bigloo $(DESTDIR)$(INSTALL_BINDIR)/$(TARGETNAME)
+
+uninstall-c:
+ /bin/rm $(DESTDIR)$(INSTALL_BINDIR)/$(TARGETNAME).bigloo
+ /bin/rm $(DESTDIR)$(INSTALL_BINDIR)/$(TARGETNAME)
+
+install-jvm: $(DESTDIR)$(INSTALL_FILDIR)
+ cp $(SKRIBEBINDIR)/$(TARGETNAME).zip $(DESTDIR)$(INSTALL_FILDIR)/$(TARGETNAME).zip
+ cp $(FILDIR)/bigloo_s.zip $(DESTDIR)$(INSTALL_FILDIR)
+
+uninstall-jvm:
+ /bin/rm $(DESTDIR)$(INSTALL_FILDIR)/$(TARGETNAME).zip
+ /bin/rm -f $(DESTDIR)$(INSTALL_FILDIR)/bigloo_s.zip
+
+$(DESTDIR)$(INSTALL_BINDIR):
+ mkdir -p $(DESTDIR)$(INSTALL_BINDIR) && chmod $(BMASK) $(DESTDIR)$(INSTALL_BINDIR)
+
+$(FILDIR):
+ mkdir -p $(FILDIR) && chmod $(BMASK) $(DESTDIR)$(INSTALL_BINDIR)
+
diff --git a/skribe/etc/bigloo/autoconf/Makefile b/skribe/etc/bigloo/autoconf/Makefile
new file mode 100644
index 0000000..c077107
--- /dev/null
+++ b/skribe/etc/bigloo/autoconf/Makefile
@@ -0,0 +1,53 @@
+#*=====================================================================*/
+#* serrano/prgm/project/skribe/etc/bigloo/autoconf/Makefile */
+#* ------------------------------------------------------------- */
+#* Author : Manuel Serrano */
+#* Creation : Thu Jun 19 20:48:50 1997 */
+#* Last change : Sat Oct 25 08:34:37 2003 (serrano) */
+#* Copyright : 1997-2003 Manuel Serrano, see LICENSE file */
+#* ------------------------------------------------------------- */
+#* The global autoconf Makefile (mainly for backuping). */
+#*=====================================================================*/
+
+#*---------------------------------------------------------------------*/
+#* Flags */
+#*---------------------------------------------------------------------*/
+POPULATION = Makefile bversion getbversion blibdir gmaketest \
+ blstlen bfildir
+
+#*---------------------------------------------------------------------*/
+#* pop ... */
+#*---------------------------------------------------------------------*/
+pop:
+ @ echo $(POPULATION:%=etc/bigloo/autoconf/%)
+
+#*---------------------------------------------------------------------*/
+#* clean */
+#*---------------------------------------------------------------------*/
+.PHONY: clean cleanall distclean
+
+clean:
+ @ find . \( -name '*[~%]' \
+ -o -name '.??*[~%]' \
+ -o -name '#*#' \
+ -o -name '?*#' \
+ -o -name \*core \) \
+ -type f -exec rm {} \;
+ @ echo "cleanup done..."
+ @ echo "-------------------------------"
+
+cleanall: clean
+distclean: cleanall
+
+#*---------------------------------------------------------------------*/
+#* distrib */
+#*---------------------------------------------------------------------*/
+distrib: $(POPULATION)
+ @ if [ `pwd` = $$HOME/prgm/project/bglk/autoconf ]; then \
+ echo "*** ERROR:Illegal dir to make a distrib `pwd`"; \
+ exit 1; \
+ fi
+ @ $(MAKE) clean
+ @ chmod a+rx $(POPULATION)
+
+
diff --git a/skribe/etc/bigloo/autoconf/bfildir b/skribe/etc/bigloo/autoconf/bfildir
new file mode 100755
index 0000000..128d5c7
--- /dev/null
+++ b/skribe/etc/bigloo/autoconf/bfildir
@@ -0,0 +1,36 @@
+#!/bin/sh
+#*=====================================================================*/
+#* serrano/prgm/project/scribe/autoconf/bfildir */
+#* ------------------------------------------------------------- */
+#* Author : Manuel Serrano */
+#* Creation : Tue Jan 12 14:53:33 1999 */
+#* Last change : Wed Aug 7 21:41:06 2002 (serrano) */
+#* ------------------------------------------------------------- */
+#* Find out the directory where Bigloo is installed */
+#*=====================================================================*/
+bigloo=bigloo
+
+#*---------------------------------------------------------------------*/
+#* We parse the arguments */
+#*---------------------------------------------------------------------*/
+while : ; do
+ case $1 in
+ "")
+ break;;
+ --bigloo=*|-bigloo=*)
+ bigloo="`echo $1 | sed 's/^[-a-z]*=//'`";;
+
+ -*)
+ echo "Unknown option \"$1\", ignored" >&2;;
+ esac
+ shift
+done
+
+#*---------------------------------------------------------------------*/
+#* We spawn a bigloo process to check its version number */
+#*---------------------------------------------------------------------*/
+$bigloo -q -eval "(begin (print *default-lib-dir*) (exit 0))"
+
+exit 0
+
+
diff --git a/skribe/etc/bigloo/autoconf/blibdir b/skribe/etc/bigloo/autoconf/blibdir
new file mode 100755
index 0000000..603d484
--- /dev/null
+++ b/skribe/etc/bigloo/autoconf/blibdir
@@ -0,0 +1,36 @@
+#!/bin/sh
+#*=====================================================================*/
+#* serrano/prgm/project/scribe/autoconf/blibdir */
+#* ------------------------------------------------------------- */
+#* Author : Manuel Serrano */
+#* Creation : Tue Jan 12 14:53:33 1999 */
+#* Last change : Wed Aug 7 21:41:48 2002 (serrano) */
+#* ------------------------------------------------------------- */
+#* Find out the directory where Bigloo library is read. */
+#*=====================================================================*/
+bigloo=bigloo
+
+#*---------------------------------------------------------------------*/
+#* We parse the arguments */
+#*---------------------------------------------------------------------*/
+while : ; do
+ case $1 in
+ "")
+ break;;
+ --bigloo=*|-bigloo=*)
+ bigloo="`echo $1 | sed 's/^[-a-z]*=//'`";;
+
+ -*)
+ echo "Unknown option \"$1\", ignored" >&2;;
+ esac
+ shift
+done
+
+#*---------------------------------------------------------------------*/
+#* We spawn a bigloo process to check its version number */
+#*---------------------------------------------------------------------*/
+$bigloo -q -eval "(begin (print *ld-library-dir*) (exit 0))"
+
+exit 0
+
+
diff --git a/skribe/etc/bigloo/autoconf/bversion b/skribe/etc/bigloo/autoconf/bversion
new file mode 100755
index 0000000..1f24c86
--- /dev/null
+++ b/skribe/etc/bigloo/autoconf/bversion
@@ -0,0 +1,42 @@
+#!/bin/sh
+#*=====================================================================*/
+#* serrano/prgm/project/scribe/autoconf/bversion */
+#* ------------------------------------------------------------- */
+#* Author : Manuel Serrano */
+#* Creation : Tue Jan 12 14:33:21 1999 */
+#* Last change : Sun Jan 13 07:30:21 2002 (serrano) */
+#* ------------------------------------------------------------- */
+#* Check the current bigloo version */
+#*=====================================================================*/
+
+bigloo=bigloo
+version=2.4b
+
+#*---------------------------------------------------------------------*/
+#* We parse the arguments */
+#*---------------------------------------------------------------------*/
+while : ; do
+ case $1 in
+ "")
+ break;;
+ --bigloo=*|-bigloo=*)
+ bigloo="`echo $1 | sed 's/^[-a-z]*=//'`";;
+
+ --version=*|-version=*)
+ version="`echo $1 | sed 's/^[-a-z]*=//'`";;
+
+ -*)
+ echo "Unknown option \"$1\", ignored" >&2;;
+ esac
+ shift
+done
+
+#*---------------------------------------------------------------------*/
+#* We spawn a bigloo process to check its version number */
+#*---------------------------------------------------------------------*/
+bver=`$bigloo -q -eval "(exit (print *bigloo-version*))"`
+echo $bver
+
+$bigloo -q -eval "(exit (if (string>=? *bigloo-version* \"$version\") 0 1))"
+
+exit $?
diff --git a/skribe/etc/bigloo/autoconf/getbversion b/skribe/etc/bigloo/autoconf/getbversion
new file mode 100755
index 0000000..ff83b1c
--- /dev/null
+++ b/skribe/etc/bigloo/autoconf/getbversion
@@ -0,0 +1,36 @@
+#!/bin/sh
+#*=====================================================================*/
+#* serrano/prgm/project/bglk/autoconf/getbversion */
+#* ------------------------------------------------------------- */
+#* Author : Manuel Serrano */
+#* Creation : Tue Jan 12 14:33:21 1999 */
+#* Last change : Mon May 22 10:47:46 2000 (serrano) */
+#* ------------------------------------------------------------- */
+#* Get the current bigloo version (with the level) */
+#*=====================================================================*/
+
+bigloo=bigloo
+
+#*---------------------------------------------------------------------*/
+#* We parse the arguments */
+#*---------------------------------------------------------------------*/
+while : ; do
+ case $1 in
+ "")
+ break;;
+ --bigloo=*|-bigloo=*)
+ bigloo="`echo $1 | sed 's/^[-a-z]*=//'`";;
+
+ --version=*|-version=*)
+ version="`echo $1 | sed 's/^[-a-z]*=//'`";;
+
+ -*)
+ echo "Unknown option \"$1\", ignored" >&2;;
+ esac
+ shift
+done
+
+#*---------------------------------------------------------------------*/
+#* We spawn a bigloo process to check its version number */
+#*---------------------------------------------------------------------*/
+$bigloo -q -eval "(begin (print *bigloo-version*) (exit 0))"
diff --git a/skribe/etc/bigloo/autoconf/gmaketest b/skribe/etc/bigloo/autoconf/gmaketest
new file mode 100755
index 0000000..1bedd72
--- /dev/null
+++ b/skribe/etc/bigloo/autoconf/gmaketest
@@ -0,0 +1,38 @@
+#!/bin/sh
+#*=====================================================================*/
+#* serrano/prgm/project/bigloo/autoconf/gmaketest */
+#* ------------------------------------------------------------- */
+#* Author : Manuel Serrano */
+#* Creation : Thu Jan 14 10:31:33 1999 */
+#* Last change : Thu May 18 07:19:28 2000 (serrano) */
+#* ------------------------------------------------------------- */
+#* Checsk that Make is GNU make */
+#*=====================================================================*/
+
+#*---------------------------------------------------------------------*/
+#* flags */
+#*---------------------------------------------------------------------*/
+make=make
+
+#*---------------------------------------------------------------------*/
+#* We parse the arguments */
+#*---------------------------------------------------------------------*/
+while : ; do
+ case $1 in
+ "")
+ break;;
+
+ --make=*)
+ make="`echo $1 | sed 's/^[-a-z]*=//'`";;
+
+ -*)
+ echo "Unknown option \"$1\", ignored" >&2;;
+ esac
+ shift
+done
+
+# Check the make version number
+$make -v --version | grep -i "gnu make" > /dev/null
+
+# Return the grep result
+exit $?
diff --git a/skribe/etc/bigloo/configure b/skribe/etc/bigloo/configure
new file mode 100755
index 0000000..9215911
--- /dev/null
+++ b/skribe/etc/bigloo/configure
@@ -0,0 +1,552 @@
+#!/bin/sh
+#*=====================================================================*/
+#* serrano/prgm/project/skribe/etc/bigloo/configure */
+#* ------------------------------------------------------------- */
+#* Author : Manuel Serrano */
+#* Creation : Tue Jan 25 16:05:10 1994 */
+#* Last change : Tue Aug 24 10:31:53 2004 (serrano) */
+#* Copyright : 1994-2004 Manuel Serrano, see LICENSE file */
+#* ------------------------------------------------------------- */
+#* The skribe configuration file */
+#*=====================================================================*/
+
+# the name of the current bigloo compiler
+bigloo=bigloo
+target=c
+
+# bigloo compilation flags
+bcommonflags="-no-hello -fno-reflection"
+blinkflags="-no-hello -ld-relative -O3"
+boptflags="$bcommonflags -O3"
+bsafeflags="$bcommonflags -g"
+bflags="$boptflags"
+bheapflags="-unsafe -q -mkaddheap -mkaddlib"
+bcflags="-copt \"$""(CPICFLAGS)\""
+bjvmflags="-jvm -jvm-purify -saw -jvm-env SKRIBEPATH"
+prcs=/usr/bin/prcs
+
+# the afile, jfile and btags binaries
+afile=afile
+jfile=
+btags=btags
+bdepend=bdepend
+
+# C compilation (left blank for automatic configuration (from Bigloo setup))
+cc=
+cflags=
+ldopt=
+
+# path (left blank for automatic configuration (from Bigloo setup))
+bgllibdir=
+bglbindir=
+bgllddir=
+bgldocdir=
+skribebindir=
+skribelibdir=
+skribefildir=
+skribeskrdir=
+skribeextdir=
+skribedocdir=
+skribemandir=
+
+# mask of Skribe intalled files
+smask=755
+
+#*---------------------------------------------------------------------*/
+#* !!! DON'T EDIT AFTER THIS COMMENT !!! */
+#*---------------------------------------------------------------------*/
+if [ "x$DISTRIBDIR" = "x" ]; then
+ distribdir=$HOME/prgm/distrib
+else
+ distribdir=$DISTRIBDIR
+fi
+
+if [ "x$SKRIBERELEASE" = "x" ]; then
+ echo "*** ERROR:configure:release. Aborting"
+ echo "Variable \"SKRIBERELEASE\" is unset."
+ exit 1;
+else
+ release=$SKRIBERELEASE
+fi
+
+if [ "x$SKRIBEBETARELEASE" = "x" ]; then
+ if [ -f $prcs ]; then
+ beta=`$prcs info skribe 2>&1 /dev/null | tail --lines=1 | awk '{ print $2 }' | sed 's/[0-9]*[.][0-9]*[a-z]*/&-beta/'`
+ elif [ -f /usr/local/bin/prcs ]; then
+ beta=`/usr/local/bin/prcs info skribe 2>&1 /dev/null | tail --lines=1 | awk '{ print $2 }' | sed 's/[0-9]*[.][0-9]*[a-z]*/&-beta/'`
+ else
+ beta=no
+ fi
+else
+ beta=$SKRIBEBETARELEASE
+fi
+
+if [ "x$SKRIBEURL" = "x" ]; then
+ skribeurl="http://www.inria.fr/mimosa/fp/Skribe"
+else
+ skribeurl=$SKRIBEURL
+fi
+
+requiredbigloo=2.6c
+
+action=all
+makefile_config=Makefile.skb
+skribe_config=../../src/common/configure.scm
+summary=yes
+
+http="www-sop.inria.fr/mimosa/fp"
+autoconfdir=`dirname $0 2> /dev/null`/autoconf
+bootconfig=false;
+
+if [ $? != "0" ]; then
+ autoconfdir="autoconf"
+fi
+
+# Argument parsing
+while : ; do
+ case $1 in
+ "")
+ break;;
+
+ -c)
+ target=c;;
+
+ -j|--jvm)
+ target=jvm;;
+
+ -|--dotnet)
+ target=dotnet;;
+
+ --skribe_config=*)
+ action="skribe_config";
+ skribe_config="`echo $1 | sed 's/^[-a-z_.]*=//'`";;
+
+ --makefile.skb=*)
+ action="makefile.skb";
+ makefile_config="`echo $1 | sed 's/^[-Da-z.]*=//'`";;
+
+ --bglbindir=*)
+ bglbindir="`echo $1 | sed 's/^[-a-z]*=//'`";;
+
+ --bgllibdir=*)
+ bgllibdir="`echo $1 | sed 's/^[-a-z]*=//'`";;
+
+ --bgllddir=*)
+ bgllddir="`echo $1 | sed 's/^[-a-z]*=//'`";;
+
+ --bgldocdir=*)
+ bgldocdir="`echo $1 | sed 's/^[-a-z]*=//'`";;
+
+ --bindir=*)
+ skribebindir="`echo $1 | sed 's/^[-a-z]*=//'`";;
+
+ --libdir=*)
+ skribelibdir="`echo $1 | sed 's/^[-a-z]*=//'`";;
+
+ --fildir=*)
+ skribefildir="`echo $1 | sed 's/^[-a-z]*=//'`";;
+
+ --skrdir=*)
+ skribeskrdir="`echo $1 | sed 's/^[-a-z]*=//'`";;
+
+ --extdir=*)
+ skribeextdir="`echo $1 | sed 's/^[-a-z]*=//'`";;
+
+ --docdir=*)
+ skribedocdir="`echo $1 | sed 's/^[-a-z]*=//'`";;
+
+ --mandir=*)
+ skribemandir="`echo $1 | sed 's/^[-a-z]*=//'`";;
+
+ --bigloo=*)
+ bigloo="`echo $1 | sed 's/^[-a-z]*=//'`";;
+
+ --afile=*)
+ afile="`echo $1 | sed 's/^[-a-z]*=//'`";;
+
+ --jfile=*)
+ jfile="`echo $1 | sed 's/^[-a-z]*=//'`";;
+
+ --btags=*)
+ btags="`echo $1 | sed 's/^[-a-z]*=//'`";;
+
+ --mask=*)
+ smask="`echo $1 | sed 's/^[-a-z]*=//'`";;
+
+ --cc=*)
+ cc="`echo $1 | sed 's/^[-a-z]*=//'`";;
+
+ --cflags=*)
+ cflags="`echo $1 | sed 's/^[-a-z]*=//'`";;
+
+ --ldopt=*)
+ ldopt="`echo $1 | sed 's/^[-a-z]*=//'`";;
+
+ --backends=*)
+ backends="`echo $1 | sed 's/^[-a-z]*=//'`";;
+
+ --no-summary)
+ summary=no;;
+
+ --debug)
+ bflags="-g -cg $bsafeflags";;
+
+ --debug2)
+ bflags="-g2 -cg $bsafeflags";;
+
+ --debug3)
+ bflags="-g3 -cg $bsafeflags";;
+
+ --optimize)
+ bflags=$boptflags;;
+
+ --bjvmflags=*)
+ bjvmflags="`echo $1 | sed 's/^[-a-z]*=//'`";;
+
+ --bcflags=*)
+ bcflags="`echo $1 | sed 's/^[-a-z]*=//'`";;
+
+ --prefix=*)
+ prefix="`echo $1 | sed 's/^[^=]*=//'`";
+ skribebindir=$prefix/bin;
+ skribeskrdir=$prefix/share/skribe/$release/skr;
+ skribeextdir=$prefix/share/skribe/extensions;
+ skribelibdir=$prefix/lib
+ skribefildir=$skribelibdir/skribe/$release;
+ skribemandir=$prefix/man/man1;
+ skribedocdir=$prefix/doc/skribe-$release;;
+
+ --bootconfig)
+ bootconfig=true;;
+
+ -*)
+ echo "*** Configure error, unknown option $1" >&2;
+ echo >&2;
+ echo "Usage: configure --with-bigloo [options]" >&2;
+ echo " -c.................... uses the Bigloo C back-end" >&2;
+ echo " -j|--jvm.............. uses the Bigloo JVM back-end" >&2;
+ echo " -d|--dotnet........... uses the Bigloo .NET back-end" >&2;
+ echo " --skribe_config=file.. sets the name of the skribe-config file" >&2;
+ echo " --makefile.skb=file... sets the name of the Makefile.skb file" >&2;
+ echo " --prefix=dir.......... prefix to Skribe install" >&2;
+ echo " --bindir=file......... alternative Skribe bin directory" >&2;
+ echo " --libdir=file......... alternative Skribe lib directory" >&2;
+ echo " --fildir=file......... alternative Skribe file directory" >&2;
+ echo " --skrdir=file......... Skribe skr directory" >&2;
+ echo " --bglbindir=file...... Bigloo bin directory" >&2;
+ echo " --bgllibdir=file...... Bigloo lib directory" >&2;
+ echo " --bglfildir=file...... Bigloo file directory" >&2;
+ echo " --bgldocdir=file...... Bigloo doc directory" >&2;
+ echo " --docdir=file......... Documentation directory" >&2;
+ echo " --mandir=file......... Manual pages directory" >&2;
+ echo " --bigloo=comp......... The Bigloo compiler" >&2;
+ echo " --afile=afile......... The Bigloo afile tool" >&2;
+ echo " --jfile=jfile......... The Bigloo jfile tool" >&2;
+ echo " --btags=btags......... The Bigloo btags tool" >&2;
+ echo " --cc=comp............. The C compiler (for C back-end)" >&2;
+ echo " --cflags=args......... The C compilation options" >&2;
+ echo " --ldopt=args.......... The C link options" >&2;
+ echo " --smask=mask.......... The installation mask" >&2;
+ echo " --no-summary.......... Private option" >&2;
+ echo " --debug............... Enables Bigloo debug mode" >&2;
+ echo " --optimize............ Enables Bigloo optimization mode (default)" >&2;
+ echo " --bootconfig.......... Private option" >&2;
+ exit -1;
+ esac
+ shift
+done
+
+#*---------------------------------------------------------------------*/
+#* First check if bigloo exists and if it is recent enough */
+#*---------------------------------------------------------------------*/
+if [ ! -f $bigloo ]; then
+ which $bigloo > /dev/null 2> /dev/null
+ if [ "$?" != "0" ]; then
+ echo "*** ERROR:configure:bigloo. Aborting"
+ echo "Can't find bigloo."
+ exit 1;
+ fi
+fi
+
+installedbigloo=`$autoconfdir/bversion --bigloo=$bigloo --version=$requiredbigloo`
+
+if [ $? != "0" ]; then
+ echo "*** ERROR:configure:bigloo. Aborting"
+ echo "Your version ($installedbigloo) of Bigloo is too old."
+ echo "Release $requiredbigloo or more recent is required."
+ echo "Bigloo may be downloaded from $http"
+ exit 1;
+fi
+
+#*---------------------------------------------------------------------*/
+#* The binary directory */
+#*---------------------------------------------------------------------*/
+if [ "$bglbindir " = " " ]; then
+ if [ "$bigloo " = " " ]; then
+ bgl=`which bigloo`;
+ else
+ bgl=`which $bigloo`;
+ fi
+ bglbindir=`dirname $bgl`
+fi
+if [ "$skribebindir " = " " ]; then
+ skribebindir=$prefix/bin;
+fi
+
+#*---------------------------------------------------------------------*/
+#* The Bigloo library directory */
+#*---------------------------------------------------------------------*/
+if [ "$bgllibdir " = " " ]; then
+ bgllibdir=`$autoconfdir/blibdir --bigloo="$bigloo"`
+fi
+if [ "$bglfildir " = " " ]; then
+ bglfildir=`$autoconfdir/bfildir --bigloo="$bigloo"`
+fi
+
+#*---------------------------------------------------------------------*/
+#* We check the installed Bigloo Makefile.config file */
+#*---------------------------------------------------------------------*/
+if [ ! -f $bglfildir/Makefile.config ]; then
+ echo "*** ERROR:configure:Can't find Makefile.config file"
+ echo "Should be $bglfildir/Makefile.config."
+ exit 1;
+fi
+
+#*---------------------------------------------------------------------*/
+#* jfile */
+#*---------------------------------------------------------------------*/
+if [ "$jfile " = " " ]; then
+ if [ ! -f $bigloo ]; then
+ which jfile > /dev/null 2> /dev/null
+ if [ "$?" != "0" ]; then
+ jfile=true;
+ else
+ jfile=jfile;
+ fi
+ fi
+fi
+
+#*---------------------------------------------------------------------*/
+#* We are now able to set the correct value for cc since we know */
+#* what Bigloo is. */
+#*---------------------------------------------------------------------*/
+if [ "$cc " = " " ]; then
+ cc=`$bigloo -eval '(begin (print *cc*) (exit 0))'`
+fi
+
+if [ "$cflags " = " " ]; then
+ cflags=`grep '^CFLAGS=' $bglfildir/Makefile.config | sed 's/^[A-Z]*=//'`
+fi
+
+ldflags=`grep '^EXTRALIBS=' $bglfildir/Makefile.config | sed 's/^[A-Z]*=//'`
+cpicflags=`grep '^CPICFLAGS=' $bglfildir/Makefile.config | sed 's/^[A-Z]*=//'`
+
+#*---------------------------------------------------------------------*/
+#* Completing dirs */
+#*---------------------------------------------------------------------*/
+if [ "$skribelibdir " = " " ]; then
+ skribelibdir=$prefix/lib;
+fi
+if [ "$skribefildir " = " " ]; then
+ skribefildir=$skribelibdir/skribe/$release;
+fi
+if [ "$skribeskrdir " = " " ]; then
+ skribeskrdir=$prefix/share/skribe/$release/skr;
+fi
+if [ "$skribeextdir " = " " ]; then
+ skribeextdir=$prefix/share/skribe/extensions;
+fi
+if [ "$bgldocdir " = " " ]; then
+ bgldocdir=`grep '^DOCDIR=' $bglfildir/Makefile.config | sed 's/^[A-Z]*=//' | sed 's/[$][(][^)]*[)]//'`
+fi
+if [ "$skribedocdir " = " " ]; then
+ skribedocdir=`dirname $bgldocdir`/skribe-$release
+fi
+if [ "$skribemandir " = " " ]; then
+ skribemandir=`grep '^MANDIR=' $bglfildir/Makefile.config | sed 's/^[A-Z]*=//'`
+fi
+if [ "$skribeemacsdir " = " " ]; then
+ skribeemacsdir=`grep '^EMACSDIR=' $bglfildir/Makefile.config | sed 's/^[A-Z]*=//'`
+fi
+
+#*---------------------------------------------------------------------*/
+#* emacs/skribe.el */
+#*---------------------------------------------------------------------*/
+cat ../../emacs/skribe.el \
+ | sed "s|@SKRIBE_EMACSDIR@|$skribeemacsdir|" \
+ | sed "s|@SKRIBE_HOSTSCHEMEDOCDIR@|$bgldocdir|" \
+ > ../../emacs/skribe.el.aux \
+ && mv ../../emacs/skribe.el.aux ../../emacs/skribe.el
+
+#*---------------------------------------------------------------------*/
+#* etc/skribe-config */
+#*---------------------------------------------------------------------*/
+cat ../skribe-config \
+ | sed "s|@SKRIBE_EMACS_DIR@|$skribeemacsdir|" \
+ > ../skribe-config.aux \
+ && mv ../skribe-config.aux ../skribe-config
+
+#*---------------------------------------------------------------------*/
+#* makefile.skb */
+#* ------------------------------------------------------------- */
+#* This part of the configure script produces the file */
+#* makefile.skb. This file contains machine dependant */
+#* informations and location where Bigloo is to be installed. */
+#*---------------------------------------------------------------------*/
+if [ $action = "all" -o $action = "makefile.skb" ]; then
+
+ # We create an unexisting temporary file name
+ name=foo
+ while( test -f "$name.c" -o -f "$name.o" ); do
+ name="$name"x;
+ done
+
+ # We check the C compiler
+ cat > $name.c <<EOF
+ int foobar( int x ) {
+ return x;
+ }
+EOF
+
+ if $cc $cflags -c $name.c >/dev/null 2>&1
+ then
+ true
+ else
+ echo "***ERROR:configure:$cc:Can't compile c file -- $cc $cflags -c $name.c";
+ /bin/rm -f $name.c $name.o $name.a;
+ exit 1
+ fi
+ /bin/rm -f $name.c $name.o $name.a;
+
+ # We first cleanup the general Makefile config
+ rm -f ../Makefile.config 2> /dev/null
+ echo "## Skribe ($release) configure" > ../Makefile.config
+ echo "## Don't edit, file generated by etc/bigloo/configure" >> ../Makefile.config
+ echo "SKRIBERELEASE=$release" >> ../Makefile.config
+ echo "SKRIBEBETARELEASE=$beta" >> ../Makefile.config
+ echo >> ../Makefile.config
+ echo "SYSTEM=bigloo" >> ../Makefile.config
+ case $target in
+ jvm)
+ echo 'SKRIBE=java -classpath $(BINDIR)/skribe.zip:$(ZIPDIR)/bigloo_s.zip:$(LIBDIR)/bigloo_s.zip bigloo.skribe.main' >> ../Makefile.config;
+ echo 'SKRIBEINFO=java -classpath $(BINDIR)/skribeinfo.zip:$(ZIPDIR)/bigloo_s.zip:$(LIBDIR)/bigloo_s.zip bigloo.skribe.skribeinfo.main' >> ../Makefile.config;
+ echo 'SKRIBEBIBTEX=java -classpath $(BINDIR)/skribebibtex.zip:$(ZIPDIR)/bigloo_s.zip:$(LIBDIR)/bigloo_s.zip bigloo.skribe.skribebibtex.main' >> ../Makefile.config;;
+ *)
+ echo 'SKRIBE=$'"(BINDIR)/skribe.bigloo" >> ../Makefile.config;
+ echo 'SKRIBEINFO=$'"(BINDIR)/skribeinfo.bigloo" >> ../Makefile.config;
+ echo 'SKRIBEBIBTEX=$'"(BINDIR)/skribebibtex.bigloo" >> ../Makefile.config;;
+ esac
+
+ # We first cleanup the file
+ rm -f $makefile_config 2> /dev/null
+ touch $makefile_config
+ echo "## Skribe ($release) configure" >> $makefile_config
+ echo "## Don't edit, file generated by etc/bigloo/configure" >> $makefile_config
+ echo >> $makefile_config
+
+ # The Bigloo target (c, jvm, dotnet)
+ echo "TARGET=$target" >> $makefile_config
+ echo >> $makefile_config
+
+ # The boot directories
+ echo "SKRIBEDIR=`pwd`/../.." >> $makefile_config
+ echo 'SKRIBEBINDIR=$'"(SKRIBEDIR)/bin" >> $makefile_config;
+ echo 'SKRIBELIBDIR=$'"(SKRIBEDIR)/lib" >> $makefile_config;
+ echo 'SKRIBEFILDIR=$'"(SKRIBEDIR)/lib" >> $makefile_config;
+ echo >> $makefile_config
+
+ # The distribution directory
+ echo "DISTRIBDIR=$distribdir" >> $makefile_config
+ echo >> $makefile_config
+
+ # The installation directories
+ echo "INSTALL_BINDIR=$skribebindir" >> $makefile_config
+ echo "INSTALL_LIBDIR=$skribelibdir" >> $makefile_config
+ echo "INSTALL_FILDIR=$skribefildir" >> $makefile_config
+ echo "INSTALL_SKRDIR=$skribeskrdir" >> $makefile_config
+ echo "INSTALL_EXTDIR=$skribeextdir" >> $makefile_config
+ if [ ! "$skribedocdir " = " " ]; then
+ echo "INSTALL_DOCDIR=$skribedocdir" >> $makefile_config;
+ fi
+ if [ ! "$skribemandir " = " " ]; then
+ echo "INSTALL_MANDIR=$skribemandir" >> $makefile_config;
+ fi
+ echo "INSTALL_HOSTHTTP=$skribehttphost" >> $makefile_config
+ echo "INSTALL_MASK=$smask" >> $makefile_config
+ echo >> $makefile_config
+
+ # The bigloo configuration
+ cat $bglfildir/Makefile.config >> $makefile_config
+ echo >> $makefile_config
+
+ # The bigloo compiler
+ echo "BIGLOO=$bigloo" >> $makefile_config
+ echo "BIGLOO_FILDIR=$bglfildir" >> $makefile_config
+ echo "BIGLOO_LIBDIR=$bgllibdir" >> $makefile_config
+ echo >> $makefile_config
+
+ # The bigloo compiler options
+ echo "BLINKFLAGS=$blinkflags -ldopt '$ldopt'" >> $makefile_config
+ echo "BSAFEFLAGS=$bsafeflags" >> $makefile_config
+ echo "BHEAPFLAGS=$bheapflags" >> $makefile_config
+ echo "BCOMMONFLAGS=$bflags" >> $makefile_config
+ echo "BCFLAGS=$bcflags" >> $makefile_config
+ echo "BJVMFLAGS=$bjvmflags" >> $makefile_config
+ echo >> $makefile_config
+
+ # Bigloo bde
+ echo "AFILE=$afile" >> $makefile_config
+ echo "JFILE=$jfile" >> $makefile_config
+ echo "BTAGS=$btags" >> $makefile_config
+ echo "BDEPEND=$bdepend" >> $makefile_config
+ echo "SKRIBEINDENT=bpp" >> $makefile_config
+ echo >> $makefile_config
+
+ # Misc
+ echo "RM=/bin/rm" >> $makefile_config
+ echo >> $makefile_config
+fi
+
+#*---------------------------------------------------------------------*/
+#* Ok, we are done now */
+#*---------------------------------------------------------------------*/
+if [ "$summary" = "yes" ]; then
+ echo
+ echo
+ echo "** Configuration summary **"
+ echo
+ echo "Release number:"
+ echo " Skribe release number................. $release"
+ echo " Skribe beta number.................... $beta"
+ echo " Minimum Bigloo version required....... $requiredbigloo"
+ echo " Installed Bigloo version.............. $installedbigloo"
+ echo
+ echo "Compilers:"
+ echo " Bigloo................................ $bigloo"
+ echo " Bigloo link flags..................... $blinkflags"
+ echo " Bigloo compilation flags.............. $bflags"
+ echo " Bigloo heap flags..................... $bheapflags"
+ echo " afile................................. $afile"
+ echo " jfile................................. $jfile"
+ echo " btags................................. $btags"
+ echo " cc.................................... $cc"
+ echo " cc compilation flags.................. $cflags"
+ echo " link options.......................... $ldopt"
+ echo
+ echo "Path:"
+ echo " Binary directory...................... $skribebindir"
+ echo " Skr directory......................... $skribeskrdir"
+ echo " Extensions directory.................. $skribeextdir"
+ echo " File directory........................ $skribefildir"
+ echo " Library directory..................... $skribelibdir"
+ echo " Documentation directory............... $skribedocdir"
+ echo " Man pages directory................... $skribemandir"
+ echo " Home page............................. $skribeurl"
+ echo
+ echo "Misc configuration:"
+ echo " mask for installed files.............. $smask"
+ echo
+ echo "Emacs:"
+ echo " Emacs Lisp files directory............ $skribeemacsdir"
+ echo
+fi
diff --git a/skribe/etc/skribe-config.in b/skribe/etc/skribe-config.in
new file mode 100644
index 0000000..2a03e26
--- /dev/null
+++ b/skribe/etc/skribe-config.in
@@ -0,0 +1,64 @@
+#!/bin/sh
+#
+# Author: Erick Gallesio [eg@essi.fr]
+# Creation date: 19-Nov-2003 21:04 (eg)
+# Last file update: 19-Nov-2003 22:29 (eg)
+
+
+function usage()
+{
+ cat <<EOF
+Usage: skribe-config [OPTIONS]
+Options:
+ [--prefix | -p] Prefix that was given during the build
+ [--version | -v] Version of Skribe that is installed
+ [--skr-dir | -k] Display the skr directory location
+ [--extension-dir | -e] Display the extension directory location
+ [--doc-dir | -d] Display the documentation directory location
+ [--emacs-dir | -m] Display the emacs directory location
+ [--scheme | -s] Display the Scheme systeme used
+ [--help | -h | -?] Show a list of options
+EOF
+ exit $1
+}
+
+
+if test $# -eq 0; then
+ usage 1 1>&2
+fi
+
+while test $# -gt 0; do
+ case $1 in
+ --prefix|-p)
+ echo @PREFIX@
+ ;;
+ --version|-v)
+ echo @SKRIBE_RELEASE@
+ ;;
+ --extension-dir|-e)
+ echo @SKRIBE_EXT_DIR@
+ ;;
+ --skr-dir|-k)
+ echo @SKRIBE_SKR_DIR@
+ ;;
+ --doc-dir|-d)
+ echo @SKRIBE_DOC_DIR@
+ ;;
+ --emacs-dir|-m)
+ echo @SKRIBE_EMACS_DIR@
+ ;;
+ --scheme|-s)
+ echo @SYSTEM@
+ ;;
+ --help|-h|-\?)
+ usage 0 1>&2
+ ;;
+ *)
+ echo "bad option $1" 1>&2
+ usage 1 1>&2
+ ;;
+ esac
+ shift
+done
+exit 0
+
diff --git a/skribe/etc/stklos/Makefile.config.in b/skribe/etc/stklos/Makefile.config.in
new file mode 100644
index 0000000..13a60d8
--- /dev/null
+++ b/skribe/etc/stklos/Makefile.config.in
@@ -0,0 +1,5 @@
+SYSTEM=@SYSTEM@
+SKRIBE=@SKRIBE@
+SKRIBEINFO=@SKRIBEINFO@
+SKRIBEBIBTEX=@SKRIBEBIBTEX@
+
diff --git a/skribe/etc/stklos/Makefile.in b/skribe/etc/stklos/Makefile.in
new file mode 100644
index 0000000..186fd58
--- /dev/null
+++ b/skribe/etc/stklos/Makefile.in
@@ -0,0 +1,44 @@
+#
+# Makefile.in -- Skribe Makefile for Stklos
+#
+# Copyright © 2003 Erick Gallesio - I3S-CNRS/ESSI <eg@unice.fr>
+#
+#
+# This program is free software; you can redistribute it and/or modify
+# it under the terms of the GNU General Public License as published by
+# the Free Software Foundation; either version 2 of the License, or
+# (at your option) any later version.
+#
+# This program is distributed in the hope that it will be useful,
+# but WITHOUT ANY WARRANTY; without even the implied warranty of
+# MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
+# GNU General Public License for more details.
+#
+# You should have received a copy of the GNU General Public License
+# along with this program; if not, write to the Free Software
+# Foundation, Inc., 59 Temple Place - Suite 330, Boston, MA 02111-1307,
+# USA.
+#
+# Author: Erick Gallesio [eg@essi.fr]
+# Creation date: 10-Aug-2003 17:31 (eg)
+# Last file update: 10-Nov-2003 19:48 (eg)
+#
+
+PRCS_FILES=Makefile.config.in Makefile.in Makefile.skb.in configure.in \
+configure
+
+all: configure
+
+
+configure: configure.in
+ autoconf
+
+clean:
+ /bin/rm -f config.* *~
+
+pop:
+ @echo $(PRCS_FILES:%=etc/stklos/%)
+
+distclean: clean
+ (cd ../../src/stklos/; $(MAKE) distclean)
+ /bin/rm -f Makefile Makefile.skb ../Makefile.config
diff --git a/skribe/etc/stklos/Makefile.skb.in b/skribe/etc/stklos/Makefile.skb.in
new file mode 100644
index 0000000..7568474
--- /dev/null
+++ b/skribe/etc/stklos/Makefile.skb.in
@@ -0,0 +1,5 @@
+BMASK=0755
+INSTALL_DOCDIR=@PREFIX@/share/doc/skribe-@SKRIBE_RELEASE@
+INSTALL_BINDIR=@PREFIX@/bin
+INSTALL_SKRDIR=@PREFIX@/share/skribe/@SKRIBE_RELEASE@/skr
+INSTALL_EXTDIR=@PREFIX@/share/skribe/extensions
diff --git a/skribe/etc/stklos/configure b/skribe/etc/stklos/configure
new file mode 100755
index 0000000..e1d2526
--- /dev/null
+++ b/skribe/etc/stklos/configure
@@ -0,0 +1,830 @@
+#! /bin/sh
+
+# Guess values for system-dependent variables and create Makefiles.
+# Generated automatically using autoconf version 2.13
+# Copyright (C) 1992, 93, 94, 95, 96 Free Software Foundation, Inc.
+#
+# This configure script is free software; the Free Software Foundation
+# gives unlimited permission to copy, distribute and modify it.
+
+# Defaults:
+ac_help=
+ac_default_prefix=/usr/local
+# Any additions from configure.in:
+
+# Initialize some variables set by options.
+# The variables have the same names as the options, with
+# dashes changed to underlines.
+build=NONE
+cache_file=./config.cache
+exec_prefix=NONE
+host=NONE
+no_create=
+nonopt=NONE
+no_recursion=
+prefix=NONE
+program_prefix=NONE
+program_suffix=NONE
+program_transform_name=s,x,x,
+silent=
+site=
+srcdir=
+target=NONE
+verbose=
+x_includes=NONE
+x_libraries=NONE
+bindir='${exec_prefix}/bin'
+sbindir='${exec_prefix}/sbin'
+libexecdir='${exec_prefix}/libexec'
+datadir='${prefix}/share'
+sysconfdir='${prefix}/etc'
+sharedstatedir='${prefix}/com'
+localstatedir='${prefix}/var'
+libdir='${exec_prefix}/lib'
+includedir='${prefix}/include'
+oldincludedir='/usr/include'
+infodir='${prefix}/info'
+mandir='${prefix}/man'
+
+# Initialize some other variables.
+subdirs=
+MFLAGS= MAKEFLAGS=
+SHELL=${CONFIG_SHELL-/bin/sh}
+# Maximum number of lines to put in a shell here document.
+ac_max_here_lines=12
+
+ac_prev=
+for ac_option
+do
+
+ # If the previous option needs an argument, assign it.
+ if test -n "$ac_prev"; then
+ eval "$ac_prev=\$ac_option"
+ ac_prev=
+ continue
+ fi
+
+ case "$ac_option" in
+ -*=*) ac_optarg=`echo "$ac_option" | sed 's/[-_a-zA-Z0-9]*=//'` ;;
+ *) ac_optarg= ;;
+ esac
+
+ # Accept the important Cygnus configure options, so we can diagnose typos.
+
+ case "$ac_option" in
+
+ -bindir | --bindir | --bindi | --bind | --bin | --bi)
+ ac_prev=bindir ;;
+ -bindir=* | --bindir=* | --bindi=* | --bind=* | --bin=* | --bi=*)
+ bindir="$ac_optarg" ;;
+
+ -build | --build | --buil | --bui | --bu)
+ ac_prev=build ;;
+ -build=* | --build=* | --buil=* | --bui=* | --bu=*)
+ build="$ac_optarg" ;;
+
+ -cache-file | --cache-file | --cache-fil | --cache-fi \
+ | --cache-f | --cache- | --cache | --cach | --cac | --ca | --c)
+ ac_prev=cache_file ;;
+ -cache-file=* | --cache-file=* | --cache-fil=* | --cache-fi=* \
+ | --cache-f=* | --cache-=* | --cache=* | --cach=* | --cac=* | --ca=* | --c=*)
+ cache_file="$ac_optarg" ;;
+
+ -datadir | --datadir | --datadi | --datad | --data | --dat | --da)
+ ac_prev=datadir ;;
+ -datadir=* | --datadir=* | --datadi=* | --datad=* | --data=* | --dat=* \
+ | --da=*)
+ datadir="$ac_optarg" ;;
+
+ -disable-* | --disable-*)
+ ac_feature=`echo $ac_option|sed -e 's/-*disable-//'`
+ # Reject names that are not valid shell variable names.
+ if test -n "`echo $ac_feature| sed 's/[-a-zA-Z0-9_]//g'`"; then
+ { echo "configure: error: $ac_feature: invalid feature name" 1>&2; exit 1; }
+ fi
+ ac_feature=`echo $ac_feature| sed 's/-/_/g'`
+ eval "enable_${ac_feature}=no" ;;
+
+ -enable-* | --enable-*)
+ ac_feature=`echo $ac_option|sed -e 's/-*enable-//' -e 's/=.*//'`
+ # Reject names that are not valid shell variable names.
+ if test -n "`echo $ac_feature| sed 's/[-_a-zA-Z0-9]//g'`"; then
+ { echo "configure: error: $ac_feature: invalid feature name" 1>&2; exit 1; }
+ fi
+ ac_feature=`echo $ac_feature| sed 's/-/_/g'`
+ case "$ac_option" in
+ *=*) ;;
+ *) ac_optarg=yes ;;
+ esac
+ eval "enable_${ac_feature}='$ac_optarg'" ;;
+
+ -exec-prefix | --exec_prefix | --exec-prefix | --exec-prefi \
+ | --exec-pref | --exec-pre | --exec-pr | --exec-p | --exec- \
+ | --exec | --exe | --ex)
+ ac_prev=exec_prefix ;;
+ -exec-prefix=* | --exec_prefix=* | --exec-prefix=* | --exec-prefi=* \
+ | --exec-pref=* | --exec-pre=* | --exec-pr=* | --exec-p=* | --exec-=* \
+ | --exec=* | --exe=* | --ex=*)
+ exec_prefix="$ac_optarg" ;;
+
+ -gas | --gas | --ga | --g)
+ # Obsolete; use --with-gas.
+ with_gas=yes ;;
+
+ -help | --help | --hel | --he)
+ # Omit some internal or obsolete options to make the list less imposing.
+ # This message is too long to be a string in the A/UX 3.1 sh.
+ cat << EOF
+Usage: configure [options] [host]
+Options: [defaults in brackets after descriptions]
+Configuration:
+ --cache-file=FILE cache test results in FILE
+ --help print this message
+ --no-create do not create output files
+ --quiet, --silent do not print \`checking...' messages
+ --version print the version of autoconf that created configure
+Directory and file names:
+ --prefix=PREFIX install architecture-independent files in PREFIX
+ [$ac_default_prefix]
+ --exec-prefix=EPREFIX install architecture-dependent files in EPREFIX
+ [same as prefix]
+ --bindir=DIR user executables in DIR [EPREFIX/bin]
+ --sbindir=DIR system admin executables in DIR [EPREFIX/sbin]
+ --libexecdir=DIR program executables in DIR [EPREFIX/libexec]
+ --datadir=DIR read-only architecture-independent data in DIR
+ [PREFIX/share]
+ --sysconfdir=DIR read-only single-machine data in DIR [PREFIX/etc]
+ --sharedstatedir=DIR modifiable architecture-independent data in DIR
+ [PREFIX/com]
+ --localstatedir=DIR modifiable single-machine data in DIR [PREFIX/var]
+ --libdir=DIR object code libraries in DIR [EPREFIX/lib]
+ --includedir=DIR C header files in DIR [PREFIX/include]
+ --oldincludedir=DIR C header files for non-gcc in DIR [/usr/include]
+ --infodir=DIR info documentation in DIR [PREFIX/info]
+ --mandir=DIR man documentation in DIR [PREFIX/man]
+ --srcdir=DIR find the sources in DIR [configure dir or ..]
+ --program-prefix=PREFIX prepend PREFIX to installed program names
+ --program-suffix=SUFFIX append SUFFIX to installed program names
+ --program-transform-name=PROGRAM
+ run sed PROGRAM on installed program names
+EOF
+ cat << EOF
+Host type:
+ --build=BUILD configure for building on BUILD [BUILD=HOST]
+ --host=HOST configure for HOST [guessed]
+ --target=TARGET configure for TARGET [TARGET=HOST]
+Features and packages:
+ --disable-FEATURE do not include FEATURE (same as --enable-FEATURE=no)
+ --enable-FEATURE[=ARG] include FEATURE [ARG=yes]
+ --with-PACKAGE[=ARG] use PACKAGE [ARG=yes]
+ --without-PACKAGE do not use PACKAGE (same as --with-PACKAGE=no)
+ --x-includes=DIR X include files are in DIR
+ --x-libraries=DIR X library files are in DIR
+EOF
+ if test -n "$ac_help"; then
+ echo "--enable and --with options recognized:$ac_help"
+ fi
+ exit 0 ;;
+
+ -host | --host | --hos | --ho)
+ ac_prev=host ;;
+ -host=* | --host=* | --hos=* | --ho=*)
+ host="$ac_optarg" ;;
+
+ -includedir | --includedir | --includedi | --included | --include \
+ | --includ | --inclu | --incl | --inc)
+ ac_prev=includedir ;;
+ -includedir=* | --includedir=* | --includedi=* | --included=* | --include=* \
+ | --includ=* | --inclu=* | --incl=* | --inc=*)
+ includedir="$ac_optarg" ;;
+
+ -infodir | --infodir | --infodi | --infod | --info | --inf)
+ ac_prev=infodir ;;
+ -infodir=* | --infodir=* | --infodi=* | --infod=* | --info=* | --inf=*)
+ infodir="$ac_optarg" ;;
+
+ -libdir | --libdir | --libdi | --libd)
+ ac_prev=libdir ;;
+ -libdir=* | --libdir=* | --libdi=* | --libd=*)
+ libdir="$ac_optarg" ;;
+
+ -libexecdir | --libexecdir | --libexecdi | --libexecd | --libexec \
+ | --libexe | --libex | --libe)
+ ac_prev=libexecdir ;;
+ -libexecdir=* | --libexecdir=* | --libexecdi=* | --libexecd=* | --libexec=* \
+ | --libexe=* | --libex=* | --libe=*)
+ libexecdir="$ac_optarg" ;;
+
+ -localstatedir | --localstatedir | --localstatedi | --localstated \
+ | --localstate | --localstat | --localsta | --localst \
+ | --locals | --local | --loca | --loc | --lo)
+ ac_prev=localstatedir ;;
+ -localstatedir=* | --localstatedir=* | --localstatedi=* | --localstated=* \
+ | --localstate=* | --localstat=* | --localsta=* | --localst=* \
+ | --locals=* | --local=* | --loca=* | --loc=* | --lo=*)
+ localstatedir="$ac_optarg" ;;
+
+ -mandir | --mandir | --mandi | --mand | --man | --ma | --m)
+ ac_prev=mandir ;;
+ -mandir=* | --mandir=* | --mandi=* | --mand=* | --man=* | --ma=* | --m=*)
+ mandir="$ac_optarg" ;;
+
+ -nfp | --nfp | --nf)
+ # Obsolete; use --without-fp.
+ with_fp=no ;;
+
+ -no-create | --no-create | --no-creat | --no-crea | --no-cre \
+ | --no-cr | --no-c)
+ no_create=yes ;;
+
+ -no-recursion | --no-recursion | --no-recursio | --no-recursi \
+ | --no-recurs | --no-recur | --no-recu | --no-rec | --no-re | --no-r)
+ no_recursion=yes ;;
+
+ -oldincludedir | --oldincludedir | --oldincludedi | --oldincluded \
+ | --oldinclude | --oldinclud | --oldinclu | --oldincl | --oldinc \
+ | --oldin | --oldi | --old | --ol | --o)
+ ac_prev=oldincludedir ;;
+ -oldincludedir=* | --oldincludedir=* | --oldincludedi=* | --oldincluded=* \
+ | --oldinclude=* | --oldinclud=* | --oldinclu=* | --oldincl=* | --oldinc=* \
+ | --oldin=* | --oldi=* | --old=* | --ol=* | --o=*)
+ oldincludedir="$ac_optarg" ;;
+
+ -prefix | --prefix | --prefi | --pref | --pre | --pr | --p)
+ ac_prev=prefix ;;
+ -prefix=* | --prefix=* | --prefi=* | --pref=* | --pre=* | --pr=* | --p=*)
+ prefix="$ac_optarg" ;;
+
+ -program-prefix | --program-prefix | --program-prefi | --program-pref \
+ | --program-pre | --program-pr | --program-p)
+ ac_prev=program_prefix ;;
+ -program-prefix=* | --program-prefix=* | --program-prefi=* \
+ | --program-pref=* | --program-pre=* | --program-pr=* | --program-p=*)
+ program_prefix="$ac_optarg" ;;
+
+ -program-suffix | --program-suffix | --program-suffi | --program-suff \
+ | --program-suf | --program-su | --program-s)
+ ac_prev=program_suffix ;;
+ -program-suffix=* | --program-suffix=* | --program-suffi=* \
+ | --program-suff=* | --program-suf=* | --program-su=* | --program-s=*)
+ program_suffix="$ac_optarg" ;;
+
+ -program-transform-name | --program-transform-name \
+ | --program-transform-nam | --program-transform-na \
+ | --program-transform-n | --program-transform- \
+ | --program-transform | --program-transfor \
+ | --program-transfo | --program-transf \
+ | --program-trans | --program-tran \
+ | --progr-tra | --program-tr | --program-t)
+ ac_prev=program_transform_name ;;
+ -program-transform-name=* | --program-transform-name=* \
+ | --program-transform-nam=* | --program-transform-na=* \
+ | --program-transform-n=* | --program-transform-=* \
+ | --program-transform=* | --program-transfor=* \
+ | --program-transfo=* | --program-transf=* \
+ | --program-trans=* | --program-tran=* \
+ | --progr-tra=* | --program-tr=* | --program-t=*)
+ program_transform_name="$ac_optarg" ;;
+
+ -q | -quiet | --quiet | --quie | --qui | --qu | --q \
+ | -silent | --silent | --silen | --sile | --sil)
+ silent=yes ;;
+
+ -sbindir | --sbindir | --sbindi | --sbind | --sbin | --sbi | --sb)
+ ac_prev=sbindir ;;
+ -sbindir=* | --sbindir=* | --sbindi=* | --sbind=* | --sbin=* \
+ | --sbi=* | --sb=*)
+ sbindir="$ac_optarg" ;;
+
+ -sharedstatedir | --sharedstatedir | --sharedstatedi \
+ | --sharedstated | --sharedstate | --sharedstat | --sharedsta \
+ | --sharedst | --shareds | --shared | --share | --shar \
+ | --sha | --sh)
+ ac_prev=sharedstatedir ;;
+ -sharedstatedir=* | --sharedstatedir=* | --sharedstatedi=* \
+ | --sharedstated=* | --sharedstate=* | --sharedstat=* | --sharedsta=* \
+ | --sharedst=* | --shareds=* | --shared=* | --share=* | --shar=* \
+ | --sha=* | --sh=*)
+ sharedstatedir="$ac_optarg" ;;
+
+ -site | --site | --sit)
+ ac_prev=site ;;
+ -site=* | --site=* | --sit=*)
+ site="$ac_optarg" ;;
+
+ -srcdir | --srcdir | --srcdi | --srcd | --src | --sr)
+ ac_prev=srcdir ;;
+ -srcdir=* | --srcdir=* | --srcdi=* | --srcd=* | --src=* | --sr=*)
+ srcdir="$ac_optarg" ;;
+
+ -sysconfdir | --sysconfdir | --sysconfdi | --sysconfd | --sysconf \
+ | --syscon | --sysco | --sysc | --sys | --sy)
+ ac_prev=sysconfdir ;;
+ -sysconfdir=* | --sysconfdir=* | --sysconfdi=* | --sysconfd=* | --sysconf=* \
+ | --syscon=* | --sysco=* | --sysc=* | --sys=* | --sy=*)
+ sysconfdir="$ac_optarg" ;;
+
+ -target | --target | --targe | --targ | --tar | --ta | --t)
+ ac_prev=target ;;
+ -target=* | --target=* | --targe=* | --targ=* | --tar=* | --ta=* | --t=*)
+ target="$ac_optarg" ;;
+
+ -v | -verbose | --verbose | --verbos | --verbo | --verb)
+ verbose=yes ;;
+
+ -version | --version | --versio | --versi | --vers)
+ echo "configure generated by autoconf version 2.13"
+ exit 0 ;;
+
+ -with-* | --with-*)
+ ac_package=`echo $ac_option|sed -e 's/-*with-//' -e 's/=.*//'`
+ # Reject names that are not valid shell variable names.
+ if test -n "`echo $ac_package| sed 's/[-_a-zA-Z0-9]//g'`"; then
+ { echo "configure: error: $ac_package: invalid package name" 1>&2; exit 1; }
+ fi
+ ac_package=`echo $ac_package| sed 's/-/_/g'`
+ case "$ac_option" in
+ *=*) ;;
+ *) ac_optarg=yes ;;
+ esac
+ eval "with_${ac_package}='$ac_optarg'" ;;
+
+ -without-* | --without-*)
+ ac_package=`echo $ac_option|sed -e 's/-*without-//'`
+ # Reject names that are not valid shell variable names.
+ if test -n "`echo $ac_package| sed 's/[-a-zA-Z0-9_]//g'`"; then
+ { echo "configure: error: $ac_package: invalid package name" 1>&2; exit 1; }
+ fi
+ ac_package=`echo $ac_package| sed 's/-/_/g'`
+ eval "with_${ac_package}=no" ;;
+
+ --x)
+ # Obsolete; use --with-x.
+ with_x=yes ;;
+
+ -x-includes | --x-includes | --x-include | --x-includ | --x-inclu \
+ | --x-incl | --x-inc | --x-in | --x-i)
+ ac_prev=x_includes ;;
+ -x-includes=* | --x-includes=* | --x-include=* | --x-includ=* | --x-inclu=* \
+ | --x-incl=* | --x-inc=* | --x-in=* | --x-i=*)
+ x_includes="$ac_optarg" ;;
+
+ -x-libraries | --x-libraries | --x-librarie | --x-librari \
+ | --x-librar | --x-libra | --x-libr | --x-lib | --x-li | --x-l)
+ ac_prev=x_libraries ;;
+ -x-libraries=* | --x-libraries=* | --x-librarie=* | --x-librari=* \
+ | --x-librar=* | --x-libra=* | --x-libr=* | --x-lib=* | --x-li=* | --x-l=*)
+ x_libraries="$ac_optarg" ;;
+
+ -*) { echo "configure: error: $ac_option: invalid option; use --help to show usage" 1>&2; exit 1; }
+ ;;
+
+ *)
+ if test -n "`echo $ac_option| sed 's/[-a-z0-9.]//g'`"; then
+ echo "configure: warning: $ac_option: invalid host type" 1>&2
+ fi
+ if test "x$nonopt" != xNONE; then
+ { echo "configure: error: can only configure for one host and one target at a time" 1>&2; exit 1; }
+ fi
+ nonopt="$ac_option"
+ ;;
+
+ esac
+done
+
+if test -n "$ac_prev"; then
+ { echo "configure: error: missing argument to --`echo $ac_prev | sed 's/_/-/g'`" 1>&2; exit 1; }
+fi
+
+trap 'rm -fr conftest* confdefs* core core.* *.core $ac_clean_files; exit 1' 1 2 15
+
+# File descriptor usage:
+# 0 standard input
+# 1 file creation
+# 2 errors and warnings
+# 3 some systems may open it to /dev/tty
+# 4 used on the Kubota Titan
+# 6 checking for... messages and results
+# 5 compiler messages saved in config.log
+if test "$silent" = yes; then
+ exec 6>/dev/null
+else
+ exec 6>&1
+fi
+exec 5>./config.log
+
+echo "\
+This file contains any messages produced by compilers while
+running configure, to aid debugging if configure makes a mistake.
+" 1>&5
+
+# Strip out --no-create and --no-recursion so they do not pile up.
+# Also quote any args containing shell metacharacters.
+ac_configure_args=
+for ac_arg
+do
+ case "$ac_arg" in
+ -no-create | --no-create | --no-creat | --no-crea | --no-cre \
+ | --no-cr | --no-c) ;;
+ -no-recursion | --no-recursion | --no-recursio | --no-recursi \
+ | --no-recurs | --no-recur | --no-recu | --no-rec | --no-re | --no-r) ;;
+ *" "*|*" "*|*[\[\]\~\#\$\^\&\*\(\)\{\}\\\|\;\<\>\?]*)
+ ac_configure_args="$ac_configure_args '$ac_arg'" ;;
+ *) ac_configure_args="$ac_configure_args $ac_arg" ;;
+ esac
+done
+
+# NLS nuisances.
+# Only set these to C if already set. These must not be set unconditionally
+# because not all systems understand e.g. LANG=C (notably SCO).
+# Fixing LC_MESSAGES prevents Solaris sh from translating var values in `set'!
+# Non-C LC_CTYPE values break the ctype check.
+if test "${LANG+set}" = set; then LANG=C; export LANG; fi
+if test "${LC_ALL+set}" = set; then LC_ALL=C; export LC_ALL; fi
+if test "${LC_MESSAGES+set}" = set; then LC_MESSAGES=C; export LC_MESSAGES; fi
+if test "${LC_CTYPE+set}" = set; then LC_CTYPE=C; export LC_CTYPE; fi
+
+# confdefs.h avoids OS command line length limits that DEFS can exceed.
+rm -rf conftest* confdefs.h
+# AIX cpp loses on an empty file, so make sure it contains at least a newline.
+echo > confdefs.h
+
+# A filename unique to this package, relative to the directory that
+# configure is in, which we can look for to find out if srcdir is correct.
+ac_unique_file=../../src/common/api.scm
+
+# Find the source files, if location was not specified.
+if test -z "$srcdir"; then
+ ac_srcdir_defaulted=yes
+ # Try the directory containing this script, then its parent.
+ ac_prog=$0
+ ac_confdir=`echo $ac_prog|sed 's%/[^/][^/]*$%%'`
+ test "x$ac_confdir" = "x$ac_prog" && ac_confdir=.
+ srcdir=$ac_confdir
+ if test ! -r $srcdir/$ac_unique_file; then
+ srcdir=..
+ fi
+else
+ ac_srcdir_defaulted=no
+fi
+if test ! -r $srcdir/$ac_unique_file; then
+ if test "$ac_srcdir_defaulted" = yes; then
+ { echo "configure: error: can not find sources in $ac_confdir or .." 1>&2; exit 1; }
+ else
+ { echo "configure: error: can not find sources in $srcdir" 1>&2; exit 1; }
+ fi
+fi
+srcdir=`echo "${srcdir}" | sed 's%\([^/]\)/*$%\1%'`
+
+# Prefer explicitly selected file to automatically selected ones.
+if test -z "$CONFIG_SITE"; then
+ if test "x$prefix" != xNONE; then
+ CONFIG_SITE="$prefix/share/config.site $prefix/etc/config.site"
+ else
+ CONFIG_SITE="$ac_default_prefix/share/config.site $ac_default_prefix/etc/config.site"
+ fi
+fi
+for ac_site_file in $CONFIG_SITE; do
+ if test -r "$ac_site_file"; then
+ echo "loading site script $ac_site_file"
+ . "$ac_site_file"
+ fi
+done
+
+if test -r "$cache_file"; then
+ echo "loading cache $cache_file"
+ . $cache_file
+else
+ echo "creating cache $cache_file"
+ > $cache_file
+fi
+
+ac_ext=c
+# CFLAGS is not in ac_cpp because -g, -O, etc. are not valid cpp options.
+ac_cpp='$CPP $CPPFLAGS'
+ac_compile='${CC-cc} -c $CFLAGS $CPPFLAGS conftest.$ac_ext 1>&5'
+ac_link='${CC-cc} -o conftest${ac_exeext} $CFLAGS $CPPFLAGS $LDFLAGS conftest.$ac_ext $LIBS 1>&5'
+cross_compiling=$ac_cv_prog_cc_cross
+
+ac_exeext=
+ac_objext=o
+if (echo "testing\c"; echo 1,2,3) | grep c >/dev/null; then
+ # Stardent Vistra SVR4 grep lacks -e, says ghazi@caip.rutgers.edu.
+ if (echo -n testing; echo 1,2,3) | sed s/-n/xn/ | grep xn >/dev/null; then
+ ac_n= ac_c='
+' ac_t=' '
+ else
+ ac_n=-n ac_c= ac_t=
+ fi
+else
+ ac_n= ac_c='\c' ac_t=
+fi
+
+
+### AM_INIT_AUTOMAKE(skribe,0.0)
+PACKAGE=skribe
+
+SYSTEM=stklos
+SKRIBE='$(BINDIR)/skribe.stklos'
+SKRIBEBIBTEX='$(BINDIR)/skribebibtex.stklos'
+
+##
+## Initialize prefix
+##
+if test "${prefix}" = "NONE" -o "$prefix" = "" ;then
+ prefix="/usr/local"
+fi
+
+##
+## Get information from ../config
+##
+if test -f ../config ;then
+ . ../config
+else
+ echo "You must configure Skribe from the ../.. directory"
+ exit 1
+fi
+
+
+PREFIX=$prefix
+SKRIBE_RELEASE=${release}
+SKRIBE_URL=${skribeurl}
+
+##
+## Substitutions
+##
+
+
+
+
+
+
+
+
+
+#
+# Outputs
+#
+trap '' 1 2 15
+cat > confcache <<\EOF
+# This file is a shell script that caches the results of configure
+# tests run on this system so they can be shared between configure
+# scripts and configure runs. It is not useful on other systems.
+# If it contains results you don't want to keep, you may remove or edit it.
+#
+# By default, configure uses ./config.cache as the cache file,
+# creating it if it does not exist already. You can give configure
+# the --cache-file=FILE option to use a different cache file; that is
+# what configure does when it calls configure scripts in
+# subdirectories, so they share the cache.
+# Giving --cache-file=/dev/null disables caching, for debugging configure.
+# config.status only pays attention to the cache file if you give it the
+# --recheck option to rerun configure.
+#
+EOF
+# The following way of writing the cache mishandles newlines in values,
+# but we know of no workaround that is simple, portable, and efficient.
+# So, don't put newlines in cache variables' values.
+# Ultrix sh set writes to stderr and can't be redirected directly,
+# and sets the high bit in the cache file unless we assign to the vars.
+(set) 2>&1 |
+ case `(ac_space=' '; set | grep ac_space) 2>&1` in
+ *ac_space=\ *)
+ # `set' does not quote correctly, so add quotes (double-quote substitution
+ # turns \\\\ into \\, and sed turns \\ into \).
+ sed -n \
+ -e "s/'/'\\\\''/g" \
+ -e "s/^\\([a-zA-Z0-9_]*_cv_[a-zA-Z0-9_]*\\)=\\(.*\\)/\\1=\${\\1='\\2'}/p"
+ ;;
+ *)
+ # `set' quotes correctly as required by POSIX, so do not add quotes.
+ sed -n -e 's/^\([a-zA-Z0-9_]*_cv_[a-zA-Z0-9_]*\)=\(.*\)/\1=${\1=\2}/p'
+ ;;
+ esac >> confcache
+if cmp -s $cache_file confcache; then
+ :
+else
+ if test -w $cache_file; then
+ echo "updating cache $cache_file"
+ cat confcache > $cache_file
+ else
+ echo "not updating unwritable cache $cache_file"
+ fi
+fi
+rm -f confcache
+
+trap 'rm -fr conftest* confdefs* core core.* *.core $ac_clean_files; exit 1' 1 2 15
+
+test "x$prefix" = xNONE && prefix=$ac_default_prefix
+# Let make expand exec_prefix.
+test "x$exec_prefix" = xNONE && exec_prefix='${prefix}'
+
+# Any assignment to VPATH causes Sun make to only execute
+# the first set of double-colon rules, so remove it if not needed.
+# If there is a colon in the path, we need to keep it.
+if test "x$srcdir" = x.; then
+ ac_vpsub='/^[ ]*VPATH[ ]*=[^:]*$/d'
+fi
+
+trap 'rm -f $CONFIG_STATUS conftest*; exit 1' 1 2 15
+
+# Transform confdefs.h into DEFS.
+# Protect against shell expansion while executing Makefile rules.
+# Protect against Makefile macro expansion.
+cat > conftest.defs <<\EOF
+s%#define \([A-Za-z_][A-Za-z0-9_]*\) *\(.*\)%-D\1=\2%g
+s%[ `~#$^&*(){}\\|;'"<>?]%\\&%g
+s%\[%\\&%g
+s%\]%\\&%g
+s%\$%$$%g
+EOF
+DEFS=`sed -f conftest.defs confdefs.h | tr '\012' ' '`
+rm -f conftest.defs
+
+
+# Without the "./", some shells look in PATH for config.status.
+: ${CONFIG_STATUS=./config.status}
+
+echo creating $CONFIG_STATUS
+rm -f $CONFIG_STATUS
+cat > $CONFIG_STATUS <<EOF
+#! /bin/sh
+# Generated automatically by configure.
+# Run this file to recreate the current configuration.
+# This directory was configured as follows,
+# on host `(hostname || uname -n) 2>/dev/null | sed 1q`:
+#
+# $0 $ac_configure_args
+#
+# Compiler output produced by configure, useful for debugging
+# configure, is in ./config.log if it exists.
+
+ac_cs_usage="Usage: $CONFIG_STATUS [--recheck] [--version] [--help]"
+for ac_option
+do
+ case "\$ac_option" in
+ -recheck | --recheck | --rechec | --reche | --rech | --rec | --re | --r)
+ echo "running \${CONFIG_SHELL-/bin/sh} $0 $ac_configure_args --no-create --no-recursion"
+ exec \${CONFIG_SHELL-/bin/sh} $0 $ac_configure_args --no-create --no-recursion ;;
+ -version | --version | --versio | --versi | --vers | --ver | --ve | --v)
+ echo "$CONFIG_STATUS generated by autoconf version 2.13"
+ exit 0 ;;
+ -help | --help | --hel | --he | --h)
+ echo "\$ac_cs_usage"; exit 0 ;;
+ *) echo "\$ac_cs_usage"; exit 1 ;;
+ esac
+done
+
+ac_given_srcdir=$srcdir
+
+trap 'rm -fr `echo "Makefile ../../src/stklos/Makefile Makefile.config Makefile.skb" | sed "s/:[^ ]*//g"` conftest*; exit 1' 1 2 15
+EOF
+cat >> $CONFIG_STATUS <<EOF
+
+# Protect against being on the right side of a sed subst in config.status.
+sed 's/%@/@@/; s/@%/@@/; s/%g\$/@g/; /@g\$/s/[\\\\&%]/\\\\&/g;
+ s/@@/%@/; s/@@/@%/; s/@g\$/%g/' > conftest.subs <<\\CEOF
+$ac_vpsub
+$extrasub
+s%@SHELL@%$SHELL%g
+s%@CFLAGS@%$CFLAGS%g
+s%@CPPFLAGS@%$CPPFLAGS%g
+s%@CXXFLAGS@%$CXXFLAGS%g
+s%@FFLAGS@%$FFLAGS%g
+s%@DEFS@%$DEFS%g
+s%@LDFLAGS@%$LDFLAGS%g
+s%@LIBS@%$LIBS%g
+s%@exec_prefix@%$exec_prefix%g
+s%@prefix@%$prefix%g
+s%@program_transform_name@%$program_transform_name%g
+s%@bindir@%$bindir%g
+s%@sbindir@%$sbindir%g
+s%@libexecdir@%$libexecdir%g
+s%@datadir@%$datadir%g
+s%@sysconfdir@%$sysconfdir%g
+s%@sharedstatedir@%$sharedstatedir%g
+s%@localstatedir@%$localstatedir%g
+s%@libdir@%$libdir%g
+s%@includedir@%$includedir%g
+s%@oldincludedir@%$oldincludedir%g
+s%@infodir@%$infodir%g
+s%@mandir@%$mandir%g
+s%@PACKAGE@%$PACKAGE%g
+s%@PREFIX@%$PREFIX%g
+s%@SKRIBE_RELEASE@%$SKRIBE_RELEASE%g
+s%@SKRIBE_URL@%$SKRIBE_URL%g
+s%@SYSTEM@%$SYSTEM%g
+s%@SKRIBE@%$SKRIBE%g
+s%@SKRIBEINFO@%$SKRIBEINFO%g
+s%@SKRIBEBIBTEX@%$SKRIBEBIBTEX%g
+
+CEOF
+EOF
+
+cat >> $CONFIG_STATUS <<\EOF
+
+# Split the substitutions into bite-sized pieces for seds with
+# small command number limits, like on Digital OSF/1 and HP-UX.
+ac_max_sed_cmds=90 # Maximum number of lines to put in a sed script.
+ac_file=1 # Number of current file.
+ac_beg=1 # First line for current file.
+ac_end=$ac_max_sed_cmds # Line after last line for current file.
+ac_more_lines=:
+ac_sed_cmds=""
+while $ac_more_lines; do
+ if test $ac_beg -gt 1; then
+ sed "1,${ac_beg}d; ${ac_end}q" conftest.subs > conftest.s$ac_file
+ else
+ sed "${ac_end}q" conftest.subs > conftest.s$ac_file
+ fi
+ if test ! -s conftest.s$ac_file; then
+ ac_more_lines=false
+ rm -f conftest.s$ac_file
+ else
+ if test -z "$ac_sed_cmds"; then
+ ac_sed_cmds="sed -f conftest.s$ac_file"
+ else
+ ac_sed_cmds="$ac_sed_cmds | sed -f conftest.s$ac_file"
+ fi
+ ac_file=`expr $ac_file + 1`
+ ac_beg=$ac_end
+ ac_end=`expr $ac_end + $ac_max_sed_cmds`
+ fi
+done
+if test -z "$ac_sed_cmds"; then
+ ac_sed_cmds=cat
+fi
+EOF
+
+cat >> $CONFIG_STATUS <<EOF
+
+CONFIG_FILES=\${CONFIG_FILES-"Makefile ../../src/stklos/Makefile Makefile.config Makefile.skb"}
+EOF
+cat >> $CONFIG_STATUS <<\EOF
+for ac_file in .. $CONFIG_FILES; do if test "x$ac_file" != x..; then
+ # Support "outfile[:infile[:infile...]]", defaulting infile="outfile.in".
+ case "$ac_file" in
+ *:*) ac_file_in=`echo "$ac_file"|sed 's%[^:]*:%%'`
+ ac_file=`echo "$ac_file"|sed 's%:.*%%'` ;;
+ *) ac_file_in="${ac_file}.in" ;;
+ esac
+
+ # Adjust a relative srcdir, top_srcdir, and INSTALL for subdirectories.
+
+ # Remove last slash and all that follows it. Not all systems have dirname.
+ ac_dir=`echo $ac_file|sed 's%/[^/][^/]*$%%'`
+ if test "$ac_dir" != "$ac_file" && test "$ac_dir" != .; then
+ # The file is in a subdirectory.
+ test ! -d "$ac_dir" && mkdir "$ac_dir"
+ ac_dir_suffix="/`echo $ac_dir|sed 's%^\./%%'`"
+ # A "../" for each directory in $ac_dir_suffix.
+ ac_dots=`echo $ac_dir_suffix|sed 's%/[^/]*%../%g'`
+ else
+ ac_dir_suffix= ac_dots=
+ fi
+
+ case "$ac_given_srcdir" in
+ .) srcdir=.
+ if test -z "$ac_dots"; then top_srcdir=.
+ else top_srcdir=`echo $ac_dots|sed 's%/$%%'`; fi ;;
+ /*) srcdir="$ac_given_srcdir$ac_dir_suffix"; top_srcdir="$ac_given_srcdir" ;;
+ *) # Relative path.
+ srcdir="$ac_dots$ac_given_srcdir$ac_dir_suffix"
+ top_srcdir="$ac_dots$ac_given_srcdir" ;;
+ esac
+
+
+ echo creating "$ac_file"
+ rm -f "$ac_file"
+ configure_input="Generated automatically from `echo $ac_file_in|sed 's%.*/%%'` by configure."
+ case "$ac_file" in
+ *Makefile*) ac_comsub="1i\\
+# $configure_input" ;;
+ *) ac_comsub= ;;
+ esac
+
+ ac_file_inputs=`echo $ac_file_in|sed -e "s%^%$ac_given_srcdir/%" -e "s%:% $ac_given_srcdir/%g"`
+ sed -e "$ac_comsub
+s%@configure_input@%$configure_input%g
+s%@srcdir@%$srcdir%g
+s%@top_srcdir@%$top_srcdir%g
+" $ac_file_inputs | (eval "$ac_sed_cmds") > $ac_file
+fi; done
+rm -f conftest.s*
+
+EOF
+cat >> $CONFIG_STATUS <<EOF
+
+EOF
+cat >> $CONFIG_STATUS <<\EOF
+
+exit 0
+EOF
+chmod +x $CONFIG_STATUS
+rm -fr confdefs* $ac_clean_files
+test "$no_create" = yes || ${CONFIG_SHELL-/bin/sh} $CONFIG_STATUS || exit 1
+
+
+# Makefile.config must be in the parent directory
+mv Makefile.config ..
+
diff --git a/skribe/etc/stklos/configure.in b/skribe/etc/stklos/configure.in
new file mode 100644
index 0000000..956af77
--- /dev/null
+++ b/skribe/etc/stklos/configure.in
@@ -0,0 +1,57 @@
+dnl
+dnl Configure.in for Skribe
+dnl
+dnl Author: Erick Gallesio [eg@essi.fr]
+dnl Creation date: 23-Jul-2003 12:04 (eg)
+dnl Last file update: 26-Oct-2004 20:24 (eg)
+
+AC_INIT(../../src/common/api.scm)
+### AM_INIT_AUTOMAKE(skribe,0.0)
+PACKAGE=skribe
+
+SYSTEM=stklos
+SKRIBE='$(BINDIR)/skribe.stklos'
+SKRIBEBIBTEX='$(BINDIR)/skribebibtex.stklos'
+
+##
+## Initialize prefix
+##
+if test "${prefix}" = "NONE" -o "$prefix" = "" ;then
+ prefix="/usr/local"
+fi
+
+##
+## Get information from ../config
+##
+if test -f ../config ;then
+ . ../config
+else
+ echo "You must configure Skribe from the ../.. directory"
+ exit 1
+fi
+
+
+PREFIX=$prefix
+SKRIBE_RELEASE=${release}
+SKRIBE_URL=${skribeurl}
+
+##
+## Substitutions
+##
+AC_SUBST(PACKAGE)
+AC_SUBST(PREFIX)
+AC_SUBST(SKRIBE_RELEASE)
+AC_SUBST(SKRIBE_URL)
+AC_SUBST(SYSTEM)
+AC_SUBST(SKRIBE)
+AC_SUBST(SKRIBEINFO)
+AC_SUBST(SKRIBEBIBTEX)
+
+#
+# Outputs
+#
+AC_OUTPUT(Makefile ../../src/stklos/Makefile Makefile.config Makefile.skb)
+
+# Makefile.config must be in the parent directory
+mv Makefile.config ..
+
generated by cgit v1.2.3 (git 2.45.2) at 2024-12-23 04:57:19 +0000