Skip to content
Permalink
Fetching contributors…
Cannot retrieve contributors at this time
31 lines (29 sloc) 963 Bytes
opam-version: "2.0"
maintainer: "Martin Lucina <martin@lucina.net>"
homepage: "https://gmplib.org/"
license: "GNU LGPL v3 and GNU GPL v2"
authors: "Torbjörn Granlund and contributors"
bug-reports: "mirageos-devel@lists.xenproject.org"
build: ["sh" "-ex" "./mirage-build.sh"]
install: ["sh" "-ex" "./mirage-install.sh"]
remove: [
"rm" "-rf"
"%{prefix}%/lib/pkgconfig/gmp-freestanding.pc"
"%{prefix}%/lib/gmp-freestanding"
]
depends: [
"ocaml"
"ocaml-freestanding" {>= "0.4.1"}
]
synopsis: "The GNU Multiple Precision Arithmetic Library"
description: "Freestanding build of GNU GMP."
flags: light-uninstall
extra-files: [
["mirage-install.sh" "md5=aca9a1c985326f95daa51aedef55b318"]
["mirage-build.sh" "md5=c4b411f29867c13595470011d3b77f6c"]
["gmp-freestanding.pc" "md5=391473dd7c6957fed3e9e485e456fb6c"]
]
url {
src: "https://gmplib.org/download/gmp/gmp-6.1.2.tar.xz"
checksum: "md5=f58fa8001d60c4c77595fbbb62b63c1d"
}
You can’t perform that action at this time.