diff --git a/src/scripts/mknemo.d/falcON2 b/src/scripts/mknemo.d/falcON2 index 0fbb635cf..541c8bbbd 100755 --- a/src/scripts/mknemo.d/falcON2 +++ b/src/scripts/mknemo.d/falcON2 @@ -9,6 +9,7 @@ url=git@bitbucket.org:peter_teuben/falcon.git # during development dir=falcon2 branch=master branch=autoconf # during development +cgal=0 echo "falcON2: using url=$url and git branch=$branch" @@ -34,6 +35,18 @@ fi ./configure source falcon_start.sh +# if a local version is needed +if [ $cgal = 1 ]; then + v=5.6.2 + wget https://github.com/CGAL/cgal/releases/download/v${v}/CGAL-${v}.tar.xz + tar xf CGAL-${v}.tar.xz + cd CGAL-${v} + mkdir build + cd build + cmake -DCMAKE_BUILD_TYPE=Release -DCMAKE_INSTALL_PREFIX=$FALCON .. + make install +fi + make -C utils2 inc/cachesize.h make -C h5pp