diff options
Diffstat (limited to 'devel/why/BUILD')
| -rwxr-xr-x | devel/why/BUILD | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/devel/why/BUILD b/devel/why/BUILD new file mode 100755 index 0000000000..ddc4d7eb6c --- /dev/null +++ b/devel/why/BUILD @@ -0,0 +1,5 @@ +CAML_LD_LIBRARY_PATH=${INSTALL_ROOT}/usr/lib/coq LDFLAGS+=" -Wl,-z,defs" \ + default_build_configure && +make_single && +default_build_make && +make_normal |