diff Resources/debian-stable-internal.sh @ 34:eb09eb1251b9

sync
author Sebastien Jodogne <s.jodogne@gmail.com>
date Wed, 01 Jul 2020 16:46:13 +0200
parents 340f02ddaabf
children
line wrap: on
line diff
--- a/Resources/debian-stable-internal.sh	Tue Jun 30 09:29:50 2020 +0200
+++ b/Resources/debian-stable-internal.sh	Wed Jul 01 16:46:13 2020 +0200
@@ -13,7 +13,7 @@
 
 # Static build using the root user
 apt-get update
-apt-get install -y cmake build-essential unzip
+apt-get install -y cmake build-essential unzip mercurial
 
 mkdir /tmp/build
 cd /tmp/build
@@ -22,7 +22,6 @@
 cmake /tmp/source-writeable \
     -DCMAKE_BUILD_TYPE=${BUILD_TYPE} \
     -DSTATIC_BUILD=ON \
-    -DORTHANC_FRAMEWORK_SOURCE=web \
     -DCMAKE_INSTALL_PREFIX=/target 
 
 make -j`nproc`