(no commit message)

diff --git a/HDL_workflow/coriolis2.mdwn b/HDL_workflow/coriolis2.mdwn
index 6c7b593a65f21341cefa4822f1bade7536ee29b2..b447c544e6a43b3fedbbb7189a5a6cc23b6efab6 100644 (file)
--- a/HDL_workflow/coriolis2.mdwn
+++ b/HDL_workflow/coriolis2.mdwn
@@ -157,6 +157,27 @@ In the chroot, as the ordinary schroot user:
     cd ~/alliance
     git clone https://www-soc.lip6.fr/git/alliance.git
     cd alliance/src
+
+Modify the following file (may not be necessary later):
+
+    diff --git a/alliance/src/pat/src/pat_desc_y.y b/alliance/src/pat/src/pat_desc_y.y
+    index 14720dbc..5390d2a4 100644
+    --- a/alliance/src/pat/src/pat_desc_y.y
+    +++ b/alliance/src/pat/src/pat_desc_y.y
+    @@ -85,8 +85,8 @@ unsigned short  position; /* # of statement since last comment    */
+     static struct papat *lcl_addpapat (lastpapat, label, line)
+
+     struct papat   *lastpapat; /* pointer on the last papat structure  */
+    -char           *label;     /* pattern's label          */
+    -unsigned short  line;      /* pattern' line number         */
+    +char           *label;
+    +unsigned short  line;
+
+       {
+       struct papat *ptpat;
+
+Continue running as user:
+
     ./autostuff
     cd ~/alliance/build
     export ALLIANCE_TOP=$HOME/alliance/install