diff --git a/Makefile b/Makefile index 38a1e79bb..00a9703ca 100644 --- a/Makefile +++ b/Makefile @@ -35,13 +35,13 @@ default: release APT_REQUIREMENTS= autoconf bison build-essential ca-certificates ccache cmake cron curl dnsutils gawk \ git lcov libcurl4-openssl-dev libev-dev libgmp-dev libpcre3-dev libssl-dev libtool \ libxml2-utils ninja-build nload ocaml ocl-icd-opencl-dev opam openssh-client patchelf pkg-config \ - rsync rsyslog tar unzip vim wget zip zlib1g-dev ocaml-dune + rsync rsyslog tar unzip vim wget zip zlib1g-dev ocaml-dune install-from-apt: - apt-get update -y - apt-get install -y software-properties-common - apt-get update - apt-get install -y --no-install-recommends $(APT_REQUIREMENTS) + sudo apt-get update -y + sudo apt-get install -y software-properties-common + sudo apt-get update + sudo apt-get install -y --no-install-recommends $(APT_REQUIREMENTS) # Build one library and one standalone executable that implements diff --git a/README.md b/README.md index d30672002..07201108e 100644 --- a/README.md +++ b/README.md @@ -36,7 +36,6 @@ You'll need to install `vcpkg` and set `VCPKG_ROOT` to the root of your `vcpkg` ```sh export VCPKG_ROOT=/my/directory/vcpkg export SCILLA_REPO_ROOT=/where/you/checked/out/scilla -apt install libgmp-dev patchelf ``` Now install the opam dependencies: @@ -48,7 +47,7 @@ eval $(opam env) Now install packages and try to build the first time: -```shl +```sh make ``` @@ -69,10 +68,12 @@ sed -i '1s;^;#include \n;' vcpkg_installed/x64-linux-dynamic/include/Sn And you may well need to: ``` +make touch scilla/_build/default/vcpkg-ocaml/vcpkg-secp256k1/src/c_flags.exp +make opamdep ``` -And retry to persuade `secp256k1` to rebuild. +A few times to persuade `secp256k1` to build. Now build again: