Compare commits
44 Commits
| Author | SHA1 | Date | |
|---|---|---|---|
|
3a187f628a | ||
|
b228da08f2 | ||
|
245f06cc60 | ||
|
|
73954a2f02 | ||
|
|
58b3445103 | ||
|
|
0d7c59866e | ||
|
|
338f18b04c | ||
|
|
66248b8878 | ||
|
|
4feb13c379 | ||
|
|
9cba3289e8 | ||
|
|
2e047d1e00 | ||
|
|
0a24ca74ce | ||
|
|
9a6dccdd13 | ||
|
|
527424027b | ||
|
|
174a748b1f | ||
|
|
9832fe6173 | ||
|
|
497230996f | ||
|
|
b7003b5cff | ||
|
|
1731fc67e0 | ||
|
|
0079bf76a8 | ||
|
|
071974bc48 | ||
|
|
b47506e89c | ||
|
|
e1a5c904ae | ||
|
|
ddacfd9d65 | ||
|
|
7bc44ea4f0 | ||
|
|
1f823a0cda | ||
|
|
9a02af560c | ||
|
|
906b168c5c | ||
|
|
8c26b74b25 | ||
|
|
9a57120491 | ||
|
|
888dbc720e | ||
|
|
920e67714b | ||
|
e31174ff5d | ||
|
|
7456955dea | ||
|
|
bcb40947a8 | ||
|
|
7996123ff2 | ||
|
|
4a212579c5 | ||
|
|
9bfab37d5e | ||
|
|
4a7e019d6f | ||
|
|
593c6231aa | ||
|
|
522c2a5baf | ||
|
|
e7a727974d | ||
|
|
f7f44623b2 | ||
|
|
2d433f02e8 |
11
README.md
Normal file
11
README.md
Normal file
@ -0,0 +1,11 @@
|
||||
# apron
|
||||
|
||||
[The APRON library](https://antoinemine.github.io/Apron/doc/) is dedicated to
|
||||
the static analysis of the numerical variables of a program by Abstract
|
||||
Interpretation. The aim of such an analysis is to infer invariants about
|
||||
these variables, like `1≤x+y≤z`, which holds during any execution of the
|
||||
program.
|
||||
|
||||
The APRON library is intended to be a common interface to various underlying
|
||||
libraries/abstract domains and to provide additional services that can be
|
||||
implemented independently from the underlying library/abstract domain.
|
||||
23
apron-csdp.patch
Normal file
23
apron-csdp.patch
Normal file
@ -0,0 +1,23 @@
|
||||
--- taylor1plus/Makefile.orig 2023-07-09 03:58:59.000000000 -0600
|
||||
+++ taylor1plus/Makefile 2023-07-27 09:07:33.315882622 -0600
|
||||
@@ -58,8 +58,8 @@ CAML_TO_INSTALL_DEBUG += dllt1pMPQ_caml_
|
||||
endif
|
||||
endif
|
||||
|
||||
-LIBS = -lapron -lgmpxx -lmpfr -lgmp -lm
|
||||
-LIBS_DEBUG = -lapron_debug -lgmpxx -lmpfr -lgmp -lm
|
||||
+LIBS = -Wl,--as-needed -lapron -lsdp -lgmpxx -lmpfr -lgmp -lm
|
||||
+LIBS_DEBUG = -Wl,--as-needed -lapron_debug -lsdp -lgmpxx -lmpfr -lgmp -lm
|
||||
|
||||
#---------------------------------------
|
||||
# Rules
|
||||
--- taylor1plus/t1p_fun.c.orig 2023-07-09 03:58:59.000000000 -0600
|
||||
+++ taylor1plus/t1p_fun.c 2023-07-27 08:45:57.813003179 -0600
|
||||
@@ -14,7 +14,6 @@
|
||||
|
||||
#ifdef _USE_SDP
|
||||
#include "declarations.h"
|
||||
-#include "vSDP.h"
|
||||
#endif
|
||||
|
||||
#include "ap_texpr0.h"
|
||||
17
apron-flint.patch
Normal file
17
apron-flint.patch
Normal file
@ -0,0 +1,17 @@
|
||||
Fixes this error:
|
||||
|
||||
pplite_poly.cc: In destructor ‘pplite::apron::pplite_internal::~pplite_internal()’:
|
||||
pplite_poly.cc:46:7: error: ‘flint_cleanup’ was not declared in this scope
|
||||
46 | flint_cleanup();
|
||||
| ^~~~~~~~~~~~~
|
||||
|
||||
--- pplite/pplite_poly.cc.orig 2024-06-07 09:36:08.000000000 -0600
|
||||
+++ pplite/pplite_poly.cc 2024-06-13 08:21:55.536500683 -0600
|
||||
@@ -18,6 +18,7 @@
|
||||
#include "ap_pplite.h"
|
||||
#include "pplite_user.hh"
|
||||
#include "pplite_poly.hh"
|
||||
+#include <flint/flint.h>
|
||||
|
||||
#include <cassert>
|
||||
|
||||
11
apron-hasvar.patch
Normal file
11
apron-hasvar.patch
Normal file
@ -0,0 +1,11 @@
|
||||
--- japron/apron/Texpr1VarNode.java.orig 2023-09-20 13:55:04.000000000 -0600
|
||||
+++ japron/apron/Texpr1VarNode.java 2023-09-30 18:11:16.729501220 -0600
|
||||
@@ -86,7 +86,7 @@ public class Texpr1VarNode
|
||||
|
||||
public boolean hasVar(Var v)
|
||||
{
|
||||
- return var==v;
|
||||
+ return var.compareTo(v) == 0;
|
||||
}
|
||||
|
||||
protected void fillVars(HashSet<Var> set)
|
||||
11
apron-japron-link.patch
Normal file
11
apron-japron-link.patch
Normal file
@ -0,0 +1,11 @@
|
||||
--- japron/Makefile.orig 2023-09-20 13:55:04.000000000 -0600
|
||||
+++ japron/Makefile 2023-09-22 08:56:10.285592635 -0600
|
||||
@@ -171,7 +171,7 @@ apron/%.o: apron/%.c gmp.jar apron.jar g
|
||||
$(CC) $(CFLAGSN) -c $(IFLAGS) -Igmp $< -o $@
|
||||
|
||||
libjapron.$(EXT_DLL): apron/japron.o $(APRONO)
|
||||
- $(CC) $(CFLAGSN) -shared $+ -o $@ $(LFLAGS) $(APRONLIBS)
|
||||
+ $(CC) $(CFLAGSN) -shared $+ -o $@ $(LFLAGS) -Wl,-rpath,/usr/lib/java $(APRONLIBS)
|
||||
|
||||
libjapron.$(EXT_DLL): libjgmp.$(EXT_DLL)
|
||||
|
||||
@ -1,26 +0,0 @@
|
||||
--- japron/gmp/gmp_Mpfr.c.orig 2019-11-10 07:33:31.000000000 -0700
|
||||
+++ japron/gmp/gmp_Mpfr.c 2020-01-17 09:08:16.852531901 -0700
|
||||
@@ -824,10 +824,23 @@ JNIEXPORT jint JNICALL Java_gmp_Mpfr_cbr
|
||||
JNIEXPORT jint JNICALL Java_gmp_Mpfr_root
|
||||
(JNIEnv *env, jobject o1, jobject o2, jint i, jint p)
|
||||
{
|
||||
+#if MPFR_VERSION_MAJOR >= 4
|
||||
+ mpfr_ptr mpfr1, mpfr2;
|
||||
+#endif
|
||||
check_nonnull(o1,0);
|
||||
check_nonnull(o2,0);
|
||||
check_positive(i,0);
|
||||
+#if MPFR_VERSION_MAJOR >= 4
|
||||
+ mpfr1 = as_mpfr(o1);
|
||||
+ mpfr2 = as_mpfr(o2);
|
||||
+ if (mpfr_zero_p(mpfr2)) {
|
||||
+ mpfr_set_zero(mpfr1, mpfr_sgn(mpfr2));
|
||||
+ return 0;
|
||||
+ }
|
||||
+ return mpfr_rootn_ui(mpfr1, mpfr2, i, p);
|
||||
+#else
|
||||
return mpfr_root(as_mpfr(o1), as_mpfr(o2), i, p);
|
||||
+#endif
|
||||
}
|
||||
|
||||
/*
|
||||
212
apron-ocaml-bytecode.patch
Normal file
212
apron-ocaml-bytecode.patch
Normal file
@ -0,0 +1,212 @@
|
||||
--- configure.orig 2023-07-09 03:58:59.000000000 -0600
|
||||
+++ configure 2023-08-03 10:31:47.025342309 -0600
|
||||
@@ -461,8 +461,8 @@ fi
|
||||
# OCaml environment
|
||||
|
||||
# check OCaml binaries
|
||||
-if test $has_ocaml -eq 1; then searchbin "ocamlc.opt"; has_ocaml=$?; ocamlc="$path"; fi
|
||||
-if test $has_ocaml -eq 1; then searchbin "ocamlopt.opt"; has_ocaml=$?; ocamlopt="$path"; fi
|
||||
+if test $has_ocaml -eq 1; then searchbin "ocamlc"; has_ocaml=$?; ocamlc="$path"; fi
|
||||
+ocamlopt=true
|
||||
if test $has_ocaml -eq 1; then searchbin "ocamldep"; has_ocaml=$?; ocamldep="$path"; fi
|
||||
if test $has_ocaml -eq 1; then searchbin "ocamllex"; has_ocaml=$?; ocamllex="$path"; fi
|
||||
if test $has_ocaml -eq 1; then searchbin "ocamlyacc"; has_ocaml=$?; ocamlyacc="$path"; fi
|
||||
@@ -639,7 +639,7 @@ cat > Makefile.config <<EOF
|
||||
# generated by ./configure
|
||||
|
||||
HAS_OCAML = $has_ocaml
|
||||
-HAS_OCAMLOPT = $has_ocaml
|
||||
+HAS_OCAMLOPT =
|
||||
HAS_NATIVE_PLUGINS = $has_ocaml_plugins
|
||||
HAS_MPFR = 1
|
||||
HAS_PPL = $has_ppl
|
||||
--- Makefile.orig 2023-07-09 03:58:59.000000000 -0600
|
||||
+++ Makefile 2023-08-03 10:33:42.808819292 -0600
|
||||
@@ -65,11 +65,11 @@ aprontop:
|
||||
|
||||
apronppltop:
|
||||
$(OCAMLMKTOP) -I $(MLGMPIDL_LIB) -I $(APRON_LIB) -verbose -o $@ \
|
||||
- bigarray.cma gmp.cma apron.cma boxMPQ.cma octMPQ.cma polkaMPQ.cma ppl.cma polkaGrid.cma t1pMPQ.cmxa avoMPQ.cma
|
||||
+ bigarray.cma gmp.cma apron.cma boxMPQ.cma octMPQ.cma polkaMPQ.cma ppl.cma polkaGrid.cma t1pMPQ.cma avoMPQ.cma
|
||||
|
||||
apronpplitetop:
|
||||
$(OCAMLMKTOP) -I $(MLGMPIDL_LIB) -I $(APRON_LIB) -verbose -o $@ \
|
||||
- bigarray.cma gmp.cma apron.cma boxMPQ.cma octMPQ.cma polkaMPQ.cma pplite.cma t1pMPQ.cmxa avoMPQ.cma
|
||||
+ bigarray.cma gmp.cma apron.cma boxMPQ.cma octMPQ.cma polkaMPQ.cma pplite.cma t1pMPQ.cma avoMPQ.cma
|
||||
|
||||
apronglpktop:
|
||||
$(OCAMLMKTOP) -I $(MLGMPIDL_LIB) -I $(APRON_LIB) -verbose -o $@ \
|
||||
@@ -78,7 +78,7 @@ apronglpktop:
|
||||
rebuild:
|
||||
@echo "$(MAKE) rebuild is no longer necessary"
|
||||
|
||||
-OCAMLFIND_PROTO = xxx.cma $(call OCAMLOPT_TARGETS, xxx) libxxx_caml.a
|
||||
+OCAMLFIND_PROTO = xxx.cma libxxx_caml.a
|
||||
ifneq ($(HAS_DEBUG),)
|
||||
OCAMLFIND_PROTO += $(call OCAMLOPT_TARGETS, xxx.d) libxxx_caml_debug.a
|
||||
endif
|
||||
@@ -86,23 +86,23 @@ ifneq ($(HAS_SHARED),)
|
||||
OCAMLFIND_PROTO += dllxxx_caml.$(EXT_DLL)
|
||||
endif
|
||||
OCAMLFIND_FILES = \
|
||||
- $(patsubst %,mlapronidl/%, apron.cmi apron.cmx) \
|
||||
+ $(patsubst %,mlapronidl/%, apron.cmi) \
|
||||
$(patsubst %,mlapronidl/%, $(subst xxx,apron, $(OCAMLFIND_PROTO))) \
|
||||
- $(patsubst %,box/%, box.mli box.cmi box.cmx) \
|
||||
+ $(patsubst %,box/%, box.mli box.cmi) \
|
||||
$(patsubst %,box/%, $(subst xxx,boxD, $(OCAMLFIND_PROTO))) \
|
||||
$(patsubst %,box/%, $(subst xxx,boxMPQ, $(OCAMLFIND_PROTO))) \
|
||||
$(patsubst %,box/%, $(subst xxx,boxMPFR, $(OCAMLFIND_PROTO))) \
|
||||
- $(patsubst %,octagons/%, oct.mli oct.cmi oct.cmx) \
|
||||
+ $(patsubst %,octagons/%, oct.mli oct.cmi) \
|
||||
$(patsubst %,octagons/%, $(subst xxx,octD, $(OCAMLFIND_PROTO))) \
|
||||
$(patsubst %,octagons/%, $(subst xxx,octMPQ, $(OCAMLFIND_PROTO))) \
|
||||
- $(patsubst %,newpolka/%, polka.mli polka.cmi polka.cmx) \
|
||||
+ $(patsubst %,newpolka/%, polka.mli polka.cmi) \
|
||||
$(patsubst %,newpolka/%, $(subst xxx,polkaMPQ, $(OCAMLFIND_PROTO))) \
|
||||
$(patsubst %,newpolka/%, $(subst xxx,polkaRll, $(OCAMLFIND_PROTO))) \
|
||||
- $(patsubst %,taylor1plus/%, t1p.mli t1p.cmi t1p.cmx) \
|
||||
+ $(patsubst %,taylor1plus/%, t1p.mli t1p.cmi) \
|
||||
$(patsubst %,taylor1plus/%, $(subst xxx,t1pD, $(OCAMLFIND_PROTO))) \
|
||||
$(patsubst %,taylor1plus/%, $(subst xxx,t1pMPQ, $(OCAMLFIND_PROTO))) \
|
||||
$(patsubst %,taylor1plus/%, $(subst xxx,t1pMPFR, $(OCAMLFIND_PROTO))) \
|
||||
- $(patsubst %,avoct/%, avo.mli avo.cmi avo.cmx) \
|
||||
+ $(patsubst %,avoct/%, avo.mli avo.cmi) \
|
||||
$(patsubst %,avoct/%, $(subst xxx,avoD, $(OCAMLFIND_PROTO))) \
|
||||
$(patsubst %,avoct/%, $(subst xxx,avoMPQ, $(OCAMLFIND_PROTO))) \
|
||||
$(patsubst %,mlapronidl/%.idl, scalar interval coeff \
|
||||
@@ -113,17 +113,17 @@ disjunction) \
|
||||
|
||||
ifneq ($(HAS_PPL),)
|
||||
OCAMLFIND_FILES += \
|
||||
- $(patsubst %,ppl/%, ppl.idl ppl.mli ppl.cmi ppl.cma ppl.cmx $(call OCAMLOPT_TARGETS, ppl) libap_ppl_caml.a dllap_ppl_caml.$(EXT_DLL)) \
|
||||
- $(patsubst %,products/%, polkaGrid.idl polkaGrid.mli polkaGrid.cmi polkaGrid.cmx) \
|
||||
+ $(patsubst %,ppl/%, ppl.idl ppl.mli ppl.cmi ppl.cma libap_ppl_caml.a dllap_ppl_caml.$(EXT_DLL)) \
|
||||
+ $(patsubst %,products/%, polkaGrid.idl polkaGrid.mli polkaGrid.cmi) \
|
||||
$(patsubst %,products/%, $(subst xxx,polkaGrid, $(OCAMLFIND_PROTO)))
|
||||
endif
|
||||
ifneq ($(HAS_PPLITE),)
|
||||
OCAMLFIND_FILES += \
|
||||
- $(patsubst %,pplite/%, pplite.idl pplite.mli pplite.cmi pplite.cma pplite.cmx $(call OCAMLOPT_TARGETS, pplite) libap_pplite_caml.a dllap_pplite_caml.$(EXT_DLL))
|
||||
+ $(patsubst %,pplite/%, pplite.idl pplite.mli pplite.cmi pplite.cma libap_pplite_caml.a dllap_pplite_caml.$(EXT_DLL))
|
||||
endif
|
||||
ifneq ($(HAS_GLPK),)
|
||||
OCAMLFIND_FILES += \
|
||||
- $(patsubst %,fppol/%, fpp.mli fpp.cmi fpp.cmx) \
|
||||
+ $(patsubst %,fppol/%, fpp.mli fpp.cmi) \
|
||||
$(patsubst %,fppol/%, $(subst xxx,fppD, $(OCAMLFIND_PROTO)))
|
||||
endif
|
||||
ifneq ($(OCAMLPACK),)
|
||||
--- mlapronidl/META.in.orig 2023-07-09 03:58:59.000000000 -0600
|
||||
+++ mlapronidl/META.in 2023-08-03 10:31:47.026342295 -0600
|
||||
@@ -3,85 +3,57 @@ version = "@VERSION@"
|
||||
requires = "apron.apron"
|
||||
package "apron" (
|
||||
requires = "gmp"
|
||||
-archive(native,debug) = "apron.d.cmxa"
|
||||
archive(byte) = "apron.cma"
|
||||
-archive(native) = "apron.cmxa"
|
||||
)
|
||||
package "boxD" (
|
||||
requires = "apron.apron"
|
||||
archive(byte) = "boxD.cma"
|
||||
-archive(native) = "boxD.cmxa"
|
||||
-archive(native,debug) = "boxD.d.cmxa"
|
||||
)
|
||||
package "boxMPQ" (
|
||||
requires = "apron.apron"
|
||||
archive(byte) = "boxMPQ.cma"
|
||||
-archive(native) = "boxMPQ.cmxa"
|
||||
-archive(native,debug) = "boxMPQ.d.cmxa"
|
||||
)
|
||||
package "boxMPFR" (
|
||||
requires = "apron.apron"
|
||||
archive(byte) = "boxMPFR.cma"
|
||||
-archive(native) = "boxMPFR.cmxa"
|
||||
-archive(native,debug) = "boxMPFR.d.cmxa"
|
||||
)
|
||||
package "octD" (
|
||||
requires = "apron.apron"
|
||||
archive(byte) = "octD.cma"
|
||||
-archive(native) = "octD.cmxa"
|
||||
-archive(native,debug) = "octD.d.cmxa"
|
||||
)
|
||||
package "octMPQ" (
|
||||
requires = "apron.apron"
|
||||
archive(byte) = "octMPQ.cma"
|
||||
-archive(native) = "octMPQ.cmxa"
|
||||
-archive(native,debug) = "octMPQ.d.cmxa"
|
||||
)
|
||||
package "polkaMPQ" (
|
||||
requires = "apron.apron"
|
||||
-archive(native,debug) = "polkaMPQ.d.cmxa"
|
||||
archive(byte) = "polkaMPQ.cma"
|
||||
-archive(native) = "polkaMPQ.cmxa"
|
||||
)
|
||||
package "polkaRll" (
|
||||
requires = "apron.apron"
|
||||
-archive(native,debug) = "polkaRll.d.cmxa"
|
||||
archive(byte) = "polkaRll.cma"
|
||||
-archive(native) = "polkaRll.cmxa"
|
||||
)
|
||||
package "t1pD" (
|
||||
requires = "apron.apron"
|
||||
-archive(native,debug) = "t1pD.d.cmxa"
|
||||
archive(byte) = "t1pD.cma"
|
||||
-archive(native) = "t1pD.cmxa"
|
||||
)
|
||||
package "t1pMPQ" (
|
||||
requires = "apron.apron"
|
||||
-archive(native,debug) = "t1pMPQ.d.cmxa"
|
||||
archive(byte) = "t1pMPQ.cma"
|
||||
-archive(native) = "t1pMPQ.cmxa"
|
||||
)
|
||||
package "t1pMPFR" (
|
||||
requires = "apron.apron"
|
||||
-archive(native,debug) = "t1pMPFR.d.cmxa"
|
||||
archive(byte) = "t1pMPFR.cma"
|
||||
-archive(native) = "t1pMPFR.cmxa"
|
||||
)
|
||||
package "avoD" (
|
||||
requires = "apron.apron"
|
||||
archive(byte) = "avoD.cma"
|
||||
-archive(native) = "avoD.cmxa"
|
||||
-archive(native,debug) = "avoD.d.cmxa"
|
||||
)
|
||||
package "avoMPQ" (
|
||||
requires = "apron.apron"
|
||||
archive(byte) = "avoMPQ.cma"
|
||||
-archive(native) = "avoMPQ.cmxa"
|
||||
-archive(native,debug) = "avoMPQ.d.cmxa"
|
||||
)
|
||||
package "fppD" (
|
||||
requires = "apron.apron"
|
||||
archive(byte) = "fppD.cma"
|
||||
-archive(native) = "fppD.cmxa"
|
||||
-archive(native,debug) = "fppD.d.cmxa"
|
||||
)
|
||||
\ No newline at end of file
|
||||
--- mlapronidl/META.ppl.in.orig 2023-07-09 03:58:59.000000000 -0600
|
||||
+++ mlapronidl/META.ppl.in 2023-08-03 10:31:47.026342295 -0600
|
||||
@@ -1,12 +1,8 @@
|
||||
package "ppl" (
|
||||
requires = "apron.apron"
|
||||
archive(byte) = "ppl.cma"
|
||||
-archive(native) = "ppl.cmxa"
|
||||
-archive(native,debug) = "ppl.d.cmxa"
|
||||
)
|
||||
package "polkaGrid" (
|
||||
requires = "apron.apron apron.ppl apron.polkaMPQ"
|
||||
archive(byte) = "polkaGrid.cma"
|
||||
-archive(native) = "polkaGrid.cmxa"
|
||||
-archive(native,debug) = "polkaGrid.d.cmxa"
|
||||
)
|
||||
--- mlapronidl/META.pplite.in.orig 2023-07-09 03:58:59.000000000 -0600
|
||||
+++ mlapronidl/META.pplite.in 2023-08-03 10:34:46.982976658 -0600
|
||||
@@ -1,6 +1,4 @@
|
||||
package "pplite" (
|
||||
requires = "apron.apron"
|
||||
archive(byte) = "pplite.cma"
|
||||
-archive(native) = "pplite.cmxa"
|
||||
-archive(native,debug) = "pplite.d.cmxa"
|
||||
)
|
||||
@ -1,72 +0,0 @@
|
||||
--- apron/apron.texi.orig 2019-11-10 07:33:31.000000000 -0700
|
||||
+++ apron/apron.texi 2020-01-17 09:04:07.152719196 -0700
|
||||
@@ -67,6 +67,7 @@ numerical variables.
|
||||
@contents
|
||||
@end ifnothtml
|
||||
|
||||
+@ifnottex
|
||||
@menu
|
||||
* Copying::
|
||||
* Introduction to APRON::
|
||||
@@ -80,6 +81,7 @@ numerical variables.
|
||||
* Examples::
|
||||
* Appendices::
|
||||
@end menu
|
||||
+@end ifnottex
|
||||
|
||||
@c *******************************************************************
|
||||
@node Copying, Introduction to APRON, Top, Top
|
||||
@@ -2470,7 +2472,8 @@ Polynomial fraction with possibly interv
|
||||
@end deftypefun
|
||||
|
||||
@deftypefun bool ap_texpr1_is_scalar (ap_texpr1_t* @var{e})
|
||||
-All coefficients are scalar (non-interval)@end deftypefun
|
||||
+All coefficients are scalar (non-interval)
|
||||
+@end deftypefun
|
||||
|
||||
@c -------------------------------------------------------------------
|
||||
@node Operations on tree expressions of level 1, , Tests on tree expressions of level 1, Tree expressions of level 1
|
||||
--- apron/Makefile.orig 2019-11-10 07:33:31.000000000 -0700
|
||||
+++ apron/Makefile 2020-01-17 09:04:07.152719196 -0700
|
||||
@@ -106,15 +106,15 @@ newpolka.texi: ../newpolka/newpolka.texi
|
||||
box.texi: ../box/box.texi
|
||||
ln -sf $< $@
|
||||
|
||||
-apron.pdf: apron.texi rationale.texi ap_pkgrid.texi ap_ppl.texi newpolka.texi box.texi
|
||||
- $(TEXI2DVI) --pdf -o $@ $<
|
||||
+apron.pdf: apron.texi rationale.texi ../products/ap_pkgrid.texi ../ppl/ap_ppl.texi ../newpolka/newpolka.texi ../box/box.texi
|
||||
+ $(TEXI2ANY) --pdf -o $@ $<
|
||||
|
||||
apron.info: apron.texi rationale.texi ap_pkgrid.texi ap_ppl.texi newpolka.texi box.texi
|
||||
$(MAKEINFO) -o $@ $<
|
||||
|
||||
|
||||
html: apron.texi rationale.texi ap_pkgrid.texi ap_ppl.texi newpolka.texi box.texi
|
||||
- $(TEXI2HTML) -split=section -nonumber-sections -menu -subdir=html $<
|
||||
+ $(TEXI2ANY) --html --split=section --no-number-sections $<
|
||||
cp -f ../octagons/oct_doc.html html
|
||||
|
||||
#---------------------------------------
|
||||
--- configure.orig 2019-11-10 07:33:31.000000000 -0700
|
||||
+++ configure 2020-01-17 09:04:07.152719196 -0700
|
||||
@@ -621,8 +621,7 @@ LATEX = latex
|
||||
PDFLATEX = pdflatex
|
||||
DVIPDF = dvipdf
|
||||
MAKEINDEX = makeindex
|
||||
-TEXI2DVI = texi2dvi
|
||||
-TEXI2HTML = texi2html
|
||||
+TEXI2ANY = texi2any
|
||||
|
||||
# OSX only:
|
||||
ABSOLUTE_DYLIB_INSTALL_NAMES = $absolute_dylib_install_names
|
||||
--- Makefile.config.model.orig 2019-11-10 07:33:31.000000000 -0700
|
||||
+++ Makefile.config.model 2020-01-17 09:04:07.153719179 -0700
|
||||
@@ -178,7 +178,6 @@ LATEX=latex
|
||||
PDFLATEX=pdflatex
|
||||
DVIPDF=dvipdf
|
||||
MAKEINDEX=makeindex
|
||||
-TEXI2DVI=texi2dvi
|
||||
-TEXI2HTML=texi2html
|
||||
+TEXI2ANY=texi2any
|
||||
|
||||
OCAMLPACK = $(shell dirname $(realpath $(lastword $(MAKEFILE_LIST))))/ocamlpack
|
||||
@ -1,11 +0,0 @@
|
||||
# THIS FILE IS FOR WHITELISTING RPMLINT ERRORS AND WARNINGS IN TASKOTRON
|
||||
# https://fedoraproject.org/wiki/Taskotron/Tasks/dist.rpmlint#Whitelisting_errors
|
||||
|
||||
# The dictionary is missing some technical terms
|
||||
addFilter(r'W: spelling-error .* invariants')
|
||||
|
||||
# We use whatever version of jquery doxygen gives us
|
||||
addFilter(r'W: unversioned-explicit-provides bundled\(jquery\)')
|
||||
|
||||
# The configure script is not an autotools-generated script
|
||||
addFilter(r'apron\.spec:[^:]*: W: configure-without-libdir-spec')
|
||||
417
apron.spec
417
apron.spec
@ -1,32 +1,56 @@
|
||||
Name: apron
|
||||
Version: 0.9.12
|
||||
Release: 10%{?dist}
|
||||
Summary: Numerical abstract domain library
|
||||
%global giturl https://github.com/antoinemine/apron
|
||||
|
||||
# The entire package is LGPLv2+ except newpolka/mf_qsort.c and ppl/*, all of
|
||||
# which are GPLv2+. This means that libpolkaMPQ.so.*, libpolkaRll.so.*, and
|
||||
# libap_ppl.so.* are GPLv2+, and the other libraries are all LGPLv2+.
|
||||
License: LGPLv2+ and GPLv2+
|
||||
Name: apron
|
||||
Version: 0.9.15
|
||||
Summary: Numerical abstract domain library
|
||||
Release: %autorelease
|
||||
|
||||
# The entire package is LGPL-2.1-or-later WITH OCaml-LGPL-linking-exception
|
||||
# except newpolka/mf_qsort.c and ppl/*, all of which are GPL-2.0-or-later.
|
||||
# This means that libpolkaMPQ.so.*, libpolkaRll.so.*, and libap_ppl.so.* are
|
||||
# GPL-2.0-or-later, and the other libraries are all LGPL-2.1-or-later WITH
|
||||
# OCaml-LGPL-linking-exception.
|
||||
License: LGPL-2.1-or-later WITH OCaml-LGPL-linking-exception AND GPL-2.0-or-later
|
||||
URL: https://antoinemine.github.io/Apron/doc/
|
||||
Source0: https://github.com/antoinemine/%{name}/archive/v%{version}/%{name}-%{version}.tar.gz
|
||||
VCS: git:%{giturl}.git
|
||||
Source: %{giturl}/archive/v%{version}/%{name}-%{version}.tar.gz
|
||||
# This patch has not been sent upstream as it is GCC-specific. Certain
|
||||
# symbols are defined in both libpolkaMPQ and libpolkaRll, with different
|
||||
# implementations. This patch makes references to those symbols in
|
||||
# libap_pkgrid be weak references, since that library can be combined with
|
||||
# either of the 2 implementations.
|
||||
Patch0: %{name}-weak.patch
|
||||
# Adapt to texinfo 6.x
|
||||
Patch1: %{name}-texinfo.patch
|
||||
# Adapt to mpfr 4
|
||||
Patch2: %{name}-mpfr4.patch
|
||||
# Fix the OCaml build on bytecode-only architectures
|
||||
Patch1: %{name}-ocaml-bytecode.patch
|
||||
# Update CSDP support for CSDP 6.2.0
|
||||
Patch2: %{name}-csdp.patch
|
||||
# Since the jgmp library is not installed in a normal search path, add an rpath
|
||||
# to the japron library so it can find jgmp
|
||||
Patch3: %{name}-japron-link.patch
|
||||
# Fix a japron hasVar bug
|
||||
# https://github.com/antoinemine/apron/issues/94
|
||||
# https://github.com/antoinemine/apron/pull/95
|
||||
Patch4: %{name}-hasvar.patch
|
||||
# Add a missing flint #include
|
||||
Patch5: %{name}-flint.patch
|
||||
|
||||
# OCaml packages not built on i686 since OCaml 5 / Fedora 39.
|
||||
ExcludeArch: %{ix86}
|
||||
|
||||
BuildRequires: csdp-devel
|
||||
BuildRequires: doxygen-latex
|
||||
BuildRequires: flint-devel
|
||||
BuildRequires: gcc-c++
|
||||
BuildRequires: ghostscript-tools-dvipdf
|
||||
BuildRequires: glpk-devel
|
||||
%ifarch %{java_arches}
|
||||
BuildRequires: java-devel
|
||||
BuildRequires: javapackages-local
|
||||
%endif
|
||||
BuildRequires: make
|
||||
BuildRequires: mpfr-devel
|
||||
BuildRequires: ppl-devel
|
||||
BuildRequires: pplite-devel
|
||||
BuildRequires: ocaml
|
||||
BuildRequires: ocaml-camlidl-devel
|
||||
BuildRequires: ocaml-findlib
|
||||
@ -46,6 +70,14 @@ BuildRequires: texinfo-tex
|
||||
|
||||
%global sover %(cut -d. -f 1 <<< %{version})
|
||||
|
||||
# Do not Require symbols we do not Provide
|
||||
%global __ocaml_requires_opts -i Coeff -i Dim -i Interval -i Lincons0 -i Linexpr0 -i Scalar -i Tcons0 -i Texpr0
|
||||
|
||||
# This can be removed when F40 reaches EOL
|
||||
%ifnarch %{java_arches}
|
||||
Obsoletes: japron < 0.9.13-12
|
||||
%endif
|
||||
|
||||
%description
|
||||
The APRON library is dedicated to the static analysis of the numerical
|
||||
variables of a program by Abstract Interpretation. The aim of such an
|
||||
@ -60,9 +92,10 @@ library/abstract domain.
|
||||
%package devel
|
||||
Summary: Development files for %{name}
|
||||
Requires: %{name}%{?_isa} = %{version}-%{release}
|
||||
Requires: glpk-devel%{?_isa}
|
||||
Requires: gmp-devel%{?_isa}
|
||||
Requires: mpfr-devel%{?_isa}
|
||||
Provides: bundled(jquery)
|
||||
Provides: bundled(js-jquery)
|
||||
|
||||
%description devel
|
||||
The %{name}-devel package contains libraries and signature files for
|
||||
@ -70,6 +103,7 @@ developing applications that use %{name}.
|
||||
|
||||
%package -n ocaml-%{name}
|
||||
Summary: Ocaml interface to APRON
|
||||
License: LGPL-2.1-or-later WITH OCaml-LGPL-linking-exception
|
||||
Requires: %{name}%{?_isa} = %{version}-%{release}
|
||||
|
||||
%description -n ocaml-%{name}
|
||||
@ -77,23 +111,31 @@ Ocaml interface to the APRON library.
|
||||
|
||||
%package -n ocaml-%{name}-devel
|
||||
Summary: Development files for the Ocaml interface to APRON
|
||||
License: LGPL-2.1-or-later WITH OCaml-LGPL-linking-exception
|
||||
Requires: ocaml-%{name}%{?_isa} = %{version}-%{release}
|
||||
Requires: ocaml-camlidl-devel%{?_isa}
|
||||
Requires: ocaml-mlgmpidl-devel%{?_isa}
|
||||
Requires: %{name}-devel%{?_isa} = %{version}-%{release}
|
||||
|
||||
%description -n ocaml-%{name}-devel
|
||||
Development files for the Ocaml interface to the APRON library.
|
||||
|
||||
%ifarch %{java_arches}
|
||||
%package -n japron
|
||||
Summary: Java interface to APRON
|
||||
License: LGPL-2.1-or-later WITH OCaml-LGPL-linking-exception
|
||||
Requires: %{name}%{?_isa} = %{version}-%{release}
|
||||
Requires: javapackages-filesystem
|
||||
|
||||
%description -n japron
|
||||
Java interface to the APRON library.
|
||||
%endif
|
||||
|
||||
%prep
|
||||
%autosetup -p0
|
||||
%autosetup -N -n %{name}-%{version}
|
||||
%patch -P0 -p0
|
||||
%ifnarch %{ocaml_native_compiler}
|
||||
%patch -P1 -p0
|
||||
%endif
|
||||
%autopatch -m2 -p0
|
||||
|
||||
# Fix library path for 64-bit installs
|
||||
if [ "%{_lib}" = "lib64" ]; then
|
||||
@ -101,13 +143,6 @@ if [ "%{_lib}" = "lib64" ]; then
|
||||
sed -i 's,/lib,&64,' vars.mk
|
||||
fi
|
||||
|
||||
# Add sonames
|
||||
sed "s|(-shared -o \\\$@ \\\$\^ \\\$\(LIBS.*\))|\1 -Wl,-soname=\$@.%{sover}|" \
|
||||
-ri apronxx/Makefile
|
||||
sed -i "s|_APRON_DYLIB)|& -Wl,-h,\$@.%{sover}|" apron/Makefile \
|
||||
box/Makefile newpolka/Makefile octagons/Makefile ppl/Makefile \
|
||||
products/Makefile taylor1plus/Makefile
|
||||
|
||||
# Fix encodings
|
||||
iconv -f iso8859-1 -t utf-8 Changes > Changes.utf8
|
||||
touch -r Changes Changes.utf8
|
||||
@ -116,29 +151,36 @@ mv -f Changes.utf8 Changes
|
||||
# Preserve timestamps when copying
|
||||
sed -i 's/^\([[:blank:]]*cp[[:blank:]]\)/\1-p /' Makefile */Makefile
|
||||
|
||||
# Do not change -O2 to -O3
|
||||
sed -i 's/-O3/-O2/' configure Makefile.config.model
|
||||
# Build with debuginfo
|
||||
sed -i 's/^OCAMLOPTFLAGS =/& -g/' configure
|
||||
sed -i 's|\$(OCAMLMKLIB) -L.*|& -g|' vars.mk
|
||||
|
||||
# Link the OCaml objects with our LDFLAGS
|
||||
sed -e "s|\$(OCAMLMKLIB) -L.*|& -g -ldopt '$RPM_LD_FLAGS'|" \
|
||||
-e "/CMXS/s|-linkall|-ccopt '$RPM_LD_FLAGS' &|" \
|
||||
-i vars.mk
|
||||
# Give the C++ library an soname
|
||||
sed -i '/shared/s/\$(CXX)/$(CXX_APRON_DYLIB)/' apronxx/Makefile
|
||||
|
||||
# The "java -version" output has an extra line we don't want
|
||||
sed -i 's/head -1/head -2 | tail -1/' configure
|
||||
# For reproducibility, omit timestamps from generated documentation
|
||||
sed -i '/HTML_TIMESTAMP/s/= YES/= NO/' apronxx/doc/Doxyfile
|
||||
|
||||
%build
|
||||
# This is NOT an autoconf-generated script. Do not use %%configure
|
||||
export CPPFLAGS="-D_GNU_SOURCE"
|
||||
export CFLAGS="%{optflags} -fsigned-char"
|
||||
export CXXFLAGS="%{optflags} -fsigned-char"
|
||||
export LDFLAGS="$RPM_LD_FLAGS"
|
||||
export JAVA_HOME="%{_jvmdir}/java"
|
||||
export JAVA_TOOL_OPTIONS="-Dfile.encoding=UTF8"
|
||||
./configure -prefix %{_prefix} -java-prefix %{_jvmdir}/java
|
||||
export CPPFLAGS='-D_GNU_SOURCE -I%{_includedir}/csdp'
|
||||
export CFLAGS='%{build_cflags} -fsigned-char'
|
||||
export CXXFLAGS='%{build_cxxflags} -fsigned-char'
|
||||
export CSDP_PATH=%{_prefix}
|
||||
%ifarch %{java_arches}
|
||||
export JAVA_HOME='%{_jvmdir}/java'
|
||||
export JAVA_TOOL_OPTIONS='-Dfile.encoding=UTF8'
|
||||
./configure -prefix %{_prefix} -pplite-prefix %{_prefix} -no-strip -java-prefix %{_jvmdir}/java
|
||||
%else
|
||||
./configure -prefix %{_prefix} -pplite-prefix %{_prefix} -no-strip
|
||||
%endif
|
||||
|
||||
# Put back a flag that the configure script strips out
|
||||
sed -i 's/-Wp,-D_FORTIFY_SOURCE=2/-Werror=format-security &/' Makefile.config
|
||||
sed -i 's/-Wall/& -Werror=format-security/' Makefile.config
|
||||
|
||||
# Generate dependency lists
|
||||
touch apron/depend
|
||||
make -C apron depend
|
||||
|
||||
# Parallel builds fail intermittently
|
||||
make
|
||||
@ -149,17 +191,21 @@ make -C mlapronidl mlapronidl.pdf
|
||||
|
||||
%install
|
||||
# Install the ocaml bits into the buildroot
|
||||
sed -i 's, install ,&-destdir %{buildroot}%{_libdir}/ocaml -ldconf ignore ,' \
|
||||
sed -i 's, install ,&-destdir %{buildroot}%{ocamldir} -ldconf ignore ,' \
|
||||
Makefile
|
||||
|
||||
# Install
|
||||
mkdir -p %{buildroot}%{_libdir}/ocaml
|
||||
mkdir -p %{buildroot}%{ocamldir}/stublibs
|
||||
mkdir -p %{buildroot}%{_jnidir}
|
||||
%ifarch %{java_arches}
|
||||
make install INSTALL="install -p" APRON_PREFIX=%{buildroot}%{_prefix} \
|
||||
JAVA_PREFIX=%{buildroot}%{_jnidir}
|
||||
|
||||
# Move the JNI shared objects
|
||||
mv %{buildroot}%{_libdir}/libj*.so %{buildroot}%{_jnidir}
|
||||
%else
|
||||
make install INSTALL="install -p" APRON_PREFIX=%{buildroot}%{_prefix}
|
||||
%endif
|
||||
|
||||
# We don't really want the test binaries
|
||||
rm -fr %{buildroot}%{_bindir}
|
||||
@ -191,9 +237,9 @@ mv apron/html doc/apron
|
||||
mv apronxx/doc/html doc/apronxx
|
||||
|
||||
%check
|
||||
export LD_LIBRARY_PATH=%{buildroot}%{_libdir}:%{buildroot}%{_libdir}/ocaml/apron
|
||||
export LD_LIBRARY_PATH=%{buildroot}%{_libdir}
|
||||
make -C test APRON_INCLUDE=%{buildroot}%{_includedir}/%{name} \
|
||||
APRON_LIB=%{buildroot}%{_libdir}/ocaml/%{name} \
|
||||
APRON_LIB=%{buildroot}%{ocamldir}/%{name} \
|
||||
CAMLIDL_PREFIX=%{buildroot}%{_libdir}
|
||||
test/ctest1
|
||||
|
||||
@ -207,283 +253,38 @@ test/ctest1
|
||||
%doc doc/apron doc/apronxx
|
||||
%{_libdir}/lib*.so
|
||||
%{_includedir}/%{name}/
|
||||
%{_includedir}/avo/
|
||||
%{_includedir}/fpp/
|
||||
|
||||
%files -n ocaml-%{name}
|
||||
%doc mlapronidl/mlapronidl.pdf
|
||||
%dir %{_libdir}/ocaml/%{name}/
|
||||
%{_libdir}/ocaml/%{name}/META
|
||||
%{_libdir}/ocaml/%{name}/*.cma
|
||||
%{_libdir}/ocaml/%{name}/*.cmi
|
||||
%{_libdir}/ocaml/%{name}/*.cmxs
|
||||
%{_libdir}/ocaml/%{name}/*.so
|
||||
%dir %{ocamldir}/%{name}/
|
||||
%{ocamldir}/%{name}/META
|
||||
%{ocamldir}/%{name}/*.cma
|
||||
%{ocamldir}/%{name}/*.cmi
|
||||
%ifarch %{ocaml_native_compiler}
|
||||
%{ocamldir}/%{name}/*.cmxs
|
||||
%endif
|
||||
%{ocamldir}/stublibs/dll*
|
||||
|
||||
%files -n ocaml-%{name}-devel
|
||||
%doc mlapronidl/html/*
|
||||
%{ocamldir}/%{name}/*.a
|
||||
%ifarch %{ocaml_native_compiler}
|
||||
%{_libdir}/ocaml/%{name}/*.a
|
||||
%{_libdir}/ocaml/%{name}/*.cmxa
|
||||
%{_libdir}/ocaml/%{name}/*.cmx
|
||||
%{ocamldir}/%{name}/*.cmxa
|
||||
%{ocamldir}/%{name}/*.cmx
|
||||
%endif
|
||||
%{_libdir}/ocaml/%{name}/*.h
|
||||
%{_libdir}/ocaml/%{name}/*.idl
|
||||
%{_libdir}/ocaml/%{name}/*.mli
|
||||
%{ocamldir}/%{name}/*.h
|
||||
%{ocamldir}/%{name}/*.idl
|
||||
%{ocamldir}/%{name}/*.mli
|
||||
|
||||
%ifarch %{java_arches}
|
||||
%files -n japron
|
||||
%doc japron/README
|
||||
%license japron/COPYING
|
||||
%{_jnidir}/*.jar
|
||||
%{_jnidir}/*.so
|
||||
%endif
|
||||
|
||||
%changelog
|
||||
* Tue Sep 01 2020 Richard W.M. Jones <rjones@redhat.com> - 0.9.12-10
|
||||
- OCaml 4.11.1 rebuild
|
||||
|
||||
* Fri Aug 21 2020 Richard W.M. Jones <rjones@redhat.com> - 0.9.12-9
|
||||
- OCaml 4.11.0 rebuild
|
||||
|
||||
* Mon Jul 27 2020 Fedora Release Engineering <releng@fedoraproject.org> - 0.9.12-8
|
||||
- Rebuilt for https://fedoraproject.org/wiki/Fedora_33_Mass_Rebuild
|
||||
|
||||
* Mon May 04 2020 Richard W.M. Jones <rjones@redhat.com> - 0.9.12-7
|
||||
- OCaml 4.11.0+dev2-2020-04-22 rebuild
|
||||
|
||||
* Tue Apr 21 2020 Richard W.M. Jones <rjones@redhat.com> - 0.9.12-6
|
||||
- OCaml 4.11.0 pre-release attempt 2
|
||||
|
||||
* Fri Apr 17 2020 Richard W.M. Jones <rjones@redhat.com> - 0.9.12-5
|
||||
- OCaml 4.11.0 pre-release
|
||||
|
||||
* Thu Apr 02 2020 Richard W.M. Jones <rjones@redhat.com> - 0.9.12-4
|
||||
- Update all OCaml dependencies for RPM 4.16.
|
||||
|
||||
* Wed Feb 26 2020 Richard W.M. Jones <rjones@redhat.com> - 0.9.12-3
|
||||
- OCaml 4.10.0 final.
|
||||
|
||||
* Tue Jan 28 2020 Fedora Release Engineering <releng@fedoraproject.org> - 0.9.12-2
|
||||
- Rebuilt for https://fedoraproject.org/wiki/Fedora_32_Mass_Rebuild
|
||||
|
||||
* Wed Jan 22 2020 Dan Čermák <dan.cermak@cgc-instruments.com> - 0.9.12-1
|
||||
- New upstream release 0.9.12
|
||||
|
||||
* Sun Jan 19 2020 Richard W.M. Jones <rjones@redhat.com> - 0.9.11-33.1104.svn20180624
|
||||
- OCaml 4.10.0+beta1 rebuild.
|
||||
|
||||
* Thu Jan 09 2020 Richard W.M. Jones <rjones@redhat.com> - 0.9.11-32.1104.svn20180624
|
||||
- OCaml 4.09.0 for riscv64
|
||||
|
||||
* Fri Dec 06 2019 Richard W.M. Jones <rjones@redhat.com> - 0.9.11-31.1104.svn20180624
|
||||
- Bump release and rebuild.
|
||||
|
||||
* Fri Dec 06 2019 Richard W.M. Jones <rjones@redhat.com> - 0.9.11-30.1104.svn20180624
|
||||
- OCaml 4.09.0 (final) rebuild.
|
||||
|
||||
* Fri Oct 11 2019 Jerry James <loganjerry@gmail.com> - 0.9.11-29.1104.svn20180624
|
||||
- Add -mpfr4 patch and rebuild for mpfr 4
|
||||
|
||||
* Fri Aug 16 2019 Richard W.M. Jones <rjones@redhat.com> - 0.9.11-28.1104.svn20180624
|
||||
- OCaml 4.08.1 (final) rebuild.
|
||||
|
||||
* Wed Jul 31 2019 Richard W.M. Jones <rjones@redhat.com> - 0.9.11-27.1104.svn20180624
|
||||
- OCaml 4.08.1 (rc2) rebuild.
|
||||
|
||||
* Wed Jul 24 2019 Fedora Release Engineering <releng@fedoraproject.org> - 0.9.11-26.1104.svn20180624
|
||||
- Rebuilt for https://fedoraproject.org/wiki/Fedora_31_Mass_Rebuild
|
||||
|
||||
* Thu Jun 27 2019 Richard W.M. Jones <rjones@redhat.com> - 0.9.11-25.1104.svn20180624
|
||||
- OCaml 4.08.0 (final) rebuild.
|
||||
|
||||
* Mon Apr 29 2019 Richard W.M. Jones <rjones@redhat.com> - 0.9.11-24.1104.svn20180624
|
||||
- OCaml 4.08.0 (beta 3) rebuild.
|
||||
|
||||
* Thu Jan 31 2019 Fedora Release Engineering <releng@fedoraproject.org> - 0.9.11-23.1104.svn20180624
|
||||
- Rebuilt for https://fedoraproject.org/wiki/Fedora_30_Mass_Rebuild
|
||||
|
||||
* Thu Jul 12 2018 Fedora Release Engineering <releng@fedoraproject.org> - 0.9.11-22.1104.svn20180624
|
||||
- Rebuilt for https://fedoraproject.org/wiki/Fedora_29_Mass_Rebuild
|
||||
|
||||
* Wed Jul 11 2018 Richard W.M. Jones <rjones@redhat.com> - 0.9.11-21.1104.svn20180624
|
||||
- OCaml 4.07.0 (final) rebuild.
|
||||
|
||||
* Sat Jul 7 2018 Jerry James <loganjerry@gmail.com> - 0.9.11-20.1104.svn20180624
|
||||
- Update to latest subversion commit
|
||||
|
||||
* Wed Jun 20 2018 Richard W.M. Jones <rjones@redhat.com> - 0.9.11-19.1097.svn20160801
|
||||
- Bump release and rebuild.
|
||||
|
||||
* Wed Jun 20 2018 Richard W.M. Jones <rjones@redhat.com> - 0.9.11-18.1097.svn20160801
|
||||
- Bump release and rebuild.
|
||||
|
||||
* Wed Jun 20 2018 Richard W.M. Jones <rjones@redhat.com> - 0.9.11-17.1097.svn20160801
|
||||
- Bump release and rebuild.
|
||||
|
||||
* Wed Jun 20 2018 Richard W.M. Jones <rjones@redhat.com> - 0.9.11-16.1097.svn20160801
|
||||
- Bump release and rebuild.
|
||||
|
||||
* Wed Jun 20 2018 Richard W.M. Jones <rjones@redhat.com> - 0.9.11-15.1097.svn20160801
|
||||
- OCaml 4.07.0-rc1 rebuild.
|
||||
|
||||
* Wed Feb 07 2018 Fedora Release Engineering <releng@fedoraproject.org> - 0.9.11-14.1097.svn20160801
|
||||
- Rebuilt for https://fedoraproject.org/wiki/Fedora_28_Mass_Rebuild
|
||||
|
||||
* Mon Dec 4 2017 Jerry James <loganjerry@gmail.com> - 0.9.11-13.1097.svn20160801
|
||||
- Rebuild for mlgmpidl 1.2.6-1
|
||||
|
||||
* Fri Nov 17 2017 Richard W.M. Jones <rjones@redhat.com> - 0.9.11-12.1097.svn20160801
|
||||
- OCaml 4.06.0 rebuild.
|
||||
|
||||
* Tue Aug 08 2017 Richard W.M. Jones <rjones@redhat.com> - 0.9.11-11.1097.svn20160801
|
||||
- OCaml 4.05.0 rebuild.
|
||||
|
||||
* Wed Aug 02 2017 Fedora Release Engineering <releng@fedoraproject.org> - 0.9.11-10.1097.svn20160801
|
||||
- Rebuilt for https://fedoraproject.org/wiki/Fedora_27_Binutils_Mass_Rebuild
|
||||
|
||||
* Wed Jul 26 2017 Fedora Release Engineering <releng@fedoraproject.org> - 0.9.11-9.1097.svn20160801
|
||||
- Rebuilt for https://fedoraproject.org/wiki/Fedora_27_Mass_Rebuild
|
||||
|
||||
* Mon Jun 26 2017 Richard W.M. Jones <rjones@redhat.com> - 0.9.11-8.1097.svn20160801
|
||||
- OCaml 4.04.2 rebuild.
|
||||
|
||||
* Fri May 12 2017 Richard W.M. Jones <rjones@redhat.com> - 0.9.11-7.1097.svn20160801
|
||||
- OCaml 4.04.1 rebuild.
|
||||
|
||||
* Fri Mar 24 2017 Jerry James <loganjerry@gmail.com> - 0.9.11-6.1097.svn20160801
|
||||
- Rebuild for mlgmpidl
|
||||
|
||||
* Fri Mar 3 2017 Jerry James <loganjerry@gmail.com> - 0.9.11-5.1097.svn20160801
|
||||
- Update to latest subversion commit and rebuild for ppl 1.2
|
||||
|
||||
* Fri Feb 10 2017 Fedora Release Engineering <releng@fedoraproject.org> - 0.9.11-4.1096.svn20160531
|
||||
- Rebuilt for https://fedoraproject.org/wiki/Fedora_26_Mass_Rebuild
|
||||
|
||||
* Wed Nov 09 2016 Dan Horák <dan@danny.cz> - 0.9.11-3.1096.svn20160531
|
||||
- rebuild for s390x codegen bug
|
||||
|
||||
* Sun Nov 06 2016 Richard W.M. Jones <rjones@redhat.com> - 0.9.11-2.1096.svn20160531
|
||||
- Rebuild for OCaml 4.04.0.
|
||||
|
||||
* Sat Jul 16 2016 Jerry James <loganjerry@gmail.com> - 0.9.11-1.1096.svn20160531
|
||||
- Update to latest subversion commit
|
||||
|
||||
* Sun Mar 06 2016 Than Ngo <than@redhat.com> - 0.9.10-36.svn20160125
|
||||
- remove wWorkaround bz 1305739; it's fixed in lates doxygen
|
||||
|
||||
* Fri Feb 12 2016 Jerry James <loganjerry@gmail.com> - 0.9.10-35.1091.svn20160125
|
||||
- Some ocaml projects need the debug libraries; add them back in
|
||||
|
||||
* Fri Feb 12 2016 Jerry James <loganjerry@gmail.com> - 0.9.10-34.1091.svn20160125
|
||||
- Update to latest subversion commit
|
||||
- Add japron subpackage with the Java interface
|
||||
- Add %%check script
|
||||
- Drop upstreamed -format-security, -mlgmpidl12, -test, and -ppl1 patches
|
||||
- Add -texinfo patch to fix documentation build failure
|
||||
|
||||
* Wed Feb 03 2016 Fedora Release Engineering <releng@fedoraproject.org> - 0.9.10-33
|
||||
- Rebuilt for https://fedoraproject.org/wiki/Fedora_24_Mass_Rebuild
|
||||
|
||||
* Tue Jul 28 2015 Richard W.M. Jones <rjones@redhat.com> - 0.9.10-32
|
||||
- Bump release and rebuild.
|
||||
|
||||
* Tue Jul 28 2015 Richard W.M. Jones <rjones@redhat.com> - 0.9.10-31
|
||||
- OCaml 4.02.3 rebuild.
|
||||
|
||||
* Tue Jul 21 2015 Richard W.M. Jones <rjones@redhat.com> - 0.9.10-30
|
||||
- Fix bytecode compilation.
|
||||
|
||||
* Wed Jun 24 2015 Richard W.M. Jones <rjones@redhat.com> - 0.9.10-29
|
||||
- ocaml-4.02.2 final rebuild.
|
||||
|
||||
* Wed Jun 17 2015 Richard W.M. Jones <rjones@redhat.com> - 0.9.10-28
|
||||
- ocaml-4.02.2 rebuild.
|
||||
|
||||
* Wed Jun 17 2015 Fedora Release Engineering <rel-eng@lists.fedoraproject.org> - 0.9.10-27
|
||||
- Rebuilt for https://fedoraproject.org/wiki/Fedora_23_Mass_Rebuild
|
||||
|
||||
* Sat May 02 2015 Kalev Lember <kalevlember@gmail.com> - 0.9.10-26
|
||||
- Rebuilt for GCC 5 C++11 ABI change
|
||||
|
||||
* Tue Feb 17 2015 Richard W.M. Jones <rjones@redhat.com> - 0.9.10-25
|
||||
- ocaml-4.02.1 rebuild.
|
||||
|
||||
* Wed Feb 11 2015 Jerry James <loganjerry@gmail.com> - 0.9.10-24
|
||||
- Use license macro
|
||||
|
||||
* Sun Aug 31 2014 Richard W.M. Jones <rjones@redhat.com> - 0.9.10-23
|
||||
- ocaml-4.02.0 final rebuild.
|
||||
|
||||
* Sat Aug 23 2014 Richard W.M. Jones <rjones@redhat.com> - 0.9.10-22
|
||||
- ocaml-4.02.0+rc1 rebuild.
|
||||
|
||||
* Fri Aug 15 2014 Fedora Release Engineering <rel-eng@lists.fedoraproject.org> - 0.9.10-21
|
||||
- Rebuilt for https://fedoraproject.org/wiki/Fedora_21_22_Mass_Rebuild
|
||||
|
||||
* Sat Aug 02 2014 Richard W.M. Jones <rjones@redhat.com> - 0.9.10-20
|
||||
- ocaml-4.02.0-0.8.git10e45753.fc22 rebuild.
|
||||
|
||||
* Mon Jul 21 2014 Jerry James <loganjerry@gmail.com> - 0.9.10-19
|
||||
- OCaml 4.02.0 beta rebuild
|
||||
|
||||
* Fri Jun 27 2014 Jerry James <loganjerry@gmail.com> - 0.9.10-18
|
||||
- Build with -fsigned-char to fix FTBFS on aarch64
|
||||
- Use a better test for installing files into 64-bit libdir
|
||||
|
||||
* Sat Jun 07 2014 Fedora Release Engineering <rel-eng@lists.fedoraproject.org> - 0.9.10-17
|
||||
- Rebuilt for https://fedoraproject.org/wiki/Fedora_21_Mass_Rebuild
|
||||
|
||||
* Wed Apr 30 2014 Jerry James <loganjerry@gmail.com> - 0.9.10-16
|
||||
- Rebuild for ppl 1.1
|
||||
|
||||
* Fri Apr 18 2014 Jerry James <loganjerry@gmail.com> - 0.9.10-15
|
||||
- Ensure GNU extensions are enabled to fix build failure
|
||||
|
||||
* Tue Apr 15 2014 Richard W.M. Jones <rjones@redhat.com> - 0.9.10-15
|
||||
- Remove ocaml_arches macro (RHBZ#1087794).
|
||||
|
||||
* Wed Nov 20 2013 Jerry James <loganjerry@gmail.com> - 0.9.10-14
|
||||
- Add -format-security patch
|
||||
|
||||
* Sat Sep 14 2013 Richard W.M. Jones <rjones@redhat.com> - 0.9.10-13
|
||||
- Rebuild for OCaml 4.01.0.
|
||||
|
||||
* Sat Aug 03 2013 Fedora Release Engineering <rel-eng@lists.fedoraproject.org> - 0.9.10-12
|
||||
- Rebuilt for https://fedoraproject.org/wiki/Fedora_20_Mass_Rebuild
|
||||
|
||||
* Thu Feb 14 2013 Jerry James <loganjerry@gmail.com> - 0.9.10-11
|
||||
- Add -ppl1 patch to adapt to PPL 1.0 + GMP 5.1.0
|
||||
- Update -mlgmpidl12 patch to fix more problems
|
||||
|
||||
* Wed Feb 13 2013 Fedora Release Engineering <rel-eng@lists.fedoraproject.org> - 0.9.10-11
|
||||
- Rebuilt for https://fedoraproject.org/wiki/Fedora_19_Mass_Rebuild
|
||||
|
||||
* Fri Nov 30 2012 Tom Callaway <spot@fedoraproject.org> - 0.9.10-10
|
||||
- rebuild for ppl
|
||||
|
||||
* Wed Oct 17 2012 Jerry James <loganjerry@gmail.com> - 0.9.10-9
|
||||
- Rebuild for OCaml 4.00.1
|
||||
|
||||
* Wed Jul 18 2012 Fedora Release Engineering <rel-eng@lists.fedoraproject.org> - 0.9.10-8
|
||||
- Rebuilt for https://fedoraproject.org/wiki/Fedora_18_Mass_Rebuild
|
||||
|
||||
* Sat Jun 9 2012 Jerry James <loganjerry@gmail.com> - 0.9.10-7
|
||||
- Rebuild for OCaml 4.00.0
|
||||
|
||||
* Wed May 9 2012 Jerry James <loganjerry@gmail.com> - 0.9.10-6
|
||||
- Rebuild for new ocaml-mlgmpidl
|
||||
|
||||
* Fri Jan 6 2012 Jerry James <loganjerry@gmail.com> - 0.9.10-5
|
||||
- Rebuild for GCC 4.7 and Ocaml 3.12.1
|
||||
|
||||
* Tue Nov 8 2011 Jerry James <loganjerry@gmail.com> - 0.9.10-4
|
||||
- -devel also needs ocaml-camlidl-devel
|
||||
- Pass --as-needed to the linker to fix unused shared library dependencies
|
||||
|
||||
* Fri Nov 4 2011 Jerry James <loganjerry@gmail.com> - 0.9.10-3
|
||||
- Comment on license situation
|
||||
- Drop debug libraries altogether
|
||||
|
||||
* Wed Aug 24 2011 Jerry James <loganjerry@gmail.com> - 0.9.10-2
|
||||
- Correct license
|
||||
- Build C and C++ interfaces even when the ocaml interface cannot be built
|
||||
- Move debug libraries to separate packages
|
||||
|
||||
* Fri Jul 8 2011 Jerry James <loganjerry@gmail.com> - 0.9.10-1
|
||||
- Initial RPM
|
||||
%autochangelog
|
||||
|
||||
367
changelog
Normal file
367
changelog
Normal file
@ -0,0 +1,367 @@
|
||||
* Wed May 29 2024 Richard W.M. Jones <rjones@redhat.com> - 0.9.14-8
|
||||
- OCaml 5.2.0 for Fedora 41
|
||||
|
||||
* Thu May 23 2024 Jerry James <loganjerry@gmail.com> - 0.9.14-7
|
||||
- Add patch to fix an internal division case
|
||||
|
||||
* Wed Mar 13 2024 Jerry James <loganjerry@gmail.com> - 0.9.14-7
|
||||
- Rebuild for flint 3.1.0
|
||||
|
||||
* Mon Jan 22 2024 Fedora Release Engineering <releng@fedoraproject.org> - 0.9.14-6
|
||||
- Rebuilt for https://fedoraproject.org/wiki/Fedora_40_Mass_Rebuild
|
||||
|
||||
* Fri Jan 19 2024 Fedora Release Engineering <releng@fedoraproject.org> - 0.9.14-5
|
||||
- Rebuilt for https://fedoraproject.org/wiki/Fedora_40_Mass_Rebuild
|
||||
|
||||
* Mon Dec 18 2023 Richard W.M. Jones <rjones@redhat.com> - 0.9.14-4
|
||||
- OCaml 5.1.1 + s390x code gen fix for Fedora 40
|
||||
|
||||
* Tue Dec 12 2023 Richard W.M. Jones <rjones@redhat.com> - 0.9.14-3
|
||||
- OCaml 5.1.1 rebuild for Fedora 40
|
||||
|
||||
* Thu Oct 05 2023 Richard W.M. Jones <rjones@redhat.com> - 0.9.14-2
|
||||
- OCaml 5.1 rebuild for Fedora 40
|
||||
|
||||
* Wed Oct 4 2023 Jerry James <loganjerry@gmail.com> - 0.9.14-1
|
||||
- Add upstream patch for a japron hasVar bug
|
||||
|
||||
* Fri Sep 22 2023 Jerry James <loganjerry@gmail.com> - 0.9.14-1
|
||||
- Version 0.9.14
|
||||
- Add patch to fix japron linkage
|
||||
- Omit timestamps from generated documentation
|
||||
|
||||
* Sat Aug 5 2023 Jerry James <loganjerry@gmail.com> - 0.9.14-0.6.beta.2
|
||||
- Fix failure to install (rhbz#2229356)
|
||||
|
||||
* Thu Aug 3 2023 Jerry James <loganjerry@gmail.com> - 0.9.14-0.5.beta.2
|
||||
- Enable pplite support
|
||||
|
||||
* Thu Jul 27 2023 Jerry James <loganjerry@gmail.com> - 0.9.14-0.4.beta.2
|
||||
- Update to 0.9.14-beta2
|
||||
- Enable csdp support
|
||||
|
||||
* Wed Jul 19 2023 Fedora Release Engineering <releng@fedoraproject.org> - 0.9.14-0.3.beta1
|
||||
- Rebuilt for https://fedoraproject.org/wiki/Fedora_39_Mass_Rebuild
|
||||
|
||||
* Wed Jul 12 2023 Richard W.M. Jones <rjones@redhat.com> - 0.9.14-0.2.beta1
|
||||
- OCaml 5.0 rebuild for Fedora 39
|
||||
|
||||
* Mon Jul 10 2023 Jerry James <loganjerry@gmail.com> - 0.9.14-0.1.beta1
|
||||
- Update to 0.9.14-beta1 for OCaml 5.0 support
|
||||
- Drop upstreamed mpfr and custom-operations patches
|
||||
- Enable glpk support
|
||||
- Add patch to fix builds on bytecode-only architectures
|
||||
|
||||
* Thu Mar 23 2023 Jerry James <loganjerry@gmail.com> - 0.9.13-17
|
||||
- Fix reinsertion of -Werror=format-security (bz 2181282)
|
||||
|
||||
* Tue Jan 24 2023 Richard W.M. Jones <rjones@redhat.com> - 0.9.13-16
|
||||
- Rebuild OCaml packages for F38
|
||||
|
||||
* Wed Jan 18 2023 Fedora Release Engineering <releng@fedoraproject.org> - 0.9.13-15
|
||||
- Rebuilt for https://fedoraproject.org/wiki/Fedora_38_Mass_Rebuild
|
||||
|
||||
* Tue Dec 6 2022 Jerry James <loganjerry@gmail.com> - 0.9.13-14
|
||||
- Work around build failure with make 4.4 (rhbz#2150171)
|
||||
|
||||
* Thu Aug 11 2022 Jerry James <loganjerry@gmail.com> - 0.9.13-13
|
||||
- Convert License tag to SPDX
|
||||
|
||||
* Wed Jul 20 2022 Fedora Release Engineering <releng@fedoraproject.org> - 0.9.13-13
|
||||
- Rebuilt for https://fedoraproject.org/wiki/Fedora_37_Mass_Rebuild
|
||||
|
||||
* Tue Jul 5 2022 Jerry James <loganjerry@gmail.com> - 0.9.13-12
|
||||
- Do not build japron on i686 (rhbz#2104018)
|
||||
- Use new OCaml macros
|
||||
|
||||
* Sat Jun 18 2022 Richard W.M. Jones <rjones@redhat.com> - 0.9.13-11
|
||||
- OCaml 4.14.0 rebuild
|
||||
|
||||
* Wed Apr 27 2022 Jerry James <loganjerry@gmail.com> - 0.9.13-10
|
||||
- Add -custom-operations patch to silence warnings
|
||||
- Trim Requires
|
||||
- Build native OCaml objects with debuginfo
|
||||
|
||||
* Sat Feb 05 2022 Jiri Vanek <jvanek@redhat.com> - 0.9.13-10
|
||||
- Rebuilt for java-17-openjdk as system jdk
|
||||
|
||||
* Fri Feb 04 2022 Richard W.M. Jones <rjones@redhat.com> - 0.9.13-9
|
||||
- OCaml 4.13.1 rebuild to remove package notes
|
||||
|
||||
* Wed Jan 19 2022 Fedora Release Engineering <releng@fedoraproject.org> - 0.9.13-8
|
||||
- Rebuilt for https://fedoraproject.org/wiki/Fedora_36_Mass_Rebuild
|
||||
|
||||
* Mon Dec 27 2021 Jerry James <loganjerry@gmail.com> - 0.9.13-7
|
||||
- Rebuild for ocaml-mlgmpidl 1.2.14
|
||||
|
||||
* Mon Oct 04 2021 Richard W.M. Jones <rjones@redhat.com> - 0.9.13-6
|
||||
- OCaml 4.13.1 build
|
||||
|
||||
* Wed Jul 21 2021 Fedora Release Engineering <releng@fedoraproject.org> - 0.9.13-5
|
||||
- Rebuilt for https://fedoraproject.org/wiki/Fedora_35_Mass_Rebuild
|
||||
|
||||
* Mon Mar 1 16:57:58 GMT 2021 Richard W.M. Jones <rjones@redhat.com> - 0.9.13-4
|
||||
- OCaml 4.12.0 build
|
||||
|
||||
* Tue Jan 26 2021 Fedora Release Engineering <releng@fedoraproject.org> - 0.9.13-3
|
||||
- Rebuilt for https://fedoraproject.org/wiki/Fedora_34_Mass_Rebuild
|
||||
|
||||
* Fri Nov 20 2020 Jerry James <loganjerry@gmail.com> - 0.9.13-2
|
||||
- Fix install location of OCaml stublibs
|
||||
|
||||
* Fri Sep 25 2020 Jerry James <loganjerry@gmail.com> - 0.9.13-1
|
||||
- Version 0.9.13
|
||||
- Drop upstreamed -texinfo patch
|
||||
|
||||
* Tue Sep 01 2020 Richard W.M. Jones <rjones@redhat.com> - 0.9.12-10
|
||||
- OCaml 4.11.1 rebuild
|
||||
|
||||
* Fri Aug 21 2020 Richard W.M. Jones <rjones@redhat.com> - 0.9.12-9
|
||||
- OCaml 4.11.0 rebuild
|
||||
|
||||
* Mon Jul 27 2020 Fedora Release Engineering <releng@fedoraproject.org> - 0.9.12-8
|
||||
- Rebuilt for https://fedoraproject.org/wiki/Fedora_33_Mass_Rebuild
|
||||
|
||||
* Mon May 04 2020 Richard W.M. Jones <rjones@redhat.com> - 0.9.12-7
|
||||
- OCaml 4.11.0+dev2-2020-04-22 rebuild
|
||||
|
||||
* Tue Apr 21 2020 Richard W.M. Jones <rjones@redhat.com> - 0.9.12-6
|
||||
- OCaml 4.11.0 pre-release attempt 2
|
||||
|
||||
* Fri Apr 17 2020 Richard W.M. Jones <rjones@redhat.com> - 0.9.12-5
|
||||
- OCaml 4.11.0 pre-release
|
||||
|
||||
* Thu Apr 02 2020 Richard W.M. Jones <rjones@redhat.com> - 0.9.12-4
|
||||
- Update all OCaml dependencies for RPM 4.16.
|
||||
|
||||
* Wed Feb 26 2020 Richard W.M. Jones <rjones@redhat.com> - 0.9.12-3
|
||||
- OCaml 4.10.0 final.
|
||||
|
||||
* Tue Jan 28 2020 Fedora Release Engineering <releng@fedoraproject.org> - 0.9.12-2
|
||||
- Rebuilt for https://fedoraproject.org/wiki/Fedora_32_Mass_Rebuild
|
||||
|
||||
* Wed Jan 22 2020 Dan Čermák <dan.cermak@cgc-instruments.com> - 0.9.12-1
|
||||
- New upstream release 0.9.12
|
||||
|
||||
* Sun Jan 19 2020 Richard W.M. Jones <rjones@redhat.com> - 0.9.11-33.1104.svn20180624
|
||||
- OCaml 4.10.0+beta1 rebuild.
|
||||
|
||||
* Thu Jan 09 2020 Richard W.M. Jones <rjones@redhat.com> - 0.9.11-32.1104.svn20180624
|
||||
- OCaml 4.09.0 for riscv64
|
||||
|
||||
* Fri Dec 06 2019 Richard W.M. Jones <rjones@redhat.com> - 0.9.11-31.1104.svn20180624
|
||||
- Bump release and rebuild.
|
||||
|
||||
* Fri Dec 06 2019 Richard W.M. Jones <rjones@redhat.com> - 0.9.11-30.1104.svn20180624
|
||||
- OCaml 4.09.0 (final) rebuild.
|
||||
|
||||
* Fri Oct 11 2019 Jerry James <loganjerry@gmail.com> - 0.9.11-29.1104.svn20180624
|
||||
- Add -mpfr4 patch and rebuild for mpfr 4
|
||||
|
||||
* Fri Aug 16 2019 Richard W.M. Jones <rjones@redhat.com> - 0.9.11-28.1104.svn20180624
|
||||
- OCaml 4.08.1 (final) rebuild.
|
||||
|
||||
* Wed Jul 31 2019 Richard W.M. Jones <rjones@redhat.com> - 0.9.11-27.1104.svn20180624
|
||||
- OCaml 4.08.1 (rc2) rebuild.
|
||||
|
||||
* Wed Jul 24 2019 Fedora Release Engineering <releng@fedoraproject.org> - 0.9.11-26.1104.svn20180624
|
||||
- Rebuilt for https://fedoraproject.org/wiki/Fedora_31_Mass_Rebuild
|
||||
|
||||
* Thu Jun 27 2019 Richard W.M. Jones <rjones@redhat.com> - 0.9.11-25.1104.svn20180624
|
||||
- OCaml 4.08.0 (final) rebuild.
|
||||
|
||||
* Mon Apr 29 2019 Richard W.M. Jones <rjones@redhat.com> - 0.9.11-24.1104.svn20180624
|
||||
- OCaml 4.08.0 (beta 3) rebuild.
|
||||
|
||||
* Thu Jan 31 2019 Fedora Release Engineering <releng@fedoraproject.org> - 0.9.11-23.1104.svn20180624
|
||||
- Rebuilt for https://fedoraproject.org/wiki/Fedora_30_Mass_Rebuild
|
||||
|
||||
* Thu Jul 12 2018 Fedora Release Engineering <releng@fedoraproject.org> - 0.9.11-22.1104.svn20180624
|
||||
- Rebuilt for https://fedoraproject.org/wiki/Fedora_29_Mass_Rebuild
|
||||
|
||||
* Wed Jul 11 2018 Richard W.M. Jones <rjones@redhat.com> - 0.9.11-21.1104.svn20180624
|
||||
- OCaml 4.07.0 (final) rebuild.
|
||||
|
||||
* Sat Jul 7 2018 Jerry James <loganjerry@gmail.com> - 0.9.11-20.1104.svn20180624
|
||||
- Update to latest subversion commit
|
||||
|
||||
* Wed Jun 20 2018 Richard W.M. Jones <rjones@redhat.com> - 0.9.11-19.1097.svn20160801
|
||||
- Bump release and rebuild.
|
||||
|
||||
* Wed Jun 20 2018 Richard W.M. Jones <rjones@redhat.com> - 0.9.11-18.1097.svn20160801
|
||||
- Bump release and rebuild.
|
||||
|
||||
* Wed Jun 20 2018 Richard W.M. Jones <rjones@redhat.com> - 0.9.11-17.1097.svn20160801
|
||||
- Bump release and rebuild.
|
||||
|
||||
* Wed Jun 20 2018 Richard W.M. Jones <rjones@redhat.com> - 0.9.11-16.1097.svn20160801
|
||||
- Bump release and rebuild.
|
||||
|
||||
* Wed Jun 20 2018 Richard W.M. Jones <rjones@redhat.com> - 0.9.11-15.1097.svn20160801
|
||||
- OCaml 4.07.0-rc1 rebuild.
|
||||
|
||||
* Wed Feb 07 2018 Fedora Release Engineering <releng@fedoraproject.org> - 0.9.11-14.1097.svn20160801
|
||||
- Rebuilt for https://fedoraproject.org/wiki/Fedora_28_Mass_Rebuild
|
||||
|
||||
* Mon Dec 4 2017 Jerry James <loganjerry@gmail.com> - 0.9.11-13.1097.svn20160801
|
||||
- Rebuild for mlgmpidl 1.2.6-1
|
||||
|
||||
* Fri Nov 17 2017 Richard W.M. Jones <rjones@redhat.com> - 0.9.11-12.1097.svn20160801
|
||||
- OCaml 4.06.0 rebuild.
|
||||
|
||||
* Tue Aug 08 2017 Richard W.M. Jones <rjones@redhat.com> - 0.9.11-11.1097.svn20160801
|
||||
- OCaml 4.05.0 rebuild.
|
||||
|
||||
* Wed Aug 02 2017 Fedora Release Engineering <releng@fedoraproject.org> - 0.9.11-10.1097.svn20160801
|
||||
- Rebuilt for https://fedoraproject.org/wiki/Fedora_27_Binutils_Mass_Rebuild
|
||||
|
||||
* Wed Jul 26 2017 Fedora Release Engineering <releng@fedoraproject.org> - 0.9.11-9.1097.svn20160801
|
||||
- Rebuilt for https://fedoraproject.org/wiki/Fedora_27_Mass_Rebuild
|
||||
|
||||
* Mon Jun 26 2017 Richard W.M. Jones <rjones@redhat.com> - 0.9.11-8.1097.svn20160801
|
||||
- OCaml 4.04.2 rebuild.
|
||||
|
||||
* Fri May 12 2017 Richard W.M. Jones <rjones@redhat.com> - 0.9.11-7.1097.svn20160801
|
||||
- OCaml 4.04.1 rebuild.
|
||||
|
||||
* Fri Mar 24 2017 Jerry James <loganjerry@gmail.com> - 0.9.11-6.1097.svn20160801
|
||||
- Rebuild for mlgmpidl
|
||||
|
||||
* Fri Mar 3 2017 Jerry James <loganjerry@gmail.com> - 0.9.11-5.1097.svn20160801
|
||||
- Update to latest subversion commit and rebuild for ppl 1.2
|
||||
|
||||
* Fri Feb 10 2017 Fedora Release Engineering <releng@fedoraproject.org> - 0.9.11-4.1096.svn20160531
|
||||
- Rebuilt for https://fedoraproject.org/wiki/Fedora_26_Mass_Rebuild
|
||||
|
||||
* Wed Nov 09 2016 Dan Horák <dan@danny.cz> - 0.9.11-3.1096.svn20160531
|
||||
- rebuild for s390x codegen bug
|
||||
|
||||
* Sun Nov 06 2016 Richard W.M. Jones <rjones@redhat.com> - 0.9.11-2.1096.svn20160531
|
||||
- Rebuild for OCaml 4.04.0.
|
||||
|
||||
* Sat Jul 16 2016 Jerry James <loganjerry@gmail.com> - 0.9.11-1.1096.svn20160531
|
||||
- Update to latest subversion commit
|
||||
|
||||
* Sun Mar 06 2016 Than Ngo <than@redhat.com> - 0.9.10-36.svn20160125
|
||||
- remove wWorkaround bz 1305739; it's fixed in lates doxygen
|
||||
|
||||
* Fri Feb 12 2016 Jerry James <loganjerry@gmail.com> - 0.9.10-35.1091.svn20160125
|
||||
- Some ocaml projects need the debug libraries; add them back in
|
||||
|
||||
* Fri Feb 12 2016 Jerry James <loganjerry@gmail.com> - 0.9.10-34.1091.svn20160125
|
||||
- Update to latest subversion commit
|
||||
- Add japron subpackage with the Java interface
|
||||
- Add %%check script
|
||||
- Drop upstreamed -format-security, -mlgmpidl12, -test, and -ppl1 patches
|
||||
- Add -texinfo patch to fix documentation build failure
|
||||
|
||||
* Wed Feb 03 2016 Fedora Release Engineering <releng@fedoraproject.org> - 0.9.10-33
|
||||
- Rebuilt for https://fedoraproject.org/wiki/Fedora_24_Mass_Rebuild
|
||||
|
||||
* Tue Jul 28 2015 Richard W.M. Jones <rjones@redhat.com> - 0.9.10-32
|
||||
- Bump release and rebuild.
|
||||
|
||||
* Tue Jul 28 2015 Richard W.M. Jones <rjones@redhat.com> - 0.9.10-31
|
||||
- OCaml 4.02.3 rebuild.
|
||||
|
||||
* Tue Jul 21 2015 Richard W.M. Jones <rjones@redhat.com> - 0.9.10-30
|
||||
- Fix bytecode compilation.
|
||||
|
||||
* Wed Jun 24 2015 Richard W.M. Jones <rjones@redhat.com> - 0.9.10-29
|
||||
- ocaml-4.02.2 final rebuild.
|
||||
|
||||
* Wed Jun 17 2015 Richard W.M. Jones <rjones@redhat.com> - 0.9.10-28
|
||||
- ocaml-4.02.2 rebuild.
|
||||
|
||||
* Wed Jun 17 2015 Fedora Release Engineering <rel-eng@lists.fedoraproject.org> - 0.9.10-27
|
||||
- Rebuilt for https://fedoraproject.org/wiki/Fedora_23_Mass_Rebuild
|
||||
|
||||
* Sat May 02 2015 Kalev Lember <kalevlember@gmail.com> - 0.9.10-26
|
||||
- Rebuilt for GCC 5 C++11 ABI change
|
||||
|
||||
* Tue Feb 17 2015 Richard W.M. Jones <rjones@redhat.com> - 0.9.10-25
|
||||
- ocaml-4.02.1 rebuild.
|
||||
|
||||
* Wed Feb 11 2015 Jerry James <loganjerry@gmail.com> - 0.9.10-24
|
||||
- Use license macro
|
||||
|
||||
* Sun Aug 31 2014 Richard W.M. Jones <rjones@redhat.com> - 0.9.10-23
|
||||
- ocaml-4.02.0 final rebuild.
|
||||
|
||||
* Sat Aug 23 2014 Richard W.M. Jones <rjones@redhat.com> - 0.9.10-22
|
||||
- ocaml-4.02.0+rc1 rebuild.
|
||||
|
||||
* Fri Aug 15 2014 Fedora Release Engineering <rel-eng@lists.fedoraproject.org> - 0.9.10-21
|
||||
- Rebuilt for https://fedoraproject.org/wiki/Fedora_21_22_Mass_Rebuild
|
||||
|
||||
* Sat Aug 02 2014 Richard W.M. Jones <rjones@redhat.com> - 0.9.10-20
|
||||
- ocaml-4.02.0-0.8.git10e45753.fc22 rebuild.
|
||||
|
||||
* Mon Jul 21 2014 Jerry James <loganjerry@gmail.com> - 0.9.10-19
|
||||
- OCaml 4.02.0 beta rebuild
|
||||
|
||||
* Fri Jun 27 2014 Jerry James <loganjerry@gmail.com> - 0.9.10-18
|
||||
- Build with -fsigned-char to fix FTBFS on aarch64
|
||||
- Use a better test for installing files into 64-bit libdir
|
||||
|
||||
* Sat Jun 07 2014 Fedora Release Engineering <rel-eng@lists.fedoraproject.org> - 0.9.10-17
|
||||
- Rebuilt for https://fedoraproject.org/wiki/Fedora_21_Mass_Rebuild
|
||||
|
||||
* Wed Apr 30 2014 Jerry James <loganjerry@gmail.com> - 0.9.10-16
|
||||
- Rebuild for ppl 1.1
|
||||
|
||||
* Fri Apr 18 2014 Jerry James <loganjerry@gmail.com> - 0.9.10-15
|
||||
- Ensure GNU extensions are enabled to fix build failure
|
||||
|
||||
* Tue Apr 15 2014 Richard W.M. Jones <rjones@redhat.com> - 0.9.10-15
|
||||
- Remove ocaml_arches macro (RHBZ#1087794).
|
||||
|
||||
* Wed Nov 20 2013 Jerry James <loganjerry@gmail.com> - 0.9.10-14
|
||||
- Add -format-security patch
|
||||
|
||||
* Sat Sep 14 2013 Richard W.M. Jones <rjones@redhat.com> - 0.9.10-13
|
||||
- Rebuild for OCaml 4.01.0.
|
||||
|
||||
* Sat Aug 03 2013 Fedora Release Engineering <rel-eng@lists.fedoraproject.org> - 0.9.10-12
|
||||
- Rebuilt for https://fedoraproject.org/wiki/Fedora_20_Mass_Rebuild
|
||||
|
||||
* Thu Feb 14 2013 Jerry James <loganjerry@gmail.com> - 0.9.10-11
|
||||
- Add -ppl1 patch to adapt to PPL 1.0 + GMP 5.1.0
|
||||
- Update -mlgmpidl12 patch to fix more problems
|
||||
|
||||
* Wed Feb 13 2013 Fedora Release Engineering <rel-eng@lists.fedoraproject.org> - 0.9.10-11
|
||||
- Rebuilt for https://fedoraproject.org/wiki/Fedora_19_Mass_Rebuild
|
||||
|
||||
* Fri Nov 30 2012 Tom Callaway <spot@fedoraproject.org> - 0.9.10-10
|
||||
- rebuild for ppl
|
||||
|
||||
* Wed Oct 17 2012 Jerry James <loganjerry@gmail.com> - 0.9.10-9
|
||||
- Rebuild for OCaml 4.00.1
|
||||
|
||||
* Wed Jul 18 2012 Fedora Release Engineering <rel-eng@lists.fedoraproject.org> - 0.9.10-8
|
||||
- Rebuilt for https://fedoraproject.org/wiki/Fedora_18_Mass_Rebuild
|
||||
|
||||
* Sat Jun 9 2012 Jerry James <loganjerry@gmail.com> - 0.9.10-7
|
||||
- Rebuild for OCaml 4.00.0
|
||||
|
||||
* Wed May 9 2012 Jerry James <loganjerry@gmail.com> - 0.9.10-6
|
||||
- Rebuild for new ocaml-mlgmpidl
|
||||
|
||||
* Fri Jan 6 2012 Jerry James <loganjerry@gmail.com> - 0.9.10-5
|
||||
- Rebuild for GCC 4.7 and Ocaml 3.12.1
|
||||
|
||||
* Tue Nov 8 2011 Jerry James <loganjerry@gmail.com> - 0.9.10-4
|
||||
- -devel also needs ocaml-camlidl-devel
|
||||
- Pass --as-needed to the linker to fix unused shared library dependencies
|
||||
|
||||
* Fri Nov 4 2011 Jerry James <loganjerry@gmail.com> - 0.9.10-3
|
||||
- Comment on license situation
|
||||
- Drop debug libraries altogether
|
||||
|
||||
* Wed Aug 24 2011 Jerry James <loganjerry@gmail.com> - 0.9.10-2
|
||||
- Correct license
|
||||
- Build C and C++ interfaces even when the ocaml interface cannot be built
|
||||
- Move debug libraries to separate packages
|
||||
|
||||
* Fri Jul 8 2011 Jerry James <loganjerry@gmail.com> - 0.9.10-1
|
||||
- Initial RPM
|
||||
2
sources
2
sources
@ -1 +1 @@
|
||||
SHA512 (apron-0.9.12.tar.gz) = c5c8c05f7bf04ecd2fb71c023a7a2537a366fcc68286f8319481b8274aa9c4bbd1883113ce10e5073232357cf0bbeb433e51339d504d14d656eccede98459742
|
||||
SHA512 (apron-0.9.15.tar.gz) = c96dc5904c4126f84b01ed0d5a8f38e2c4b9653fa714e3c77fc305d7b8cf8e239eb9a6838dcdc015b2722cbf38f378e5d07122d4c7c5a62f27137992f35a665d
|
||||
|
||||
Loading…
Reference in New Issue
Block a user