this repo has no description
Merge pull request #27739 from MSoegtropIMC/reenable_gappa.1.3.5
Reenable gappa.1.3.5 (the source URL changed and the package got deleted)
authored by
Marcello Seri
and committed by
GitHub
62cfecca
4592800a
+62
+62
packages/gappa/gappa.1.3.5/opam
+62
packages/gappa/gappa.1.3.5/opam
···
1
+
opam-version: "2.0"
2
+
maintainer: "7895506+MSoegtropIMC@users.noreply.github.com"
3
+
authors: "Guillaume Melquiond"
4
+
bug-reports: "https://gitlab.inria.fr/gappa/gappa/-/issues"
5
+
homepage: "https://gitlab.inria.fr/gappa/gappa"
6
+
dev-repo: "git+https://gitlab.inria.fr/gappa/gappa.git"
7
+
license: "CeCILL"
8
+
patches: [
9
+
"remake.patch"
10
+
"0001-Added-configure-for-c-11.patch"
11
+
]
12
+
build: [
13
+
[ "autoreconf" ]
14
+
# Note: configure.in seems to reference this file
15
+
[ "touch" "stamp-config_h.in" ]
16
+
[ "./configure"
17
+
# If someone knows how to ask MacPorts for the usual include and lib path, please tell me
18
+
"CXXFLAGS=-I/opt/local/include" { os-distribution = "macports" & os = "macos" }
19
+
"LDFLAGS=-L/opt/local/lib" { os-distribution = "macports" & os = "macos" }
20
+
# Support installing on Apple Silicon with Homebrew
21
+
"CXXFLAGS=-I/opt/homebrew/include" { os-distribution = "homebrew" & os = "macos" & arch = "arm64"}
22
+
"LDFLAGS=-L/opt/homebrew/lib" { os-distribution = "homebrew" & os = "macos" & arch = "arm64"}
23
+
"--build=%{arch}%-pc-cygwin" { os = "win32" & os-distribution = "cygwinports" }
24
+
"--host=%{arch}%-w64-mingw32" { os = "win32" & os-distribution = "cygwinports" }
25
+
"--target=%{arch}%-w64-mingw32" { os = "win32" & os-distribution = "cygwinports" }
26
+
"--prefix=%{prefix}%"
27
+
]
28
+
[ "./remake" "--jobs=%{jobs}%" ]
29
+
]
30
+
install: [ "./remake" "-d" "install" ]
31
+
depends: [
32
+
"conf-g++" {build}
33
+
"conf-autoconf" {build}
34
+
"conf-automake" {build}
35
+
"conf-gmp"
36
+
"conf-mpfr"
37
+
"conf-boost"
38
+
"conf-bison" {build}
39
+
"conf-flex" {build}
40
+
]
41
+
available: arch != "x86_32"
42
+
synopsis: "Tool intended for formally proving properties on numerical programs dealing with floating-point or fixed-point arithmetic"
43
+
url {
44
+
src: "https://gappa.gitlabpages.inria.fr/releases/gappa-1.3.5.tar.gz"
45
+
checksum: "sha512=60b5719e3a321df43e33045fa8f4511fc02a4218d1ae7e476e7c6ebcf90ae208832881f6eea5b99a3296dfcc3a18c7e1f4ea9dbea446fc502e14306b6975f6e6"
46
+
}
47
+
extra-source "remake.patch" {
48
+
src:
49
+
"https://raw.githubusercontent.com/ocaml/opam-source-archives/main/patches/gappa/remake.patch"
50
+
checksum: [
51
+
"sha256=365967b9cd294d485302b6c14a072ac06d3238bfeb313eaae07159a8542fc5ff"
52
+
"md5=d66b718118ae5bf61c661905f6f0db96"
53
+
]
54
+
}
55
+
extra-source "0001-Added-configure-for-c-11.patch" {
56
+
src:
57
+
"https://raw.githubusercontent.com/ocaml/opam-source-archives/main/patches/gappa/0001-Added-configure-for-c-11.patch"
58
+
checksum: [
59
+
"sha256=5d9ff1e6461834c2d3d6c4cb1f9dd7424a4a681b40cab19a6fbbe0ff8d50284e"
60
+
"md5=b6a6dbe9a12feae79eab038864208a3c"
61
+
]
62
+
}