this repo has no description
anil.recoil.org
1opam-version: "2.0"
2maintainer: "7895506+MSoegtropIMC@users.noreply.github.com"
3authors: [
4 "Cyril Bouvier"
5 "David Cleaver"
6 "Pierrick Gaudry"
7 "Brian Gladman"
8 "Jim Fougeron"
9 "Laurent Fousse"
10 "Alexander Kruppa"
11 "Francois Morain"
12 "Dave Newman"
13 "Jason S. Papadopoulos"
14 "Paul Zimmermann"
15]
16homepage: "https://gitlab.inria.fr/zimmerma/ecm"
17license: ["GPL-3.0" "LGPL-3.0"]
18dev-repo: "git+https://gitlab.inria.fr/zimmerma/ecm.git"
19bug-reports: "https://gitlab.inria.fr/zimmerma/ecm/-/issues"
20build: [
21 [ "autoreconf" "-i" "-s" ]
22 [ "./configure" "--prefix" prefix
23 # Options for macOS+MacPorts
24 "CPPFLAGS=-I/opt/local/include" { os-distribution = "macports" & os = "macos" }
25 "LDFLAGS=-L/opt/local/lib" { os-distribution = "macports" & os = "macos" }
26 # Options for macOS+homebrew on Apple silicon (Intel silicon doesn't need options)
27 "CPPFLAGS=-I/opt/homebrew/include" { os-distribution = "homebrew" & os = "macos" & arch = "arm64"}
28 "LDFLAGS=-L/opt/homebrew/lib" { os-distribution = "homebrew" & os = "macos" & arch = "arm64"}
29 # Options for Windows MinGW with cygwin build host
30 "--build=%{arch}%-pc-cygwin" { os = "win32" & os-distribution = "cygwinports" }
31 "--host=%{arch}%-w64-mingw32" { os = "win32" & os-distribution = "cygwinports" }
32 "--target=%{arch}%-w64-mingw32" { os = "win32" & os-distribution = "cygwinports" }
33 "--disable-static" { os = "win32" & os-distribution = "cygwinports" }
34 "--enable-shared" { os = "win32" & os-distribution = "cygwinports" }
35 ]
36 [ make "-j" "%{jobs}%" ]
37]
38install: [
39 [ make "install" ]
40]
41depends: [
42 "conf-gmp"
43 "conf-g++" {build}
44 "conf-autoconf" {build}
45 "conf-automake" {build}
46 "conf-libtool" {build}
47]
48synopsis: "GMP-ECM library for the Elliptic Curve Method (ECM) for integer factorization"
49url {
50 src: "https://gitlab.inria.fr/zimmerma/ecm/-/archive/git-7.0.3/ecm-git-7.0.3.tar.gz"
51 checksum: "sha512=106288d764f31e9a8f87efc5a4449b1942b7fd7d81c7a4e2e2367edcf8b35db315da8b4d32cebec618a19d78cfe3330f0e724f1f9cef5231886888c730370f37"
52}