177  ./ciao-boot.sh clean
  178  history
ulrich@gupu:/opt/gupu/src/c2/ciao$ ./ciao-boot.sh configure
=> ciao: configuring
   Installation type: ............ local
   Installation directory for documentation: /opt/gupu/src/c2/ciao/build/doc
   Installation directory for HTML manuals: /opt/gupu/src/c2/ciao/build/doc
   URL for installed HTML documents: /opt/gupu/src/c2/ciao/build/doc
   Installation directory for 'man' pages: /opt/gupu/src/c2/ciao/build/doc
   Installation directory for 'info' files: /opt/gupu/src/c2/ciao/build/doc
[ GSL detected: yes ]
   Enable GSL bindings: .......... yes
   Auto-install GSL (third party): no
   Enable PPL bindings: .......... no
   Auto-install PPL (third party): no
[ Mathematica detected: no ]
WARNING: Mathematica has not been detected.  If you want to use the 
Mathematica out of the box interface it is recommended that you
stop the Ciao configuration now and install Mathematica first 
and/or add the directory of the MathKernel command line to your
PATH variable.
   Enable Mathematica bindings: .. no
   Custom C compiler: ............ 
   Custom C linker: .............. 
   Additional C compiler flags: .. 
   Specify additional C linker flags: 
   Target OS: .................... LINUX
   Force 32-bit architecture: .... no
   Force 64-bit architecture: .... no
   Target architecture: .......... x86_64
   Enable threads in engine: ..... yes
   Enable and-parallel execution:  no
   Enable parallel backtracking: . no
   Enable tabled execution: ...... yes
   Optimization level: ........... optimized
   Engine debug level: ........... nodebug
   Enable unused predicate warnings: no
   core:compress_exec: ........... no
   core:itf_format: .............. f
   Enable compressed bytecode: ... no
   Enable (optional) runtime checks: no
   core:rtchecks_level: .......... inner
   core:rtchecks_trust: .......... yes
   core:rtchecks_entry: .......... yes
   core:rtchecks_exit: ........... yes
   core:rtchecks_test: ........... no
   core:rtchecks_inline: ......... no
   core:rtchecks_asrloc: ......... yes
   core:rtchecks_predloc: ........ yes
   core:rtchecks_callloc: ........ predicate
   core:rtchecks_namefmt: ........ long
   core:rtchecks_abort_on_error: . no
   Registration type: ............ user
   Update bash init file: ........ yes
   Bash initialization file: ..... /home/ulrich/.bashrc
   Update csh init file: ......... yes
   Csh/Tcsh initialization file: . /home/ulrich/.cshrc
[ Emacs detected: yes ]
   Enable Emacs-based IDE: ....... yes
   Emacs init file: .............. ciao-mode-init.el
   Modify emacs init file: ....... yes
   Emacs initialization file: .... /home/ulrich/.emacs
   Emacs site start: ............. /opt/gupu/src/c2/ciao/core
   Emacs version to be used: ..... /usr/bin/emacs
   Base for PiLLoW HTML assets: .. /opt/gupu/src/c2/ciao/build/doc
   Base URL for PiLLoW HTML assets: /opt/gupu/src/c2/ciao/build/doc
[ MySQL detected: no ]
WARNING: MySQL has not been detected.  If you would like to use the
Ciao-MySQL interface it is highly recommended that you stop
the Ciao configuration now and install MySQL first.
   Enable MySQL support: ......... no
[ javac and javadoc detected: yes ]
   Enable Java interface: ........ yes
[ Ant detected: yes ]
   Enable Ant support: ........... yes
   Symbolic link from Ciao to 'prolog' executable: yes
   Configuration mode: ........... basic
   Verbose builder: .............. no
   Generate documentation: ....... yes
   Generate .asr files during compilation: yes
   Source directory for Ciao: .... /opt/gupu/src/c2/ciao
   Install prefix: ............... /opt/gupu/src/c2/ciao/build
   Installation directory for libraries: /opt/gupu/src/c2/ciao/build/lib
   Default directory for Ciao libraries: /opt/gupu/src/c2/ciao/core
   Installation directory for executables: /opt/gupu/src/c2/ciao/build/bin
   Permissions for installed execs/dirs: 775
   Permissions for installed data files: 664
   Custom group for installed files: 
   Path of GNU make command: ..... /usr/bin/make
   Path of GNU tar command: ...... /bin/tar
   Path of Apache Ant command: ... /usr/bin/ant
=> ciao: configured
   Please check that all the configuration values above are correct. If
   not, you can change or customize the configuration using the command
   line or --interactive configure flag.
   
   To continue the installation, execute 'build' and 'install' commands.
ulrich@gupu:/opt/gupu/src/c2/ciao$ ./ciao-boot.sh build
=> core: building [no docs]
=> core: (engine) building [no docs]
=> core: (exec_header) building [no docs]
=> core: building 'ciaoc' command (using bootstrap compiler)
=> core: building 'ciaosh' command
=> core: building 'ciao-shell' command
=> core: building 'ciao' command
=> core: building 'ciao_sysconf' command
=> core: building 'ciaodump' command
=> core: building 'pldiff' command
=> core: building 'lpmake' command
=> core: building 'plindent' command
=> core: building 'checkline' command
=> core: building 'ciaoc_sdyn' command
=> core: compiling 'lib' libraries
{ERROR: source_tree:filter_def/2 - existence error: procedure:source_tree:filter_def/2 does not exist}
{ERROR (ciao_builder): Unknown error 'error(existence_error(procedure,source_tree:filter_def/2),source_tree:filter_def/2)'.
}