XSB problems

[Carl Andersen]

Before I post a problem we're having with XSB compilation, is this the new best venue to request support?

Or is it better to create a support ticket on Sourceforge?

Thanks!

Carl

[Michael Kifer]

Try both :-)

--
You received this message because you are subscribed to the Google Groups "ErgoAI, Flora-2, and XSB Users Forum" group.
To unsubscribe from this group and stop receiving emails from it, send an email to ErgoAI-Flora2-XSB...@coherentknowledge.com.
To post to this group, send email to ErgoAI-Flor...@coherentknowledge.com.
Visit this group at https://groups.google.com/a/coherentknowledge.com/group/ErgoAI-Flora2-XSB-forum/.
To view this discussion on the web visit https://groups.google.com/a/coherentknowledge.com/d/msgid/ErgoAI-Flora2-XSB-forum/70b524f2-8097-46b2-87fb-3c5a87697e84%40coherentknowledge.com.

[Carl Andersen]

Ok, thanks in advance!

We are trying to compile XSB 3.8 with multi-threading enabled on 64-bit Ubuntu Linux, but get errors.  I should mention that we have successfully compiled XSB 3.7 for MT and it appears to work fine.  We have also tried to compile XSB from the current revision and get the same compilation errors.  Here is console output for the configure step, followed by a clean, followed by the build xsb step.

(VERSION 9112 - XSB 3.8)

carl@cfaT7610:~/dev/XSBs/XSBsrcCopy2/trunk/XSB/build$ ./configure --enable-mt

Building XSB Version 3.8.0 (Three-Buck Chuck) of 2017-10-28

checking build system type... x86_64-unknown-linux-gnu
checking host system type... x86_64-unknown-linux-gnu
configure: checking host system type... x86_64-unknown-linux-gnu
Checking installation directories...
checking /home/carl/dev/XSBs/XSBsrcCopy2/trunk/XSB/lib... OK
checking /home/carl/dev/XSBs/XSBsrcCopy2/trunk/XSB/syslib... OK
checking /home/carl/dev/XSBs/XSBsrcCopy2/trunk/XSB/cmplib... OK
checking /home/carl/dev/XSBs/XSBsrcCopy2/trunk/XSB/bin... OK
checking /home/carl/dev/XSBs/XSBsrcCopy2/trunk/XSB/config/x86_64-unknown-linux-gnu-mt/bin... OK
checking /home/carl/dev/XSBs/XSBsrcCopy2/trunk/XSB/config/x86_64-unknown-linux-gnu-mt/lib... OK
checking /home/carl/dev/XSBs/XSBsrcCopy2/trunk/XSB/config/x86_64-unknown-linux-gnu-mt/saved.o... OK
checking /home/carl/dev/XSBs/XSBsrcCopy2/trunk/XSB/site/lib... OK
checking /home/carl/dev/XSBs/XSBsrcCopy2/trunk/XSB/site/config/x86_64-unknown-linux-gnu/lib... OK
checking /home/carl/dev/XSBs/XSBsrcCopy2/trunk/XSB/emu... OK
checking /home/carl/dev/XSBs/XSBsrcCopy2/trunk/XSB/lib... OK
checking /home/carl/dev/XSBs/XSBsrcCopy2/trunk/XSB/syslib... OK
checking /home/carl/dev/XSBs/XSBsrcCopy2/trunk/XSB/cmplib... OK
checking /home/carl/dev/XSBs/XSBsrcCopy2/trunk/XSB/bin... OK
checking /home/carl/dev/XSBs/XSBsrcCopy2/trunk/XSB/build... OK
checking /home/carl/dev/XSBs/XSBsrcCopy2/trunk/XSB/config/x86_64-unknown-linux-gnu-mt/bin... OK
checking /home/carl/dev/XSBs/XSBsrcCopy2/trunk/XSB/config/x86_64-unknown-linux-gnu-mt/lib... OK
checking /home/carl/dev/XSBs/XSBsrcCopy2/trunk/XSB/config/x86_64-unknown-linux-gnu-mt/saved.o... OK
checking /home/carl/dev/XSBs/XSBsrcCopy2/trunk/XSB/etc... OK
checking /home/carl/dev/XSBs/XSBsrcCopy2/trunk/XSB/packages... OK
checking /home/carl/dev/XSBs/XSBsrcCopy2/trunk/XSB/packages/xmc... OK
checking /home/carl/dev/XSBs/XSBsrcCopy2/trunk/XSB/examples... OK
checking /home/carl/dev/XSBs/XSBsrcCopy2/trunk/XSB/prolog_includes... OK
Checking installation directories ... Done
checking for gcc... gcc
checking whether the C compiler works... yes
checking for C compiler default output file name... a.out
checking for suffix of executables...
checking whether we are cross compiling... no
checking for suffix of object files... o
checking whether we are using the GNU C compiler... yes
checking whether gcc accepts -g... yes
checking for gcc option to accept ISO C89... none needed
checking how to run the C preprocessor... gcc -E
checking for a BSD-compatible install... /usr/bin/install -c
checking for grep that handles long lines and -e... /bin/grep
checking for egrep... /bin/grep -E
checking for ANSI C header files... yes
checking for sys/types.h... yes
checking for sys/stat.h... yes
checking for stdlib.h... yes
checking for string.h... yes
checking for memory.h... yes
checking for strings.h... yes
checking for inttypes.h... yes
checking for stdint.h... yes
checking for unistd.h... yes
checking minix/config.h usability... no
checking minix/config.h presence... no
checking for minix/config.h... no
checking whether it is safe to define __EXTENSIONS__... yes
checking for gcc... yes
checking whether we are using SunPro C... no
***Configuring Curl (WWW protocol library)
***Configuring XPath support
***Configuring PCRE (Perl pattern matching library)
checking whether make sets $(MAKE)... yes
checking size of long int... 8

    Configuring XSB for a 64 bit machine

