change urls for repos

diff --git a/HDL_workflow/coriolis2.mdwn b/HDL_workflow/coriolis2.mdwn
index 06a5f87fa3398f68f31390d7e7e1939f70102cdd..192ca91aba32be54103a1da1b6e5867a8e5eb495 100644 (file)
--- a/HDL_workflow/coriolis2.mdwn
+++ b/HDL_workflow/coriolis2.mdwn
@@ -1,9 +1,3 @@
-TODO, repos moved
-
-    git remote set-url origin https://gitlab.lip6.fr/vlsi-eda/alliance-check-toolkit.git
-    git remote set-url origin https://gitlab.lip6.fr/vlsi-eda/alliance.git
-    git remote set-url origin https://gitlab.lip6.fr/vlsi-eda/coriolis.git
-
 # Installing Coriolis2
 
 ## debootstrap
@@ -97,7 +91,7 @@ Adapted from <https://www-soc.lip6.fr/en/team-cian/softwares/alliance/>
 
 in the schroot:
 
-    git clone https://gitlab.lip6.fr/jpc/alliance-check-toolkit.git
+    git clone https://gitlab.lip6.fr/vlsi-eda/alliance-check-toolkit.git
 
 TODO: document how to build alliance, basically this:
 
@@ -118,7 +112,7 @@ In the chroot, as the ordinary schroot user:
 
     mkdir -p alliance/build alliance/install
     cd ~/alliance
-    git clone https://www-soc.lip6.fr/git/alliance.git
+    git clone https://gitlab.lip6.fr/vlsi-eda/alliance.git
     cd alliance/src
     ./autostuff
     cd ~/alliance/build
@@ -166,7 +160,7 @@ Then, as the ordinary (non-root) user in the schroot:
 
     mkdir -p ~/coriolis-2.x/src
     cd ~/coriolis-2.x/src
-    git clone https://www-soc.lip6.fr/git/coriolis.git
+    git clone https://gitlab.lip6.fr/vlsi-eda/coriolis.git
 
     cd coriolis
     git checkout devel