Commit 7d3c6c3c authored by Camil Staps's avatar Camil Staps 🍃

Temporarily use cloogle branch of clean-platform which does not suffer from...

Temporarily use cloogle branch of clean-platform which does not suffer from clean-compiler-and-rts/compiler#4
parent b8f6e757
Pipeline #17198 passed with stage
in 15 minutes and 13 seconds
#!/bin/bash
set -ev
PATCHCLEANBUILD="sed -i 's:clean-compiler-and-rts compiler itask:cstaps compiler master:' clean-base/linux-x64/git-sources.txt; sed -i 's:compiler-itask:compiler-master:' clean-base/linux-x64/build.sh" \
install_clean.sh 'base lib-platform lib-tcpip' 2018-12-14
PATCHCLEANBUILD="sed -i 's:clean-compiler-and-rts compiler itask:cstaps compiler master:' clean-base/linux-x64/git-sources.txt; sed -i 's:compiler-itask:compiler-master:' clean-base/linux-x64/build.sh; sed -i 's:master:cloogle:' clean-lib-platform/linux-x64/git-sources.txt; sed -i 's:platform-master:platform-cloogle:' clean-lib-platform/linux-x64/build.sh" install_clean.sh 'base lib-platform lib-tcpip' 2018-12-15
PACKAGES="patch jq unzip z3"
apt-get update -qq
......
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment