opam init with --disable-sandboxing for travis/docker because opam's …

…bwrap can't create namespace in docker see ocaml/opam#3498 and ocaml/opam#3424
goblint · Jun 18, 2019 · 336e979 · 336e979
1 parent 7150012
commit 336e979
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 2 deletions.
diff --git a/make.sh b/make.sh
@@ -16,7 +16,7 @@ ocb() {
 
 opam_setup() {
   set -x
-  opam init -y -a --bare
+  opam init -y -a --bare $SANDBOXING # sandboxing is disabled in travis and docker
   opam switch -y create ./ --deps-only 4.07.1
   # opam install camlp4 mongo # camlp4 needed for mongo
 }

diff --git a/scripts/travis-ci.sh b/scripts/travis-ci.sh
@@ -40,7 +40,7 @@ else
 fi
 
 # install dependencies
-./make.sh setup
+SANDBOXING=--disable-sandboxing ./make.sh setup
 eval `opam config env`
 # compile
 ./make.sh nat