add links in README

diff --git a/README b/README
new file mode 120000 (symlink)
index 0000000..42061c0
--- /dev/null
+++ b/README
@@ -0,0 +1 @@
+README.md
\ No newline at end of file

diff --git a/README.md b/README.md
index 9dbcbeafb5bc1e046cc5f891b662ea820a231efe..8922d36fc992327ad3dfc1b1a05a65c74bc0d81d 100644 (file)
--- a/README.md
+++ b/README.md
@@ -10,7 +10,9 @@ and Sorbonne University lip6.fr
 
 # Installation
 
-    make gitupdate
+Best done using the dev-env-setup scripts:
+https://git.libre-soc.org/?p=dev-env-setup.git;a=summary
+
     make install
     make test # optional (ish)
 
@@ -32,3 +34,5 @@ this to work:
 
     apt-get install gcc-9-powerpc64-linux-gnu
 
+Or, use this dev-env-script:
+https://git.libre-soc.org/?p=dev-env-setup.git;a=blob;f=ppc64-gdb-gcc;hb=HEAD