From: Luke Kenneth Casson Leighton <lkcl@lkcl.net>
Date: Tue, 17 Mar 2020 15:02:06 +0000 (+0000)
Subject: change urls for repos
X-Git-Tag: convert-csv-opcode-to-binary~3107
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=e6c7c2642ca007af23d3138afb8ab42295a7ed8d;p=libreriscv.git

change urls for repos
---

diff --git a/HDL_workflow/coriolis2.mdwn b/HDL_workflow/coriolis2.mdwn
index 06a5f87fa..192ca91ab 100644
--- 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