From: lkcl <lkcl@web>
Date: Mon, 10 Feb 2020 16:30:50 +0000 (+0000)
Subject: (no commit message)
X-Git-Tag: convert-csv-opcode-to-binary~3477
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=7efddc0d418c963bc8fc010997e833fafbc9b796;p=libreriscv.git

---

diff --git a/HDL_workflow/coriolis2.mdwn b/HDL_workflow/coriolis2.mdwn
index d363e367f..94912b2b6 100644
--- a/HDL_workflow/coriolis2.mdwn
+++ b/HDL_workflow/coriolis2.mdwn
@@ -131,6 +131,25 @@ The following window will appear
 
 click on the chicken several times
 
+## check out alliance and alliance-check-toolkit
+
+in the schroot:
+
+    git clone https://gitlab.lip6.fr/jpc/alliance-check-toolkit.git
+
+TODO: document how to build alliance, basically this:
+
+    mkdir -p alliance/build alliance/install
+    cd ~/alliance
+    git clone https://www-soc.lip6.fr/git/alliance.git
+    cd alliance/src
+    ./autostuff
+    cd ~/alliance/build
+    export ALLIANCE_TOP=$HOME/alliance/install
+    export LD_LIBRARY_PATH=${ALLIANCE_TOP}/lib:${LD_LIBRARY_PATH}
+    ../alliance/src/configure --prefix=$ALLIANCE_TOP --enable-alc-shared
+    make -j1 install
+
 # Tutorials and checks
 
 * <https://gitlab.com/Chips4Makers/alliance-check-toolkit>