diff --git a/AUTHORS b/AUTHORS new file mode 100644 index 0000000..5114142 --- /dev/null +++ b/AUTHORS @@ -0,0 +1,4 @@ +2020, Daniel Swanson +2020, Tino Didriksen +2015-2019, Kevin Brubeck Unhammer +2017, Sushain Cherivirala diff --git a/autogen.sh b/autogen.sh new file mode 120000 index 0000000..d400e9f --- /dev/null +++ b/autogen.sh @@ -0,0 +1 @@ +cmake.sh \ No newline at end of file diff --git a/cmake.sh b/cmake.sh new file mode 100755 index 0000000..17de58c --- /dev/null +++ b/cmake.sh @@ -0,0 +1,31 @@ +#!/usr/bin/env bash +set -e +args=() + +while [[ $# > 0 ]]; +do + case "$1" in + --prefix) + args+=("-DCMAKE_INSTALL_PREFIX=$2") + shift 2 + ;; + --prefix=*) + args+=("-DCMAKE_INSTALL_PREFIX=${1#*=}") + shift + ;; + *) + args+=("$1") + shift + ;; + esac +done + +set -- "${args[@]}" + +D=$(dirname "$0") + +echo "- rm -rf CMake caches" +rm -rf install_manifest.txt CMakeCache.txt *.cmake CMakeFiles [sp]*/CMakeFiles [sp]*/*.cmake _CPack_Packages Testing test/T_*/grammar.cg3b +echo "- cmake " "$@" "$D" +cmake "$@" "$D" +echo "- You may now perform: make -j3" diff --git a/configure b/configure new file mode 120000 index 0000000..d400e9f --- /dev/null +++ b/configure @@ -0,0 +1 @@ +cmake.sh \ No newline at end of file