Merge branch 'develop'

ci/toolchain_install.sh

@@ -17,50 +17,50 @@
 set -e
 
 REPOSITORY=https://github.com/vortexgpgpu/vortex-toolchain-prebuilt/raw/master
-
-DESTDIR="${DESTDIR:=/opt}"
+TOOLDIR=${TOOLDIR:=/opt}
+OSDIR=${OSDIR:=ubuntu/bionic}
 
 OS="${OS:=ubuntu/bionic}"
 
 riscv()
 {
-    case $OS in
+    case $OSDIR in
     "centos/7") parts=$(eval echo {a..h}) ;;
     *)          parts=$(eval echo {a..j}) ;;
     esac
     rm -f riscv-gnu-toolchain.tar.bz2.parta*
     for x in $parts
     do
-        wget $REPOSITORY/riscv-gnu-toolchain/$OS/riscv-gnu-toolchain.tar.bz2.parta$x
+        wget $REPOSITORY/riscv-gnu-toolchain/$OSDIR/riscv-gnu-toolchain.tar.bz2.parta$x
     done
     cat riscv-gnu-toolchain.tar.bz2.parta* > riscv-gnu-toolchain.tar.bz2
     tar -xvf riscv-gnu-toolchain.tar.bz2
-    cp -r riscv-gnu-toolchain $DESTDIR
+    cp -r riscv-gnu-toolchain $TOOLDIR
     rm -f riscv-gnu-toolchain.tar.bz2*    
     rm -rf riscv-gnu-toolchain
 }
 
 riscv64()
 {
-    case $OS in
+    case $OSDIR in
     "centos/7") parts=$(eval echo {a..h}) ;;
     *)          parts=$(eval echo {a..j}) ;;
     esac
     rm -f riscv64-gnu-toolchain.tar.bz2.parta*
     for x in $parts
     do
-        wget $REPOSITORY/riscv64-gnu-toolchain/$OS/riscv64-gnu-toolchain.tar.bz2.parta$x
+        wget $REPOSITORY/riscv64-gnu-toolchain/$OSDIR/riscv64-gnu-toolchain.tar.bz2.parta$x
     done
     cat riscv64-gnu-toolchain.tar.bz2.parta* > riscv64-gnu-toolchain.tar.bz2
     tar -xvf riscv64-gnu-toolchain.tar.bz2
-    cp -r riscv64-gnu-toolchain $DESTDIR
+    cp -r riscv64-gnu-toolchain $TOOLDIR
     rm -f riscv64-gnu-toolchain.tar.bz2*    
     rm -rf riscv64-gnu-toolchain
 }
 
 llvm-vortex()
 {
-    case $OS in
+    case $OSDIR in
     "centos/7") parts=$(eval echo {a..b}) ;;
     *)          parts=$(eval echo {a..b}) ;;
     esac
@@ -68,18 +68,18 @@ llvm-vortex()
     rm -f llvm-vortex.tar.bz2.parta*
     for x in $parts
     do
-        wget $REPOSITORY/llvm-vortex/$OS/llvm-vortex.tar.bz2.parta$x
+        wget $REPOSITORY/llvm-vortex/$OSDIR/llvm-vortex.tar.bz2.parta$x
     done
     cat llvm-vortex.tar.bz2.parta* > llvm-vortex.tar.bz2
     tar -xvf llvm-vortex.tar.bz2
-    cp -r llvm-vortex $DESTDIR
+    cp -r llvm-vortex $TOOLDIR
     rm -f llvm-vortex.tar.bz2*    
     rm -rf llvm-vortex
 }
 
 llvm-pocl()
 {
-    case $OS in
+    case $OSDIR in
     "centos/7") parts=$(eval echo {a..b}) ;;
     *)          parts=$(eval echo {a..b}) ;;
     esac
@@ -87,45 +87,45 @@ llvm-pocl()
     rm -f llvm-pocl.tar.bz2.parta*
     for x in $parts
     do
-        wget $REPOSITORY/llvm-pocl/$OS/llvm-pocl.tar.bz2.parta$x
+        wget $REPOSITORY/llvm-pocl/$OSDIR/llvm-pocl.tar.bz2.parta$x
     done
     cat llvm-pocl.tar.bz2.parta* > llvm-pocl.tar.bz2
     tar -xvf llvm-pocl.tar.bz2
-    cp -r llvm-pocl $DESTDIR
+    cp -r llvm-pocl $TOOLDIR
     rm -f llvm-pocl.tar.bz2*    
     rm -rf llvm-pocl
 }
 
 pocl()
 {
-    wget $REPOSITORY/pocl/$OS/pocl.tar.bz2
+    wget $REPOSITORY/pocl/$OSDIR/pocl.tar.bz2
     tar -xvf pocl.tar.bz2
     rm -f pocl.tar.bz2
-    cp -r pocl $DESTDIR
+    cp -r pocl $TOOLDIR
     rm -rf pocl
 }
 
 verilator()
 {
-    wget $REPOSITORY/verilator/$OS/verilator.tar.bz2
+    wget $REPOSITORY/verilator/$OSDIR/verilator.tar.bz2
     tar -xvf verilator.tar.bz2
-    cp -r verilator $DESTDIR
+    cp -r verilator $TOOLDIR
     rm -f verilator.tar.bz2    
     rm -rf verilator
 }
 
 sv2v() 
 {
-    wget $REPOSITORY/sv2v/$OS/sv2v.tar.bz2
+    wget $REPOSITORY/sv2v/$OSDIR/sv2v.tar.bz2
     tar -xvf sv2v.tar.bz2
     rm -f sv2v.tar.bz2
-    cp -r sv2v $DESTDIR
+    cp -r sv2v $TOOLDIR
     rm -rf sv2v
 }
 
 yosys()
 {
-    case $OS in
+    case $OSDIR in
     "centos/7") parts=$(eval echo {a..c}) ;;
     *)          parts=$(eval echo {a..c}) ;;
     esac
@@ -133,11 +133,11 @@ yosys()
     rm -f yosys.tar.bz2.parta*
     for x in $parts
     do
-        wget $REPOSITORY/yosys/$OS/yosys.tar.bz2.parta$x
+        wget $REPOSITORY/yosys/$OSDIR/yosys.tar.bz2.parta$x
     done
     cat yosys.tar.bz2.parta* > yosys.tar.bz2
     tar -xvf yosys.tar.bz2
-    cp -r yosys $DESTDIR
+    cp -r yosys $TOOLDIR
     rm -f yosys.tar.bz2*    
     rm -rf yosys
 }
@@ -160,20 +160,19 @@ while [ "$1" != "" ]; do
                 ;;
         --llvm-vortex ) llvm-vortex
                 ;;
-        --llvm-pocl ) llvm-pocl
+        --llvm-pocl ) llvm-pocl                
                 ;;
         --sv2v ) sv2v
                 ;;
         --yosys ) yosys
                 ;;
-        --all ) riscv
-                riscv64
-                llvm-vortex
-                llvm-pocl
-                pocl
+        --all ) pocl
                 verilator
                 sv2v
                 yosys
+                llvm-vortex
+                riscv
+                riscv64                
                 ;;
         -h | --help ) show_usage
                 exit