Skip to content

Commit 8e5f4ca

Browse files
committed
Update Piranha
Changes: * Use the latest version * Use the Release mode * Skip building tests (those are not installed anyway, so it is just a waste of time to build them)
1 parent 592cd33 commit 8e5f4ca

1 file changed

Lines changed: 5 additions & 3 deletions

File tree

pkgs/piranha.yaml

Lines changed: 5 additions & 3 deletions
Original file line numberDiff line numberDiff line change
@@ -4,12 +4,14 @@ dependencies:
44
run: [boost, gmp, mpfr]
55

66
sources:
7-
- url: https://github.com/bluescarni/piranha.git
8-
key: git:a871a25e79516bf4ee32064ea25fabbc85f386e0
7+
- key: git:4c4f9c841bb17648dbe040aab766cb53d173afda
8+
url: https://github.com/bluescarni/piranha.git
99

1010
build_stages:
1111
- name: configure
12-
extra: ['-D BOOST_ROOT=$BOOST_DIR',
12+
extra: ['-D CMAKE_BUILD_TYPE=Release',
13+
'-D BUILD_TESTS=OFF',
14+
'-D BOOST_ROOT=$BOOST_DIR',
1315
'-D GMP_INCLUDE_DIR=$GMP_DIR/include',
1416
'-D GMP_LIBRARIES=$GMP_DIR/lib/libgmp.so',
1517
'-D MPFR_INCLUDE_DIR=$MPFR_DIR/include',

0 commit comments

Comments
 (0)