add cocotb to gitlab-ci

diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml
index c6c38943cabb9e1f5c88eaa22a8dc1b8ef21560f..013521677540cd7b03fa2c314749408fa269706d 100644 (file)
--- a/.gitlab-ci.yml
+++ b/.gitlab-ci.yml
@@ -84,6 +84,11 @@ build:
         - make install
         - popd
 
+        - git clone --depth 1 -b v1.5.2 https://github.com/cocotb/cocotb.git cocotb
+        - pushd cocotb
+        - python3 setup.py install
+        - popd
+
         - git clone --depth 1 https://gitlab.com/nmigen/nmigen.git nmigen
         - pushd nmigen
         - git rev-parse HEAD