Package: spark / 2012.0.deb-11
Metadata
Package | Version | Patches format |
---|---|---|
spark | 2012.0.deb-11 | 3.0 (quilt) |
Patch series
view the series filePatch | File delta | Description |
---|---|---|
debian architecture detect.diff | (download) |
Makefile |
2 1 + 1 - 0 ! |
assume that target is always linux on debian This makes it easier to compile SPARK on systems with *BSD kernels. |
examiner architecture bits.diff | (download) |
common/Makefile.inc |
6 1 + 5 - 0 ! |
use dpkg-architecture to detect address size |
checker makefile.diff | (download) |
checker/Makefile |
9 7 + 2 - 0 ! |
build checker using swi prolog |
checker swi prolog.diff | (download) |
checker/sicstus.pro |
8 6 + 2 - 0 ! |
various fixes for swi prolog |
checker predefined predicates.diff | (download) |
checker/newrules.pro |
1 0 + 1 - 0 ! |
do not redefine predicates that are already defined by swi prolog |
checker environment.diff | (download) |
checker/sicstus.pro |
96 21 + 75 - 0 ! |
look for checker files under /usr/share/spark/checker |
checker pro suffixes.diff | (download) |
checker/loadsicstus.pro |
2 1 + 1 - 0 ! |
add missing .pro suffix |
checker redefine flatten.diff | (download) |
checker/loadvc5.pro |
2 2 + 0 - 0 ! |
allow to redefine system predicate flatten/2 |
checker swi save.diff | (download) |
checker/checker.pro |
10 10 + 0 - 0 ! |
add swi prolog compatible save predicate |
checker remove close_all_streams.diff | (download) |
checker/checker.pro |
5 0 + 5 - 0 ! |
remove all references to close_all_streams/0 in checker This predicate does not exist in SWI prolog and is not needed there. |
checker seeing fixes.diff | (download) |
checker/toplevel.pro |
2 1 + 1 - 0 ! |
do not use seeing(user) Such calls cause an exception with SWI prolog. |
checker SWI and SICSTUS need portray and portrayed respective.diff | (download) |
checker/portray.pro |
16 8 + 8 - 0 ! |
use portray(true) in calls to write_term |
checker no error in read_term.diff | (download) |
checker/sicstus.pro |
2 1 + 1 - 0 ! |
repeat user input on syntax errors This makes using checker *much* easier and is the same thing that SICStus does. |
no alt ergo.diff | (download) |
Makefile |
1 0 + 1 - 0 ! |
do not try to build and install alt-ergo alt-ergo is provided in a separate package in Debian. |
victor no static gmp.diff | (download) |
victor/Makefile |
2 1 + 1 - 0 ! |
do not link gmp statically |
simplifier swi save.diff | (download) |
simplifier/simplifier.pro |
8 4 + 4 - 0 ! |
swi compatible save goals for simplifier |
simplifier makefile.diff | (download) |
simplifier/Makefile |
12 8 + 4 - 0 ! |
this is the makefile fix |
simplifier library lists instead of sets.diff | (download) |
simplifier/data__hyp.pro |
2 1 + 1 - 0 ! |
import list_lo_set/2 from library lists instead of sets |
simplifier no file_systems.diff | (download) |
simplifier/librarypredicates.pro |
1 0 + 1 - 0 ! |
do not use nonexistent file_systems module |
simplifier use lists.diff | (download) |
simplifier/defectreporting.pro |
2 2 + 0 - 0 ! |
use module lists for member/2 |
simplifier misc.diff | (download) |
simplifier/defectreporting.pro |
1 0 + 1 - 0 ! |
various fixes |
simplifier clean.diff | (download) |
simplifier/Makefile |
1 1 + 0 - 0 ! |
remove executables on clean |
simplifier SWI and SICSTUS need portray and portrayed respective.diff | (download) |
simplifier/portray.pro |
16 8 + 8 - 0 ! |
swi and sicstus need portray and portrayed respectively |
simplifier further byte for byte fixes.diff | (download) |
simplifier/makelog.pro |
1 1 + 0 - 0 ! |
further byte-for-byte fixes |
simplifier defectreporting.diff | (download) |
simplifier/defectreporting.pro |
4 2 + 2 - 0 ! |
fix order of arguments in message_hook/3. |
simplifier pro suffixes.diff | (download) |
simplifier/data__vcg.pro |
2 1 + 1 - 0 ! |
add missing .pro suffixes |
simplifier undefined exports.diff | (download) |
simplifier/data__conc.pro |
1 0 + 1 - 0 ! |
do not try to export undefined predicates |
simplifier unexistent units.diff | (download) |
simplifier/ioutilities.pro |
2 0 + 2 - 0 ! |
do not to import library file_systems and close_all_streams/0 |
simplifier remove close_all_streams.diff | (download) |
simplifier/ioutilities.pro |
1 0 + 1 - 0 ! |
remove all references to close_all_streams/0. |
victor use env opt flags.diff | (download) |
victor/Makefile |
3 0 + 3 - 0 ! |
do not set ldflags and cxxflags in victor's makefile Values from environment variables should be used instead. This allows to use noopt in DEB_BUILD_OPTIONS. |
ada use evn optflags.diff | (download) |
common/Makefile.inc |
2 1 + 1 - 0 ! |
use ada_opt environment variable ADA_OPT contains optimization switches for Ada compiller. This allows to use noopt in DEB_BUILD_OPTIONS |
victor gmpxx as needed.diff | (download) |
victor/vct/src/Makefile |
2 1 + 1 - 0 ! |
link to gmp libraries only when they are needed |
ada link env flags.diff | (download) |
examiner/Makefile |
2 2 + 0 - 0 ! |
--- |
swi prolog settings module conflict.pro | (download) |
simplifier/settings.pro |
2 1 + 1 - 0 ! |
--- |
vct bison 3 fix.diff | (download) |
victor/vct/src/parser.yy |
7 5 + 2 - 0 ! |
--- |
victor quote cppflags.diff | (download) |
victor/Makefile |
4 2 + 2 - 0 ! |
--- |