File: changelog

package info (click to toggle)
spark 2012.0.deb-11
  • links: PTS, VCS
  • area: main
  • in suites: stretch
  • size: 29,268 kB
  • ctags: 3,106
  • sloc: ada: 186,243; cpp: 13,497; makefile: 685; yacc: 440; lex: 176; ansic: 119; sh: 16
file content (214 lines) | stat: -rw-r--r-- 7,492 bytes parent folder | download
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
161
162
163
164
165
166
167
168
169
170
171
172
173
174
175
176
177
178
179
180
181
182
183
184
185
186
187
188
189
190
191
192
193
194
195
196
197
198
199
200
201
202
203
204
205
206
207
208
209
210
211
212
213
214
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

 -- Євгеній Мещеряков <eugen@debian.org>  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

 -- Євгеній Мещеряков <eugen@debian.org>  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 

 -- Євгеній Мещеряков <eugen@debian.org>  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.

 -- Євгеній Мещеряков <eugen@debian.org>  Mon, 16 Dec 2013 10:59:24 +0100

spark (2012.0.deb-7) unstable; urgency=medium

  * Fix required bison version (add 2:)

 -- Євгеній Мещеряков <eugen@debian.org>  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

 -- Євгеній Мещеряков <eugen@debian.org>  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.

 -- Євгеній Мещеряков <eugen@debian.org>  Sun, 12 May 2013 23:41:17 +0200

spark (2012.0.deb-4) unstable; urgency=low

  * Upload to unstable

 -- Євгеній Мещеряков <eugen@debian.org>  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

 -- Євгеній Мещеряков <eugen@debian.org>  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-*.

 -- Євгеній Мещеряков <eugen@debian.org>  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_/

 -- Євгеній Мещеряков <eugen@debian.org>  Sat, 30 Jun 2012 23:21:48 +0200

spark (2011.0.deb-5) unstable; urgency=low

  * Build with --gc-sections again (closes: #643863).

 -- Євгеній Мещеряков <eugen@debian.org>  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.

 -- Євгеній Мещеряков <eugen@debian.org>  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)

 -- Євгеній Мещеряков <eugen@debian.org>  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

 -- Євгеній Мещеряков <eugen@debian.org>  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 

 -- Євгеній Мещеряков <eugen@debian.org>  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

 -- Євгеній Мещеряков <eugen@debian.org>  Sun, 19 Jun 2011 18:28:06 +0200

spark (2010.0.deb-5) unstable; urgency=low

  * Add parallel build support (only for gnatmake invocations)

 -- Євгеній Мещеряков <eugen@debian.org>  Sat, 04 Jun 2011 01:47:58 +0200

spark (2010.0.deb-4) unstable; urgency=low

  * Refresh checker-remove-close_all_streams.diff

 -- Євгеній Мещеряков <eugen@debian.org>  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

 -- Євгеній Мещеряков <eugen@debian.org>  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

 -- Євгеній Мещеряков <eugen@debian.org>  Mon, 02 May 2011 10:27:57 +0200

spark (2010.0.deb-1) unstable; urgency=low

  * Initial release (Closes: #617551)

 -- Євгеній Мещеряков <eugen@debian.org>  Sun, 27 Mar 2011 22:14:12 +0200