minor fixes

verus-lang · Aug 20, 2024 · cb5452d · cb5452d
1 parent 6e9f968
commit cb5452d
Show file tree

Hide file tree

Showing 3 changed files with 3 additions and 10 deletions.
diff --git a/macro-stats/util/entry-dafny.sh b/macro-stats/util/entry-dafny.sh
@@ -1,8 +1,4 @@
 
-# apt-get update && \
-#     apt-get install -y curl git build-essential unzip wget gcc-multilib python3 libicu-dev libgomp1 && \
-#     curl --proto '=https' --tlsv1.2 --retry 10 --retry-connrefused -fsSL "https://sh.rustup.rs" | sh -s -- --default-toolchain none -y
-
 source "$HOME/.cargo/env"
 
 bash dafny.sh results
diff --git a/macro-stats/util/entry-verus.sh b/macro-stats/util/entry-verus.sh
@@ -1,9 +1,4 @@
 
-# apt-get update && \
-#     apt-get install -y curl git build-essential unzip wget gcc-multilib python3 && \
-#     curl --proto '=https' --tlsv1.2 --retry 10 --retry-connrefused -fsSL "https://sh.rustup.rs" | sh -s -- --default-toolchain none -y
-#
-
 apt-get update && \
     apt-get install -y singular \
     libpmem1 libpmemlog1 libpmem-dev libpmemlog-dev llvm-dev clang libclang-dev # verified-storage

diff --git a/setup/perf-build-verus-in-container.sh b/setup/perf-build-verus-in-container.sh
@@ -1,5 +1,7 @@
 
+source "$HOME/.cargo/env"
+
 cd verus/source
 
 . ../bin/activate
-vargo build --release
+vargo build --release --features singular