mirror of
https://github.com/ivabus/pantry
synced 2024-11-27 02:35:08 +03:00
37 lines
627 B
YAML
37 lines
627 B
YAML
|
distributable:
|
||
|
|
url: https://libisl.sourceforge.io/isl-{{version.raw}}.tar.xz
|
||
|
|
strip-components: 1
|
||
|
|
|
||
|
|
versions:
|
||
|
|
- 0.26
|
||
|
|
|
||
|
|
dependencies:
|
||
|
|
gnu.org/gmp: ^6
|
||
|
|
|
||
|
|
build:
|
||
|
|
dependencies:
|
||
|
|
tea.xyz/gx/cc: c99
|
||
|
|
tea.xyz/gx/make: '*'
|
||
|
|
script: |
|
||
|
|
./configure $ARGS
|
||
|
|
make --jobs {{ hw.concurrency }} install
|
||
|
|
env:
|
||
|
|
ARGS:
|
||
|
|
- --prefix="{{prefix}}"
|
||
|
|
- --with-gmp=system",
|
||
|
|
|
||
|
|
test:
|
||
|
|
dependencies:
|
||
|
|
tea.xyz/gx/cc: c99
|
||
|
|
fixture: |
|
||
|
|
#include <isl/ctx.h>
|
||
|
|
int main() {
|
||
|
|
isl_ctx* ctx = isl_ctx_alloc();
|
||
|
|
isl_ctx_free(ctx);
|
||
|
|
return 0;
|
||
|
|
}
|
||
|
|
script: |
|
||
|
|
mv $FIXTURE b.c
|
||
|
|
cc b.c -lisl
|
||
|
|
./a.out
|