checking for main in -lm... yes
checking for main in -ldl... yes
checking for main in -lnsl... yes
checking for main in -lpthread... yes
checking for main in -lsocket... no
checking for readline in -lreadline... yes
checking for sched_get_priority_max... yes
checking stdarg.h usability... yes
checking stdarg.h presence... yes
checking for stdarg.h... yes
checking sys/time.h usability... yes
checking sys/time.h presence... yes
checking for sys/time.h... yes
checking whether time.h and sys/time.h may both be included... yes
checking sys/resource.h usability... yes
checking sys/resource.h presence... yes
checking for sys/resource.h... yes
checking for malloc... yes
checking for unistd.h... (cached) yes
checking for string.h... (cached) yes
checking for stdlib.h... (cached) yes
checking for an ANSI C-conforming const... yes
checking return type of signal handlers... void
checking for strdup... yes
checking for mkdir... yes
checking for gethostbyname... yes
checking for gettimeofday... yes
checking for socket... yes
checking for snprintf... yes
checking for regexec... yes
checking for regerror... yes
checking for regcomp... yes
checking for fnmatch... yes
checking for glob... yes
checking for globfree... yes
checking for execvp... yes
checking for itkwish... no
XMC GUI not supported due to failure to find Incr Tcl/Tk
checking whether loader understands -Wl,-export-dynamic... yes
checking for inline... inline
    Not using SMODELS
ls: cannot access '/usr/lib/jvm/java-8-oracle/include/jni_md.h': No such file or directory
Obtaining Java header files form /usr/lib/jvm/java-8-oracle/include and /usr/lib/jvm/java-8-oracle/include/linux
configure: creating ./config.status
config.status: creating /home/carl/dev/XSBs/XSBsrcCopy2/trunk/XSB/config/x86_64-unknown-linux-gnu-mt/topMakefile
config.status: creating /home/carl/dev/XSBs/XSBsrcCopy2/trunk/XSB/config/x86_64-unknown-linux-gnu-mt/emuMakefile
config.status: creating /home/carl/dev/XSBs/XSBsrcCopy2/trunk/XSB/config/x86_64-unknown-linux-gnu-mt/modMakefile
config.status: creating /home/carl/dev/XSBs/XSBsrcCopy2/trunk/XSB/config/x86_64-unknown-linux-gnu-mt/gppMakefile
config.status: creating /home/carl/dev/XSBs/XSBsrcCopy2/trunk/XSB/config/x86_64-unknown-linux-gnu-mt/smoMakefile
config.status: creating /home/carl/dev/XSBs/XSBsrcCopy2/trunk/XSB/config/x86_64-unknown-linux-gnu-mt/makedef.sh
config.status: creating /home/carl/dev/XSBs/XSBsrcCopy2/trunk/XSB/config/x86_64-unknown-linux-gnu-mt/lib/xsb_configuration.P
config.status: creating windows/xsb_configuration.P
config.status: creating windows64/xsb_configuration.P
config.status: creating makexsb
config.status: creating /home/carl/dev/XSBs/XSBsrcCopy2/trunk/XSB/bin/chr_pp-mt
config.status: creating /home/carl/dev/XSBs/XSBsrcCopy2/trunk/XSB/bin/xsb-mt
config.status: creating /home/carl/dev/XSBs/XSBsrcCopy2/trunk/XSB/config/x86_64-unknown-linux-gnu-mt/banner.msg
config.status: creating windows/banner.msg
config.status: creating windows64/banner.msg
config.status: creating windows/MSVC_mkfile.mak
config.status: creating windows64/MSVC_mkfile.mak
config.status: creating /home/carl/dev/XSBs/XSBsrcCopy2/trunk/XSB/packages/xmc/xmc-gui
config.status: creating /home/carl/dev/XSBs/XSBsrcCopy2/trunk/XSB/config/x86_64-unknown-linux-gnu-mt/xsb_config.h
config.status: creating windows/xsb_config.h
config.status: windows/xsb_config.h is unchanged
config.status: creating windows/xsb_debug.h
config.status: windows/xsb_debug.h is unchanged
config.status: creating windows64/xsb_config.h
config.status: windows64/xsb_config.h is unchanged
config.status: creating windows64/xsb_debug.h
config.status: windows64/xsb_debug.h is unchanged
config.status: creating /home/carl/dev/XSBs/XSBsrcCopy2/trunk/XSB/config/x86_64-unknown-linux-gnu-mt/xsb_debug.h
config.status: /home/carl/dev/XSBs/XSBsrcCopy2/trunk/XSB/config/x86_64-unknown-linux-gnu-mt/xsb_debug.h is unchanged


            INSTALLATION SUMMARY
            --------------------

