spark (2012.0.deb-11) unstable; urgency=medium * New patch: - victor-quote-cppflags.diff - quote CPPFLAGS and LDFLAGS. Fixes FTBFS (closes: #809074) * Standards-Version 3.9.6 - no changes required -- Євгеній Мещеряков Sun, 27 Dec 2015 23:10:24 +0100 spark (2012.0.deb-10) unstable; urgency=medium * Use canonical URIs in Vcs-* fields * Fix file path in copyright file -- Євгеній Мещеряков Thu, 28 May 2015 23:13:23 +0200 spark (2012.0.deb-9) unstable; urgency=medium * Use hardening flags * Disable gnat style checks, they are changed in the new version and cause build errors * Update patches: - ada-link-env-flags.diff - fix linker flags for sparkclean - victor-use-env-opt-flags.diff - fix CPPFLAGS and LDFLAGS for victor -- Євгеній Мещеряков Sat, 03 May 2014 03:03:08 +0200 spark (2012.0.deb-8) unstable; urgency=medium * Make the package compatible with both bison 2 and 3 and stop requiring bison 3. -- Євгеній Мещеряков Mon, 16 Dec 2013 10:59:24 +0100 spark (2012.0.deb-7) unstable; urgency=medium * Fix required bison version (add 2:) -- Євгеній Мещеряков Fri, 13 Dec 2013 00:31:48 +0100 spark (2012.0.deb-6) unstable; urgency=medium * New patch: - vct-bison-3-fix.diff - fix building with bison 3 * Build-depend on bison >= 3 * Standards-Version 3.9.5 — no changes needed -- Євгеній Мещеряков Thu, 12 Dec 2013 22:00:22 +0100 spark (2012.0.deb-5) unstable; urgency=low * Use swi_prolog dh seqence to declare dependencies on SWI Prolog VM. -- Євгеній Мещеряков Sun, 12 May 2013 23:41:17 +0200 spark (2012.0.deb-4) unstable; urgency=low * Upload to unstable -- Євгеній Мещеряков Tue, 07 May 2013 22:00:47 +0200 spark (2012.0.deb-3) experimental; urgency=low * Rename prolog module settings to spark_prolog_settings to avoid conflict with newer versions of SWI prolog * Remove public declaration of predefined predicate subset/2 to avoid compilation problem with new SWI prolog -- Євгеній Мещеряков Sun, 30 Sep 2012 21:46:13 +0200 spark (2012.0.deb-2) experimental; urgency=low * Override the architecture detection and handle all architectures as "Linux". This should fix an FTBFS on kfreebsd-*. -- Євгеній Мещеряков Sun, 08 Jul 2012 23:55:54 +0200 spark (2012.0.deb-1) experimental; urgency=low * New upstream release * Upload to experimental * Update patches: - debian-architecture-detect.diff - examiner-architecture-bits.diff - checker-makefile.diff - no-alt-ergo.diff - victor-no-static-gmp.diff - simplifier-makefile.diff - victor-use-env-opt-flags.diff - ada-use-evn-optflags.diff - victor-gmpxx-as-needed.diff - makefile-gnatmake-par-envvar.diff - ada-link-env-flags.diff * Remove patches: - make-dependencies.diff - not needed anymore - makefile-gnatmake-par-envvar.diff - use SPARKCPUS variable instead * Standards-Version 3.9.3 — no changes required * Update debian/copyright * Do not install /usr/lib/spark/current/spark_/ -- Євгеній Мещеряков Sat, 30 Jun 2012 23:21:48 +0200 spark (2011.0.deb-5) unstable; urgency=low * Build with --gc-sections again (closes: #643863). -- Євгеній Мещеряков Wed, 12 Oct 2011 17:52:45 +0200 spark (2011.0.deb-4) unstable; urgency=low * Disable --gc-sections and others. It does not work with current binutils. -- Євгеній Мещеряков Thu, 29 Sep 2011 23:26:22 +0200 spark (2011.0.deb-3) unstable; urgency=low * Add -fdata-sections and -ffunction-sections to Ada compiler flags * New patch: - ada-link-env-flags.diff - get additional linker flags from ADA_LINK environment variable * Add -Wl,--gc-sections to Ada linker flags (1832k installed size reduction) -- Євгеній Мещеряков Mon, 19 Sep 2011 17:22:02 +0200 spark (2011.0.deb-2) unstable; urgency=low * Upload to unstable * Build-depend on gnat (without -4.6) again -- Євгеній Мещеряков Sat, 30 Jul 2011 19:46:30 +0200 spark (2011.0.deb-1) experimental; urgency=low * New upstream release * Upload to experimental for now (till new version of swi-prolog migrates to testing) * Build-depend on gnat-4.6 while in experimental * Update debian/copyright * Updated patches: - debian-architecture-detect.diff - no-alt-ergo.diff - checker-redefine-flatten.diff - checker-remove-close_all_streams.diff - make-dependencies.diff - victor-no-static-gmp.diff - ada-use-evn-optflags.diff - simplifier-swi-save.diff - simplifier-remove-close_all_streams.diff - ada-use-evn-optflags.diff - makefile-gnatmake-par-envvar.diff * Simplified and renamed patches: - debian/patches/simplifier-list_to_set-instead-of-remove_dups.diff → simplifier-library-lists-instead-of-sets.diff * Removed patches: - simplifier-halt.diff - sparklarl-redundant-conversion.diff - examiner-useless-assignment.diff - examiner-redundant-conversion.diff - checker-look-for-SPARK-in-line-2.diff - examiner-dont-optimize-sem.adb.diff -- Євгеній Мещеряков Fri, 22 Jul 2011 20:07:31 +0200 spark (2010.0.deb-6) unstable; urgency=medium * Fix mistakes in the manpages * Build-depend and depend on swi-prolog-nox (>= 5.10.4~), this fixes breakage with new prolog version. Hopefully it can be replaced with something better in the future * Urgency medium to allow spark to migrate to testing at the same time as swi-prolog -- Євгеній Мещеряков Sun, 19 Jun 2011 18:28:06 +0200 spark (2010.0.deb-5) unstable; urgency=low * Add parallel build support (only for gnatmake invocations) -- Євгеній Мещеряков Sat, 04 Jun 2011 01:47:58 +0200 spark (2010.0.deb-4) unstable; urgency=low * Refresh checker-remove-close_all_streams.diff -- Євгеній Мещеряков Fri, 03 Jun 2011 23:20:11 +0200 spark (2010.0.deb-3) unstable; urgency=low * Complete port of checker to SWI prolog and enable it * Fix defect detection functions in simplifier and fix remaining defects -- Євгеній Мещеряков Fri, 03 Jun 2011 12:58:37 +0200 spark (2010.0.deb-2) unstable; urgency=low * Add Vcs-* fields to debian/control * New patches: - sparklarl-redundant-conversion.diff: remove reduntant conversions to File_Type. This causes warnings with gnat-4.6 - examiner-useless-assignment.diff: remove useless assignment of a variable to itself - examiner-redundant-conversion.diff: remove redundant conversion to Integer * Standards-Version 3.9.2 — no changes required -- Євгеній Мещеряков Mon, 02 May 2011 10:27:57 +0200 spark (2010.0.deb-1) unstable; urgency=low * Initial release (Closes: #617551) -- Євгеній Мещеряков Sun, 27 Mar 2011 22:14:12 +0200