5 First set up an schroot debootstrap jail with debian 9.0.
6 Follow these instructions taken from here:
7 <https://www.debian.org/releases/stretch/amd64/apds03.html.en>
9 In advance, edit /etc/fstab and add mount points: personally I prefer using
12 /dev /home/chroot/coriolis/dev none bind 0 0
13 /dev/pts /home/chroot/coriolis/dev/pts none bind 0 0
14 /proc /home/chroot/coriolis/proc none bind 0 0
15 /sys /home/chroot/coriolis/sys none bind 0 0
16 /tmp /home/chroot/coriolis/tmp none bind 0 0
18 Then run these commands:
21 apt-get install debootstrap schroot
22 mkdir /opt/chroot/coriolis
23 /usr/sbin/debootstrap stretch !$ http://ftp.us.debian.org/debian
25 echo "coriolis2" > /home/chroot/coriolis/etc/debian_chroot
27 To do some preparation (users):
29 chroot /home/chroot/coriolis2 /bin/bash
30 adduser {yourpreferredusername}
32 It is best to make the username the same as the first user that
33 was added during the *main* (non-chroot) debian install, so that
34 uid 1000 matches between both main and chroot. You can check
35 this by looking at /etc/passwd as root, or by typing "id".
38 uid=1000(lkcl) gid=1000(lkcl) groups=1000(lkcl),5(tty),....
40 Alternatively, /etc/passwd and /etc/group may
41 be mount-bound as well as /home however if you later forget you did
42 this and decide to delete the chroot, you will delete the entire /home
43 of your main system, as well as /etc/passwd.
45 You may wish to follow some of the other things such as configuring apt,
46 locales and keyboard, from the above-linked debian-admin HOWTO.
47 bootloader, kernel, ssh access, all these are
48 unnecessary. do run "apt clean" to clear out /var/cache/apt/archives
53 Create an schroot file section:
56 description=Debian Stable for Coriolis
57 directory=/home/chroot/coriolis
58 groups=sbuild-security,lkcl,users
60 Now as an *ordinary* user - not as root - you may type:
62 lkcl@fizzy:~$ schroot -c coriolis
64 and, due to the contents of /etc/debian\_chroot, and that you were in
65 fact logged in as uid 1000 and did in fact add a user to the chroot
66 as uid 1000, the prompt should become:
68 (coriolis2)lkcl@fizzy:~$
70 ## check out alliance and alliance-check-toolkit
74 git clone https://gitlab.lip6.fr/jpc/alliance-check-toolkit.git
76 TODO: document how to build alliance, basically this:
78 In the chroot, as root:
81 apt-get install git build-essential libtool automake aclocal \
82 flex bison xfig imagemagick \
83 texlive texlive-pictures texlive-latex-extra \
84 libx11-dev libxt-dev libxaw7-dev libxpm-dev libmotif-dev
86 In the chroot, as the ordinary schroot user:
88 mkdir -p alliance/build alliance/install
90 git clone https://www-soc.lip6.fr/git/alliance.git
93 Modify the following file (may not be necessary later):
95 diff --git a/alliance/src/pat/src/pat_desc_y.y b/alliance/src/pat/src/pat_desc_y.y
96 index 14720dbc..5390d2a4 100644
97 --- a/alliance/src/pat/src/pat_desc_y.y
98 +++ b/alliance/src/pat/src/pat_desc_y.y
99 @@ -85,8 +85,8 @@ unsigned short position; /* # of statement since last comment */
100 static struct papat *lcl_addpapat (lastpapat, label, line)
102 struct papat *lastpapat; /* pointer on the last papat structure */
103 -char *label; /* pattern's label */
104 -unsigned short line; /* pattern' line number */
106 +unsigned short line;
111 Continue running as user:
115 export ALLIANCE_TOP=$HOME/alliance/install
116 export LD_LIBRARY_PATH=${ALLIANCE_TOP}/lib:${LD_LIBRARY_PATH}
117 ../alliance/src/configure --prefix=$ALLIANCE_TOP --enable-alc-shared
120 the two exports are best added to ~/.bash_profile for later convenience
124 These are nominally taken from
125 <https://www-soc.lip6.fr/equipe-cian/logiciels/coriolis/>
126 however there are errors in the original at the moment.
127 Do not try qt5, it will not work.
129 In ~/.bash\_profile add the following so that builds (rebuilds) if you need
130 them will be quicker, and you can run the GUI from the chroot:
132 export PATH=/usr/lib/ccache:"$PATH"
135 Second (or at a new terminal / xterm), log in as root on the host (not
136 the chroot) then do schroot -c coriolis to get to be root in the chroot
137 (or, you can install sudo in the chroot and then do "sudo bash" in the
140 Then run the following commands, as root, *in* the chroot:
143 apt-get install -y build-essential binutils-dev \
144 git cmake bison flex gcc python-dev \
145 libboost-all-dev libboost-python-dev \
147 libbz2-dev libxml2-dev rapidjson-dev libbz2-dev \
148 doxygen dvipng graphviz python-sphinx \
149 texlive-fonts-extra texlive-lang-french \
150 libqwt-dev qt4-dev-tools python-qt4 \
151 libxt-dev libxpm-dev libmotif-dev \
154 Then, as the ordinary (non-root) user in the schroot:
156 mkdir -p ~/coriolis-2.x/src
157 cd ~/coriolis-2.x/src
158 git clone https://www-soc.lip6.fr/git/coriolis.git
162 ./bootstrap/ccb.py --project=coriolis --make="-j4 install"
164 To set up the alliance environment, run this:
166 eval `~/coriolis-2.x/src/coriolis/bootstrap/coriolisEnv.py`
168 For convenience that may be placed in a file and "sourced", to avoid
169 having to look this page up every time
171 echo "eval `~/coriolis-2.x/src/coriolis/bootstrap/coriolisEnv.py`" > \
175 To run the graphical editor go to the bin directory
177 cd ~/coriolis-2.x/Linux.MyARCH/Release.Shared/install/bin
180 Then run the following commands from the menubar
182 Tutorials / Run Demo (Python Flavour)
184 The following window will appear
186 [[!img chicken.png ]]
188 click on the chicken several times
190 # Tutorials and checks
192 * <https://gitlab.com/Chips4Makers/alliance-check-toolkit>
194 ## Information from Jean-Paul
196 There should be very soon a website at https://coriolis.lip6.fr (it is not yet
197 online). Where I intend to put all the documentation about Alliance/Coriolis.
199 In the meantime did you find the doc shipped with Coriolis ?
201 There are also very cursory informations about installing Alliance here:
202 https://www-soc.lip6.fr/en/team-cian/softwares/alliance/
204 You also have a third repository for various blocks/chip/examples here:
205 https://gitlab.lip6.fr/jpc/alliance-check-toolkit
207 (with a basic doc under "doc/"...)