Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Add Arb and Flint packages #232

Merged
merged 5 commits into from
Apr 23, 2014
Merged

Add Arb and Flint packages #232

Show file tree
Hide file tree
Changes from all commits
Commits
Show all changes
5 commits
Select commit Hold shift + click to select a range
a930dd2
Add Arb library
certik Apr 23, 2014
34c16cb
Add the flint package
certik Apr 23, 2014
a3b6759
Add Flint as a dependency to Arb
certik Apr 23, 2014
d7a2eac
Arb: fix the rpaths in the .so library
certik Apr 23, 2014
51b66a8
Flint: fix the rpaths in the .so library
certik Apr 23, 2014
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
24 changes: 24 additions & 0 deletions pkgs/arb.yaml
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -0,0 +1,24 @@
extends: [autotools_package]
when platform == 'linux':
dependencies:
build: [patchelf, gmp, mpfr, flint]
when platform != 'linux':
dependencies:
build: [gmp, mpfr, flint]

sources:
- url: https://github.com/fredrik-johansson/arb.git
key: git:7c6b3fb932cacabc9fa42704e134fcaf8ac0bca4

build_stages:
- name: configure
mode: override
extra: ['--with-gmp=${GMP_DIR}', '--with-mpfr=${MPFR_DIR}',
'--with-flint=${FLINT_DIR}']

- name: rpath_fix
after: install
handler: bash
when platform == 'linux':
bash: |
${PATCHELF} --set-rpath ${GMP_DIR}/lib:${MPFR_DIR}/lib:${FLINT_DIR}/lib ${ARTIFACT}/lib/libarb.so
23 changes: 23 additions & 0 deletions pkgs/flint.yaml
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -0,0 +1,23 @@
extends: [autotools_package]
when platform == 'linux':
dependencies:
build: [patchelf, gmp, mpfr]
when platform != 'linux':
dependencies:
build: [gmp, mpfr]

sources:
- url: https://github.com/fredrik-johansson/flint2.git
key: git:b2a81eb7ee03bbffa28900f8de08bf4f7b248418

build_stages:
- name: configure
mode: override
extra: ['--with-gmp=${GMP_DIR}', '--with-mpfr=${MPFR_DIR}']

- name: rpath_fix
after: install
handler: bash
when platform == 'linux':
bash: |
${PATCHELF} --set-rpath ${GMP_DIR}/lib:${MPFR_DIR}/lib ${ARTIFACT}/lib/libflint.so