diff options
Diffstat (limited to '.cirrus')
| -rw-r--r-- | .cirrus/Dockerfile.ubuntu16.04 | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/.cirrus/Dockerfile.ubuntu16.04 b/.cirrus/Dockerfile.ubuntu16.04 index 2dd5b360..d98bb014 100644 --- a/.cirrus/Dockerfile.ubuntu16.04 +++ b/.cirrus/Dockerfile.ubuntu16.04 @@ -26,9 +26,9 @@ RUN set -e -x ;\ RUN set -e -x ;\ mkdir -p /usr/local/src ;\ cd /usr/local/src ;\ - git clone --recursive https://github.com/cliffordwolf/icestorm.git ;\ + git clone --recursive https://github.com/YosysHQ/icestorm.git ;\ cd icestorm ;\ - git reset --hard 3a2bfee5cbc0558641668114260d3f644d6b7c83 ;\ + git reset --hard 4bc68c9620e6be20f8fe10d20f84681d80beac23 ;\ make -j $(nproc) ;\ make install @@ -47,7 +47,7 @@ RUN set -e -x ;\ cd /usr/local/src ;\ git clone --recursive https://github.com/YosysHQ/prjtrellis.git ;\ cd prjtrellis ;\ - git reset --hard 668ce3492cbe1566c61760f06bdf676f6fb265c3 ;\ + git reset --hard f93243b000c52b755c70829768d2ae6bcf7bb91a ;\ cd libtrellis ;\ cmake . ;\ make -j $(nproc) ;\ |