package An official xmake package repository
https://xrepo.xmake.io/
You can not select more than 25 topics
Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.
30 lines
1.3 KiB
30 lines
1.3 KiB
package("libisl") |
|
|
|
set_homepage("http://isl.gforge.inria.fr/") |
|
set_description("Integer Set Library") |
|
|
|
set_urls("https://github.com/xmake-mirror/isl/archive/refs/tags/isl-$(version).tar.gz", |
|
"git@github.com:xmake-mirror/isl.git") |
|
add_versions("0.24", "63eda93f0a79d812a5f051fa57279b8216f32a68204a1a81caa212a392887b7f") |
|
add_versions("0.23", "d9fc290a330227c77fc7f58e4532064b946b55027cd1513b48be62f402361d79") |
|
add_versions("0.22", "f9785afcd207683ff1822d79f04cf879e350d55dc75658513642e23bcf42886d") |
|
|
|
add_deps("autoconf", "automake", "libtool", "gmp") |
|
|
|
on_install("linux", "macosx", function (package) |
|
local configs = {} |
|
table.insert(configs, "--enable-shared=" .. (package:config("shared") and "yes" or "no")) |
|
table.insert(configs, "--enable-static=" .. (package:config("shared") and "no" or "yes")) |
|
if package:debug() then |
|
table.insert(configs, "--enable-debug") |
|
end |
|
if package:config("pic") ~= false then |
|
table.insert(configs, "--with-pic") |
|
end |
|
table.insert(configs, "--with-gmp-prefix=" .. package:dep("gmp"):installdir()) |
|
import("package.tools.autoconf").install(package, configs) |
|
end) |
|
|
|
on_test(function (package) |
|
assert(package:has_cfuncs("isl_version", {includes = "isl/version.h"})) |
|
end)
|
|
|