XSB Version:       3.8.0
Code name:       Three-Buck Chuck
Release date:       2017-10-28
Configuration:       x86_64-unknown-linux-gnu
Installation date: Fri Nov 30 12:14:13 EST 2018

  Build process is looking for XSB sources in:      /home/carl/dev/XSBs/XSBsrcCopy2/trunk/XSB
  XSB should be installed in:              /home/carl/dev/XSBs/XSBsrcCopy2/trunk/XSB
  Configuration-specific executables go in:      /home/carl/dev/XSBs/XSBsrcCopy2/trunk/XSB/config/x86_64-unknown-linux-gnu-mt/bin
  Configuration-specific libraries go in:      /home/carl/dev/XSBs/XSBsrcCopy2/trunk/XSB/config/x86_64-unknown-linux-gnu-mt/lib
  Object code goes in:                  /home/carl/dev/XSBs/XSBsrcCopy2/trunk/XSB/config/x86_64-unknown-linux-gnu-mt/saved.o
  Site-specific code goes in:              /home/carl/dev/XSBs/XSBsrcCopy2/trunk/XSB/site
  Site configuration-specific code goes in:      /home/carl/dev/XSBs/XSBsrcCopy2/trunk/XSB/site/config/x86_64-unknown-linux-gnu
  XSB will be built with:              gcc   -I/usr/lib/jvm/java-8-oracle/include  -O3 -fno-strict-aliasing   -fPIC -Wall -pipe -D_GNU_SOURCE  
  builtin.c will be built with:           gcc  -I/usr/lib/jvm/java-8-oracle/include  -O3 -fno-strict-aliasing   -fPIC -Wall -pipe -D_GNU_SOURCE
  loader_xsb.c will be built with:           gcc  -I/usr/lib/jvm/java-8-oracle/include  -O3 -fno-strict-aliasing   -fPIC -Wall -pipe -D_GNU_SOURCE
  emuloop.c will be built with:           gcc  -I/usr/lib/jvm/java-8-oracle/include  -O3 -fno-strict-aliasing   -fPIC -Wall -pipe -D_GNU_SOURCE
  tr_utils.c will be built with:          gcc  -I/usr/lib/jvm/java-8-oracle/include  -O3 -fno-strict-aliasing   -fPIC -Wall -pipe -D_GNU_SOURCE
  Loader flags:                   -lpthread -lm -ldl -Wl,-export-dynamic -lpthread
  Compilation mode:                  optimal
  XSB abstract machine:               multi-threading
  XSB scheduling strategy:              local
  Garbage Collection Stress-Test:          no
  Jumptable-based emulator loop:          yes
  Demand support:                                 no

  Support for modular database drivers:       no
  -- These drivers can also be configured later.
  Native support for Oracle:              no
  Support for the old ODBC driver:          no

  Java compiler:                                  /usr/lib/jvm/java-8-oracle/bin/javac
  Support for InterProlog's native engine:      yes

  POSIX regexp matching libraries:                yes
  POSIX wildcard matching libraries:              yes

  Curl support (HTTP protocol library):           yes
  Curl C flags:                                      -g -O2
  Curl loader flags:                             

  XPath support:                  yes
  XPath C flags:                  -I/usr/include/libxml2
  XPath loader flags:                  -L/usr/lib -lxml2

  PCRE support (Perl pattern matching):           yes
  PCRE C flags:                                      -g -O2
  PCRE loader flags:                             




XSB is configured for installation in /home/carl/dev/XSBs/XSBsrcCopy2/trunk/XSB
Site libraries are to be found in /home/carl/dev/XSBs/XSBsrcCopy2/trunk/XSB/site
Configuration report is saved in ./Installation_summary

