diff options
Diffstat (limited to 'makepkg.sh')
| -rwxr-xr-x | makepkg.sh | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/makepkg.sh b/makepkg.sh new file mode 100755 index 000000000000..3d54aff8321f --- /dev/null +++ b/makepkg.sh @@ -0,0 +1,5 @@ +#!/bin/bash + +### This script is for reference purposes. It can be used to build the package. It is NOT called by the PKGBUILD. It just lays around here for reference. + +_BUILD_DOC=yes _PLAUT04_WITH_QT=no _WITH_PLAUT04=yes _AUTO_DEBUG=yes _WITH_MPI=no _WITH_OPENMP=no makepkg "$@" |