snailed
/
void-packages
2
0
Fork 0
Code Issues 1 Pull Requests 1 Actions Activity

z3: disable ocaml when cross-compiling.

This commit is contained in:
Leah Neukirchen 2018-01-16 17:02:37 +01:00
parent c6be82c2eb
commit 891a59f36b
1 changed files with 4 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
srcpkgs/z3/template
View File

@ -19,6 +19,10 @@ build_options_default="ocaml"
shlib_provides="libz3.so"
subpackages="$(vopt_if ocaml z3-ocaml)"
if [ "$CROSS_BUILD" ]; then
build_options_default=
fi
do_configure() {
LDFLAGS="$CFLAGS $LDFLAGS" ./configure --prefix=/usr -g $(vopt_if ocaml --ml)
}