***Now compile XSB with:   `./makexsb --config-tag=mt'

carl@cfaT7610:~/dev/XSBs/XSBsrcCopy2/trunk/XSB/build$ ./makexsb clean --config-tag=mt

make -f ../config/x86_64-unknown-linux-gnu-mt/topMakefile   clean

Cleaning up /home/carl/dev/XSBs/XSBsrcCopy2/trunk/XSB/config/x86_64-unknown-linux-gnu-mt/lib
Cleaning up /home/carl/dev/XSBs/XSBsrcCopy2/trunk/XSB/config/x86_64-unknown-linux-gnu-mt/saved.o
Cleaning up /home/carl/dev/XSBs/XSBsrcCopy2/trunk/XSB/config/x86_64-unknown-linux-gnu-mt/lib
Cleaning up /home/carl/dev/XSBs/XSBsrcCopy2/trunk/XSB/emu
Cleaning up packages
make[1]: Entering directory '/home/carl/dev/XSBs/XSBsrcCopy2/trunk/XSB/packages'
/bin/rm -f core *.xwam *.O *~ .*~ *.bak .#*
make[1]: Leaving directory '/home/carl/dev/XSBs/XSBsrcCopy2/trunk/XSB/packages'
Cleaning up /home/carl/dev/XSBs/XSBsrcCopy2/trunk/XSB/packages/altCDF
make[1]: Entering directory '/home/carl/dev/XSBs/XSBsrcCopy2/trunk/XSB/packages/altCDF'
/bin/rm -f *.xwam *.O core *~ *.bak .#*
make[1]: Leaving directory '/home/carl/dev/XSBs/XSBsrcCopy2/trunk/XSB/packages/altCDF'
Cleaning up /home/carl/dev/XSBs/XSBsrcCopy2/trunk/XSB/packages/bounds
make[1]: Entering directory '/home/carl/dev/XSBs/XSBsrcCopy2/trunk/XSB/packages/bounds'
make[1]: *** No rule to make target 'clean'.  Stop.
make[1]: Leaving directory '/home/carl/dev/XSBs/XSBsrcCopy2/trunk/XSB/packages/bounds'
Cleaning up /home/carl/dev/XSBs/XSBsrcCopy2/trunk/XSB/packages/CDF
make[1]: Entering directory '/home/carl/dev/XSBs/XSBsrcCopy2/trunk/XSB/packages/CDF'
make[1]: *** No rule to make target 'clean'.  Stop.
make[1]: Leaving directory '/home/carl/dev/XSBs/XSBsrcCopy2/trunk/XSB/packages/CDF'
Cleaning up /home/carl/dev/XSBs/XSBsrcCopy2/trunk/XSB/packages/chr
make[1]: Entering directory '/home/carl/dev/XSBs/XSBsrcCopy2/trunk/XSB/packages/chr'
make[1]: *** No rule to make target 'clean'.  Stop.
make[1]: Leaving directory '/home/carl/dev/XSBs/XSBsrcCopy2/trunk/XSB/packages/chr'
Cleaning up /home/carl/dev/XSBs/XSBsrcCopy2/trunk/XSB/packages/chr_d
make[1]: Entering directory '/home/carl/dev/XSBs/XSBsrcCopy2/trunk/XSB/packages/chr_d'
make[1]: *** No rule to make target 'clean'.  Stop.
make[1]: Leaving directory '/home/carl/dev/XSBs/XSBsrcCopy2/trunk/XSB/packages/chr_d'
Cleaning up /home/carl/dev/XSBs/XSBsrcCopy2/trunk/XSB/packages/clpqr
make[1]: Entering directory '/home/carl/dev/XSBs/XSBsrcCopy2/trunk/XSB/packages/clpqr'
rm -f *~ *% config.log
make[1]: Leaving directory '/home/carl/dev/XSBs/XSBsrcCopy2/trunk/XSB/packages/clpqr'
Cleaning up /home/carl/dev/XSBs/XSBsrcCopy2/trunk/XSB/packages/curl
make[1]: Entering directory '/home/carl/dev/XSBs/XSBsrcCopy2/trunk/XSB/packages/curl'
/bin/rm -f *.xwam *.O *~ .*~ *.bak
/bin/rm -f cc/*.xwam cc/*.[Oo]  cc/*.so cc/*~ cc/.*~ cc/*.bak
make[1]: Leaving directory '/home/carl/dev/XSBs/XSBsrcCopy2/trunk/XSB/packages/curl'
Cleaning up /home/carl/dev/XSBs/XSBsrcCopy2/trunk/XSB/packages/dbdrivers
make[1]: Entering directory '/home/carl/dev/XSBs/XSBsrcCopy2/trunk/XSB/packages/dbdrivers'
make[1]: *** No rule to make target 'clean'.  Stop.
make[1]: Leaving directory '/home/carl/dev/XSBs/XSBsrcCopy2/trunk/XSB/packages/dbdrivers'
Cleaning up /home/carl/dev/XSBs/XSBsrcCopy2/trunk/XSB/packages/gap
make[1]: Entering directory '/home/carl/dev/XSBs/XSBsrcCopy2/trunk/XSB/packages/gap'
/bin/rm -f *.xwam *.O *~ .*~ *.bak
make[1]: Leaving directory '/home/carl/dev/XSBs/XSBsrcCopy2/trunk/XSB/packages/gap'
Cleaning up /home/carl/dev/XSBs/XSBsrcCopy2/trunk/XSB/packages/justify
make[1]: Entering directory '/home/carl/dev/XSBs/XSBsrcCopy2/trunk/XSB/packages/justify'
Removing all C object files...
rm -f parse *.o
Removing all Prolog bytecode files...
rm -f *.xwam *.O
rm -f *~ .*~ *.so
make[1]: Leaving directory '/home/carl/dev/XSBs/XSBsrcCopy2/trunk/XSB/packages/justify'
Cleaning up /home/carl/dev/XSBs/XSBsrcCopy2/trunk/XSB/packages/libwww
make[1]: Entering directory '/home/carl/dev/XSBs/XSBsrcCopy2/trunk/XSB/packages/libwww'
rm -f core *.xwam *.O *~ .*~ *.bak
rm -f cc/*.H cc/*.so cc/*.[oO] cc/*.xwam cc/*~ cc/.*~ cc/*.bak
make[1]: Leaving directory '/home/carl/dev/XSBs/XSBsrcCopy2/trunk/XSB/packages/libwww'
Cleaning up /home/carl/dev/XSBs/XSBsrcCopy2/trunk/XSB/packages/pcre
make[1]: Entering directory '/home/carl/dev/XSBs/XSBsrcCopy2/trunk/XSB/packages/pcre'
/bin/rm -f *.xwam *.O *~ .*~ *.bak
/bin/rm -f cc/*.xwam cc/*.[Oo]  cc/*.so cc/*~ cc/.*~ cc/*.bak
make[1]: Leaving directory '/home/carl/dev/XSBs/XSBsrcCopy2/trunk/XSB/packages/pcre'
Cleaning up /home/carl/dev/XSBs/XSBsrcCopy2/trunk/XSB/packages/perlmatch
make[1]: Entering directory '/home/carl/dev/XSBs/XSBsrcCopy2/trunk/XSB/packages/perlmatch'
/bin/rm -f *.xwam *.O *~ .*~ *.bak
/bin/rm -f cc/*.xwam cc/*.[Oo]  cc/*.so cc/*~ cc/.*~ cc/*.bak
make[1]: Leaving directory '/home/carl/dev/XSBs/XSBsrcCopy2/trunk/XSB/packages/perlmatch'
Cleaning up /home/carl/dev/XSBs/XSBsrcCopy2/trunk/XSB/packages/persistent_tables
make[1]: Entering directory '/home/carl/dev/XSBs/XSBsrcCopy2/trunk/XSB/packages/persistent_tables'
make[1]: *** No rule to make target 'clean'.  Stop.
make[1]: Leaving directory '/home/carl/dev/XSBs/XSBsrcCopy2/trunk/XSB/packages/persistent_tables'
Cleaning up /home/carl/dev/XSBs/XSBsrcCopy2/trunk/XSB/packages/pita
make[1]: Entering directory '/home/carl/dev/XSBs/XSBsrcCopy2/trunk/XSB/packages/pita'
make[1]: *** No rule to make target 'clean'.  Stop.
make[1]: Leaving directory '/home/carl/dev/XSBs/XSBsrcCopy2/trunk/XSB/packages/pita'
Cleaning up /home/carl/dev/XSBs/XSBsrcCopy2/trunk/XSB/packages/rdf
make[1]: Entering directory '/home/carl/dev/XSBs/XSBsrcCopy2/trunk/XSB/packages/rdf'
make[1]: *** No rule to make target 'clean'.  Stop.
make[1]: Leaving directory '/home/carl/dev/XSBs/XSBsrcCopy2/trunk/XSB/packages/rdf'
Cleaning up /home/carl/dev/XSBs/XSBsrcCopy2/trunk/XSB/packages/regmatch
make[1]: Entering directory '/home/carl/dev/XSBs/XSBsrcCopy2/trunk/XSB/packages/regmatch'
/bin/rm -f *.xwam *.O *~ .*~ *.bak
/bin/rm -f cc/*.xwam cc/*.[Oo]  cc/*.so cc/*~ cc/.*~ cc/*.bak
make[1]: Leaving directory '/home/carl/dev/XSBs/XSBsrcCopy2/trunk/XSB/packages/regmatch'
Cleaning up /home/carl/dev/XSBs/XSBsrcCopy2/trunk/XSB/packages/sgml
make[1]: Entering directory '/home/carl/dev/XSBs/XSBsrcCopy2/trunk/XSB/packages/sgml'
rm -f parser.o util.o charmap.o catalog.o model.o xmlns.o utf8.o xml_unicode.o error.o sgml2pl.o quote.o *~ *.o *% a.out core config.log
make[1]: Leaving directory '/home/carl/dev/XSBs/XSBsrcCopy2/trunk/XSB/packages/sgml'
Cleaning up /home/carl/dev/XSBs/XSBsrcCopy2/trunk/XSB/packages/slx
make[1]: Entering directory '/home/carl/dev/XSBs/XSBsrcCopy2/trunk/XSB/packages/slx'
/bin/rm -f *.xwam *.O *~ .*~ *.bak
make[1]: Leaving directory '/home/carl/dev/XSBs/XSBsrcCopy2/trunk/XSB/packages/slx'
Cleaning up /home/carl/dev/XSBs/XSBsrcCopy2/trunk/XSB/packages/viewsys
make[1]: Entering directory '/home/carl/dev/XSBs/XSBsrcCopy2/trunk/XSB/packages/viewsys'
make[1]: *** No rule to make target 'clean'.  Stop.
make[1]: Leaving directory '/home/carl/dev/XSBs/XSBsrcCopy2/trunk/XSB/packages/viewsys'
Cleaning up /home/carl/dev/XSBs/XSBsrcCopy2/trunk/XSB/packages/w4
make[1]: Entering directory '/home/carl/dev/XSBs/XSBsrcCopy2/trunk/XSB/packages/w4'
make[1]: *** No rule to make target 'clean'.  Stop.
make[1]: Leaving directory '/home/carl/dev/XSBs/XSBsrcCopy2/trunk/XSB/packages/w4'
Cleaning up /home/carl/dev/XSBs/XSBsrcCopy2/trunk/XSB/packages/wildmatch
make[1]: Entering directory '/home/carl/dev/XSBs/XSBsrcCopy2/trunk/XSB/packages/wildmatch'
/bin/rm -f *.xwam *.O *~ .*~ *.bak
/bin/rm -f cc/*.xwam cc/*.[Oo] cc/*.so cc/*~ cc/.*~  cc/*.bak
make[1]: Leaving directory '/home/carl/dev/XSBs/XSBsrcCopy2/trunk/XSB/packages/wildmatch'
Cleaning up /home/carl/dev/XSBs/XSBsrcCopy2/trunk/XSB/packages/xasp
make[1]: Entering directory '/home/carl/dev/XSBs/XSBsrcCopy2/trunk/XSB/packages/xasp'
make[1]: *** No rule to make target 'clean'.  Stop.
make[1]: Leaving directory '/home/carl/dev/XSBs/XSBsrcCopy2/trunk/XSB/packages/xasp'
Cleaning up /home/carl/dev/XSBs/XSBsrcCopy2/trunk/XSB/packages/xmc
make[1]: Entering directory '/home/carl/dev/XSBs/XSBsrcCopy2/trunk/XSB/packages/xmc'
Removing all C object files...
rm -f parse *.o
Removing all Prolog bytecode files...
rm -f *.xwam *.O
Removing all libraries!
rm -f libxlp.a xlparse.so
Removing intermediate C files...
rm -f xl.tab.c xl.tab.h lex.yy.c
Removing junk...
rm -f *~ .*~ *.so
make[1]: Leaving directory '/home/carl/dev/XSBs/XSBsrcCopy2/trunk/XSB/packages/xmc'
Cleaning up /home/carl/dev/XSBs/XSBsrcCopy2/trunk/XSB/packages/xpath
make[1]: Entering directory '/home/carl/dev/XSBs/XSBsrcCopy2/trunk/XSB/packages/xpath'
make[1]: *** No rule to make target 'clean'.  Stop.
make[1]: Leaving directory '/home/carl/dev/XSBs/XSBsrcCopy2/trunk/XSB/packages/xpath'
Cleaning up /home/carl/dev/XSBs/XSBsrcCopy2/trunk/XSB/packages/xref
make[1]: Entering directory '/home/carl/dev/XSBs/XSBsrcCopy2/trunk/XSB/packages/xref'
/bin/rm -f *.xwam *.O *~ .*~ *.bak
make[1]: Leaving directory '/home/carl/dev/XSBs/XSBsrcCopy2/trunk/XSB/packages/xref'
Cleaning up /home/carl/dev/XSBs/XSBsrcCopy2/trunk/XSB/packages/xsbdoc
make[1]: Entering directory '/home/carl/dev/XSBs/XSBsrcCopy2/trunk/XSB/packages/xsbdoc'
/bin/rm -f *.xwam *.O *~ .*~ *.bak
make[1]: Leaving directory '/home/carl/dev/XSBs/XSBsrcCopy2/trunk/XSB/packages/xsbdoc'
Cleaning up /home/carl/dev/XSBs/XSBsrcCopy2/trunk/XSB/lib
make[1]: Entering directory '/home/carl/dev/XSBs/XSBsrcCopy2/trunk/XSB/lib'
/bin/rm -f *.xwam *.O core *~ *.bak .#*
make[1]: Leaving directory '/home/carl/dev/XSBs/XSBsrcCopy2/trunk/XSB/lib'
Cleaning up /home/carl/dev/XSBs/XSBsrcCopy2/trunk/XSB/syslib
make[1]: Entering directory '/home/carl/dev/XSBs/XSBsrcCopy2/trunk/XSB/syslib'
rm -f core *~ *.bak .#*
rm -f objfiles.saved/*
make[1]: Leaving directory '/home/carl/dev/XSBs/XSBsrcCopy2/trunk/XSB/syslib'
Cleaning up /home/carl/dev/XSBs/XSBsrcCopy2/trunk/XSB/cmplib
make[1]: Entering directory '/home/carl/dev/XSBs/XSBsrcCopy2/trunk/XSB/cmplib'
rm -f core *~ *.bak .#*
rm -f objfiles.saved/*
make[1]: Leaving directory '/home/carl/dev/XSBs/XSBsrcCopy2/trunk/XSB/cmplib'
carl@cfaT7610:~/dev/XSBs/XSBsrcCopy2/trunk/XSB/build$ ./makexsb --config-tag=mt

make -f ../config/x86_64-unknown-linux-gnu-mt/topMakefile 


Preparing...

Making emulator...
make[1]: Entering directory '/home/carl/dev/XSBs/XSBsrcCopy2/trunk/XSB/emu'
make[1]: Leaving directory '/home/carl/dev/XSBs/XSBsrcCopy2/trunk/XSB/emu'
make[1]: Entering directory '/home/carl/dev/XSBs/XSBsrcCopy2/trunk/XSB/emu'
-e
Compiling XSB with gcc using -I/usr/lib/jvm/java-8-oracle/include  -O3 -fno-strict-aliasing   -fPIC -Wall -pipe -D_GNU_SOURCE  

-e     [gcc] main_xsb.c
-e     [gcc] auxlry.c
-e     [gcc] biassert.c
biassert.c: In function ‘dbgen_printinst3’:
biassert.c:158:20: warning: type of ‘Opcode’ defaults to ‘int’ [-Wimplicit-int]
 static inline void dbgen_printinst3(Opcode, Arg1, Arg2, Arg3)
                    ^~~~~~~~~~~~~~~~
biassert.c:158:20: warning: type of ‘Arg1’ defaults to ‘int’ [-Wimplicit-int]
biassert.c:158:20: warning: type of ‘Arg2’ defaults to ‘int’ [-Wimplicit-int]
biassert.c:158:20: warning: type of ‘Arg3’ defaults to ‘int’ [-Wimplicit-int]
biassert.c: In function ‘dbgen_printinst’:
biassert.c:181:20: warning: type of ‘Opcode’ defaults to ‘int’ [-Wimplicit-int]
 static inline void dbgen_printinst(Opcode, Arg1, Arg2)
                    ^~~~~~~~~~~~~~~
biassert.c:181:20: warning: type of ‘Arg1’ defaults to ‘int’ [-Wimplicit-int]
biassert.c:181:20: warning: type of ‘Arg2’ defaults to ‘int’ [-Wimplicit-int]
-e     [gcc] builtin.c using -I/usr/lib/jvm/java-8-oracle/include  -O3 -fno-strict-aliasing   -fPIC -Wall -pipe -D_GNU_SOURCE
In file included from builtin.c:1410:0:
io_builtins_xsb_i.h: In function ‘file_function’:
io_builtins_xsb_i.h:1075:33: warning: ‘charset’ may be used uninitialized in this function [-Wmaybe-uninitialized]
     open_files[io_port].charset = charset;
     ~~~~~~~~~~~~~~~~~~~~~~~~~~~~^~~~~~~~~
-e     [gcc] call_xsb.c
-e     [gcc] cinterf.c
-e     [gcc] conc_compl.c
-e     [gcc] debug_xsb.c
debug_xsb.c: In function ‘sprint_registers’:
debug_xsb.c:724:3: warning: this ‘if’ clause does not guard... [-Wmisleading-indentation]
   if (arity != 0) sprintf(buffer+size, "(");size++;
   ^~
debug_xsb.c:724:45: note: ...this statement, but the latter is misleadingly indented as if it were guarded by the ‘if’
   if (arity != 0) sprintf(buffer+size, "(");size++;
                                             ^~~~
debug_xsb.c: In function ‘sprint_cyclic_registers’:
debug_xsb.c:745:3: warning: this ‘if’ clause does not guard... [-Wmisleading-indentation]
   if (arity != 0) sprintf(buffer+size, "(");size++;
   ^~
debug_xsb.c:745:45: note: ...this statement, but the latter is misleadingly indented as if it were guarded by the ‘if’
   if (arity != 0) sprintf(buffer+size, "(");size++;
                                             ^~~~
debug_xsb.c: In function ‘quick_print_trail’:
debug_xsb.c:2046:5: warning: this ‘if’ clause does not guard... [-Wmisleading-indentation]
     if ( i == trreg ) printf("trreg");if ( i == trfreg ) printf("trfreg ");
     ^~
debug_xsb.c:2046:39: note: ...this statement, but the latter is misleadingly indented as if it were guarded by the ‘if’
     if ( i == trreg ) printf("trreg");if ( i == trfreg ) printf("trfreg ");
                                       ^~
-e     [gcc] dis.c
-e     [gcc] dynload.c
-e     [gcc] dynamic_stack.c
-e     [gcc] deadlock.c
-e     [gcc] emuloop.c using -I/usr/lib/jvm/java-8-oracle/include  -O3 -fno-strict-aliasing   -fPIC -Wall -pipe -D_GNU_SOURCE
-e     [gcc] error_xsb.c
-e     [gcc] findall.c
-e     [gcc] function.c
-e     [gcc] hash_xsb.c
-e     [gcc] hashtable_xsb.c
-e     [gcc] heap_xsb.c
-e     [gcc] init_xsb.c
-e     [gcc] inst_xsb.c
-e     [gcc] io_builtins_xsb.c
-e     [gcc] loader_xsb.c using -I/usr/lib/jvm/java-8-oracle/include  -O3 -fno-strict-aliasing   -fPIC -Wall -pipe -D_GNU_SOURCE
-e     [gcc] memory_xsb.c
-e     [gcc] orient_xsb.c
-e     [gcc] pathname_xsb.c
-e     [gcc] psc_xsb.c
-e     [gcc] random_xsb.c
-e     [gcc] remove_unf.c
-e     [gcc] residual.c
-e     [gcc] rw_lock.c
-e     [gcc] scc_xsb.c
-e     [gcc] slgdelay.c
In file included from slgdelay.c:38:0:
slgdelay.c: In function ‘forest_log_pos_unconditional’:
context.h:886:17: error: ‘th’ undeclared (first use in this function); did you mean ‘tm’?
 #define CTXTc   th ,
                 ^
slgdelay.c:1281:22: note: in expansion of macro ‘CTXTc’
       sprintTriePath(CTXTc buffera, as_leaf);
                      ^~~~~
context.h:886:17: note: each undeclared identifier is reported only once for each function it appears in
 #define CTXTc   th ,
                 ^
slgdelay.c:1281:22: note: in expansion of macro ‘CTXTc’
       sprintTriePath(CTXTc buffera, as_leaf);
                      ^~~~~
slgdelay.c: In function ‘log_pos_unsupported’:
context.h:886:17: error: ‘th’ undeclared (first use in this function); did you mean ‘tm’?
 #define CTXTc   th ,
                 ^
slgdelay.c:1530:22: note: in expansion of macro ‘CTXTc’
       sprint_subgoal(CTXTc forest_log_buffer_1,0,asi_subgoal(Delay(as_leaf)));
                      ^~~~~
Makefile:274: recipe for target 'slgdelay.o' failed
make[1]: *** [slgdelay.o] Error 1
make[1]: Leaving directory '/home/carl/dev/XSBs/XSBsrcCopy2/trunk/XSB/emu'
../config/x86_64-unknown-linux-gnu-mt/topMakefile:194: recipe for target 'emulator' failed
make: *** [emulator] Error 1

[Theresa Swift]

Hi Carl

Nice to hear from you.  Sorry about that -- I'll take a look this weekend, and let you know when Ive updated the SVN repo.

Theresa

--
You received this message because you are subscribed to the Google Groups "ErgoAI, Flora-2, and XSB Users Forum" group.
To unsubscribe from this group and stop receiving emails from it, send an email to ErgoAI-Flora2-XSB...@coherentknowledge.com.
To post to this group, send email to ErgoAI-Flor...@coherentknowledge.com.
Visit this group at https://groups.google.com/a/coherentknowledge.com/group/ErgoAI-Flora2-XSB-forum/.

To view this discussion on the web visit https://groups.google.com/a/coherentknowledge.com/d/msgid/ErgoAI-Flora2-XSB-forum/f99adf54-1bc7-4696-8831-9593bade4386%40coherentknowledge.com.

[Carl Andersen]

Hi Theresa,

Nice to see you too!  Thanks for the assistance.

Carl

To unsubscribe from this group and stop receiving emails from it, send an email to ErgoAI-Flora2-XSB-forum+unsubscribe@coherentknowledge.com.

[Theresa Swift]

Hi Carl and others

I fixed the current revision so that it compiles the MT engine.  If you're waborking on complex tabling applications, I'd recommend using single thread, as the MT engine is a sort of work in progress, and not all of the underlying table data structures are thread safe (e.g., for incremental tabling).

I guess what we really need is a big company to help us out with some support to finish up multi-threading :-)

Seriously, MT bugs are hard to ferret out -- just this week I  tracked down a synchronization problem that I *think* is in Java rather than user code -- and Java is generally conidered a mature programming system.

On Fri, 30 Nov 2018 at 12:27, Carl Andersen <carl.a...@gmail.com> wrote:

--
You received this message because you are subscribed to the Google Groups "ErgoAI, Flora-2, and XSB Users Forum" group.
To unsubscribe from this group and stop receiving emails from it, send an email to ErgoAI-Flora2-XSB...@coherentknowledge.com.
To post to this group, send email to ErgoAI-Flor...@coherentknowledge.com.
Visit this group at https://groups.google.com/a/coherentknowledge.com/group/ErgoAI-Flora2-XSB-forum/.

To view this discussion on the web visit https://groups.google.com/a/coherentknowledge.com/d/msgid/ErgoAI-Flora2-XSB-forum/f99adf54-1bc7-4696-8831-9593bade4386%40coherentknowledge.com.

[Carl Andersen]

Hi Theresa,

Thanks for the help!  We can compile the current revision, but the simple thread hello world test causes an immediate segmentation fault:

carl@cfaT7610:~/dev/XSBs/XSB121018/src/XSB/config/x86_64-unknown-linux-gnu-mt/bin$ ./xsb
[xsb_configuration loaded]
[sysinitrc loaded]
[xsbbrat loaded]

XSB Version 3.8.0 (Three-Buck Chuck) of October 28, 2017
[x86_64-unknown-linux-gnu 64 bits; mode: optimal; engine: multi-threading; scheduling: local]
[Build date: 2018-12-10]

| ?- import thread_create/2 from thread.

yes
| ?- thread_create(writeln('hi'),Id).

Id = 1Segmentation fault (core dumped)

To unsubscribe from this group and stop receiving emails from it, send an email to ErgoAI-Flora2-XSB-forum+unsubscribe@coherentknowledge.com.

[Theresa Swift]

I’ll ll take a look. 

To unsubscribe from this group and stop receiving emails from it, send an email to ErgoAI-Flora2-XSB...@coherentknowledge.com.

To post to this group, send email to ErgoAI-Flor...@coherentknowledge.com.
Visit this group at https://groups.google.com/a/coherentknowledge.com/group/ErgoAI-Flora2-XSB-forum/.
To view this discussion on the web visit https://groups.google.com/a/coherentknowledge.com/d/msgid/ErgoAI-Flora2-XSB-forum/f99adf54-1bc7-4696-8831-9593bade4386%40coherentknowledge.com.

--

You received this message because you are subscribed to the Google Groups "ErgoAI, Flora-2, and XSB Users Forum" group.

To unsubscribe from this group and stop receiving emails from it, send an email to ErgoAI-Flora2-XSB...@coherentknowledge.com.

To post to this group, send email to ErgoAI-Flor...@coherentknowledge.com.
Visit this group at https://groups.google.com/a/coherentknowledge.com/group/ErgoAI-Flora2-XSB-forum/.

To view this discussion on the web visit https://groups.google.com/a/coherentknowledge.com/d/msgid/ErgoAI-Flora2-XSB-forum/4b88cdcd-487d-4712-b7e9-cf7557547e3b%40coherentknowledge.com.