florian weimer

Has anybody managed to get the simplifier running with SWI Prolog or
GNU Prolog?

ludovic brenta

I'm interested in any replies you received because, if it is possible
to build the SPARK toolset with free tools, it might be possible to
package it for Debian.

--
Ludovic Brenta.

tero koskinen

I tried to compile simplifier with SWI Prolog on OpenBSD/i386, no luck.
(GNU Prolog is broken on OpenBSD, so it wasn't an option.)

And my Prolog knowledge is almost non-existent, so no idea how to solve
the compilation problems.

But the examiner itself was buildable with GNAT, so at least some parts
of SPARK tools can be used.

Some errors below:
solea {14} 18:43 $ swipl -g "compile('simplifier.pro')."
ERROR: /home/tkoskine/src/spark-gpl-8.1.1-src/simplifier/librarypredicates.pro:67:
source_sink `library(file_systems)' does not exist
Warning: /home/tkoskine/src/spark-gpl-8.1.1-src/simplifier/librarypredicates.pro:67:
Goal (directive) failed: librarypredicates:use_module(library(file_systems) )
% library(shlib) compiled into shlib 0.01 sec, 14,724 bytes
% library(option) compiled into swi_option 0.01 sec, 8,056 bytes
% library(process) compiled into process 0.03 sec, 30,524 bytes
% library(system) compiled into swi_system_utilities 0.00 sec, 1,776 bytes
ERROR: /home/tkoskine/src/spark-gpl-8.1.1-src/simplifier/librarypredicates.pro:87:
Exported procedure librarypredicates:file_exists/1 is not defined
ERROR: /home/tkoskine/src/spark-gpl-8.1.1-src/simplifier/librarypredicates.pro:87:
Exported procedure librarypredicates:datime/1 is not defined
ERROR: /home/tkoskine/src/spark-gpl-8.1.1-src/simplifier/librarypredicates.pro:87:
Exported procedure librarypredicates:remove_dups/2 is not defined
% librarypredicates.pro compiled into librarypredicates 0.04 sec, 35,284 bytes
% settings.pro compiled into settings 0.00 sec, 1,184 bytes
% opdeclar.pro compiled into opdeclar 0.00 sec, 3,684 bytes
% dataformats.pro compiled into dataformats 0.00 sec, 2,212 bytes
% newutilities.pro compiled into newutilities 0.01 sec, 12,452 bytes
% ../common/versioning/version.pro compiled into version 0.00 sec, 4,464 bytes
% ioutilities.pro compiled into ioutilities 0.03 sec, 28,408 bytes
% datadatafiles.pro compiled into datadatafiles 0.00 sec, 9,456 bytes
% datasystem.pro compiled into datasystem 0.03 sec, 42,648 bytes
% dataswitches.pro compiled into dataswitches 0.02 sec, 24,936 bytes
% datarules.pro compiled into datarules 0.01 sec, 5,060 bytes
% datadeclarations.pro compiled into datadeclarations 0.00 sec, 15,516 bytes
% datavcg.pro compiled into datavcg 0.01 sec, 7,360 bytes
ERROR: /home/tkoskine/src/spark-gpl-8.1.1-src/simplifier/datapfs.pro:173:
Exported procedure datapfs:save_datapfs/0 is not defined
% datapfs.pro compiled into datapfs 0.01 sec, 5,488 bytes
% dataprovenance.pro compiled into dataprovenance 0.00 sec, 4,792 bytes
ERROR: import/1: lists:remove_dups/2 is not declared public (still imported)
....
Warning: /home/tkoskine/src/spark-gpl-8.1.1-src/simplifier/deduction.pro:2938:
Singleton-marked variables appearing more than once: [_T, _Name]
ERROR: /home/tkoskine/src/spark-gpl-8.1.1-src/simplifier/simplifier.pro:88:
No permission to redefine built-in predicate `apply / 2'
Use :- redefine_system_predicate(+Head) if redefinition is intended
ERROR: /home/tkoskine/src/spark-gpl-8.1.1-src/simplifier/simplifier.pro:122:
catch/3: Undefined procedure: save_program / 1
Warning: /home/tkoskine/src/spark-gpl-8.1.1-src/simplifier/simplifier.pro:122:
Goal (directive) failed: user : save_program(spadesimp.sav)
solea {15} 18:43 $

--
Tero Koskinen - http://iki.fi/tero.koskinen/

florian weimer

* Tero Koskinen:


I've got a version which compiles, but it seems that qsave (the heap
image creator) doesn't work for programs which use DSOs. It looks for
"process" instead of "process.so".