Menu

Commit [r9520]  Maximize  Restore  History

1. Packages:

disabled compilation of xasp and xmc -- lots of errors and warnings.
Somebod should fix those.
2. makexsb now compiles packages also to avoid installation problems

3. minizinc: streamlined deletion of temp files

"kifer" 2019-02-11

changed /trunk/XSB/build/topMakefile.in
changed /trunk/XSB/build/windows/banner.msg
changed /trunk/XSB/build/windows/xsb_configuration.P
changed /trunk/XSB/build/windows64/banner.msg
changed /trunk/XSB/build/windows64/xsb_configuration.P
changed /trunk/XSB/packages/Makefile
changed /trunk/XSB/packages/minizinc/Makefile
changed /trunk/XSB/packages/minizinc/xsb2mzn.P
changed /trunk/XSB/packages/regmatch/Makefile
/trunk/XSB/build/topMakefile.in Diff Switch to side-by-side view
Loading...
/trunk/XSB/build/windows/banner.msg Diff Switch to side-by-side view
Loading...
/trunk/XSB/build/windows/xsb_configuration.P Diff Switch to side-by-side view
Loading...
/trunk/XSB/build/windows64/banner.msg Diff Switch to side-by-side view
Loading...
/trunk/XSB/build/windows64/xsb_configuration.P Diff Switch to side-by-side view
Loading...
/trunk/XSB/packages/Makefile Diff Switch to side-by-side view
Loading...
/trunk/XSB/packages/minizinc/Makefile Diff Switch to side-by-side view
Loading...
/trunk/XSB/packages/minizinc/xsb2mzn.P Diff Switch to side-by-side view
Loading...
/trunk/XSB/packages/regmatch/Makefile Diff Switch to side-by-side view
Loading...