This repository was archived by the owner on May 20, 2024. It is now read-only.

Description
I use the devcontainer 1.0.14 to build the plutus starter.
Here are my commands to create the container and to do the cabal build :
docker run -u root --name plutusdev -ti inputoutput/plutus-starter-devcontainer:v1.0.14
...
mkdir /root
touch /root/.gitconfig
git config --global http.proxy http://my-company-proxy:8080
git config --global https.proxy http://my-company-proxy:8080
cd /root
git clone https://github.com/input-output-hk/plutus-starter.git
mv /home/plutus/.cabal /root
mv /home/plutus/.bashrc /root
bash
export http_proxy=http://my-company-proxy:8080/
export https_proxy=http://my-company-proxy:8080/
cd plutus-starter
cabal update
cabal build
The build fails when building the playground-common-0.1.0.0 :
plutusdev-error.txt
Next I tried with the devcontainer 1.0.15 and the build fails when linking happy :
plutusdev1.0.15-error.txt