update gitlab ci
authorTobias Platen <tplaten@posteo.de>
Mon, 12 Oct 2020 20:00:40 +0000 (20:00 +0000)
committerTobias Platen <tplaten@posteo.de>
Mon, 12 Oct 2020 20:00:40 +0000 (20:00 +0000)
.gitlab-ci.yml

index 7bb6b29a64fbe3fe431b7a0981fbea7ed98dea04..de5914acbfaf70c4e53f41b01726c67565c44f20 100644 (file)
@@ -21,7 +21,7 @@ build:
             python3-setuptools python3-wheel pkg-config tcl-dev
             libreadline-dev bison flex libffi-dev ccache python3-venv
             binutils-powerpc64-linux-gnu binutils-powerpc64le-linux-gnu
-            autoconf gperf libgmp-dev libmpfr-dev
+            autoconf gperf libgmp-dev libmpfr-dev libssl-dev
         - export PATH="/usr/lib/ccache:$PATH"
         - export CCACHE_BASEDIR="$PWD"
         - export CCACHE_DIR="$PWD/ccache"
@@ -67,7 +67,7 @@ build:
         - python setup.py develop
         - popd
 
-        - git clone --depth 1 https://github.com/nmigen/nmigen-soc.git nmigen-soc
+        - git clone --depth 1 git://git.libre-riscv.org/nmigen-soc.git nmigen-soc
         - pushd nmigen-soc
         - python setup.py develop
         - popd