| [9e3a674] | 1 | #!/bin/bash
|
|---|
| 2 |
|
|---|
| 3 | ################################################################################
|
|---|
| 4 | #
|
|---|
| 5 | # Builds and installs CIVL in BASE_DIR (see shell var below in settings).
|
|---|
| 6 | #
|
|---|
| 7 | ################################################################################
|
|---|
| 8 |
|
|---|
| 9 | # Exit on error
|
|---|
| 10 | set -e
|
|---|
| 11 |
|
|---|
| 12 | ################################################################################
|
|---|
| 13 |
|
|---|
| 14 | # Settings
|
|---|
| 15 |
|
|---|
| 16 | # Change this to the desired path (default uses working-dir/civl-project)
|
|---|
| 17 | BASE_DIR=`pwd`/civl-project
|
|---|
| 18 |
|
|---|
| 19 | # Set these flags to control various installation options
|
|---|
| 20 | INSTALL_PACKAGES=1
|
|---|
| 21 | INSTALL_CVC3=1
|
|---|
| 22 | INSTALL_CIVL=1
|
|---|
| 23 |
|
|---|
| 24 | # Other dirs
|
|---|
| 25 | CVC3_DIR="${BASE_DIR}/cvc3"
|
|---|
| 26 | CIVL_DIR="${BASE_DIR}/civl"
|
|---|
| 27 |
|
|---|
| 28 | ################################################################################
|
|---|
| 29 |
|
|---|
| 30 | # Install required packages
|
|---|
| 31 |
|
|---|
| 32 | if [ ${INSTALL_PACKAGES} -eq 1 ]; then
|
|---|
| 33 |
|
|---|
| 34 | sudo apt-get install flex --assume-yes
|
|---|
| 35 | sudo apt-get install bison --assume-yes
|
|---|
| 36 | sudo apt-get install libgmp10 --assume-yes
|
|---|
| 37 | sudo apt-get install libgmp-dev --assume-yes
|
|---|
| 38 | sudo apt-get install openjdk-7-jdk --assume-yes
|
|---|
| 39 |
|
|---|
| 40 | fi
|
|---|
| 41 |
|
|---|
| 42 | ################################################################################
|
|---|
| 43 |
|
|---|
| 44 | # Set up directories
|
|---|
| 45 |
|
|---|
| 46 | # Base directory for everything
|
|---|
| 47 | mkdir -p ${BASE_DIR}
|
|---|
| 48 |
|
|---|
| 49 | # Other dirs
|
|---|
| 50 | mkdir -p ${CVC3_DIR}
|
|---|
| 51 | mkdir -p ${CIVL_DIR}
|
|---|
| 52 |
|
|---|
| 53 | cd ${BASE_DIR}
|
|---|
| 54 |
|
|---|
| 55 | ################################################################################
|
|---|
| 56 |
|
|---|
| 57 | # CVC3
|
|---|
| 58 |
|
|---|
| 59 | if [ ${INSTALL_CVC3} -eq 1 ]; then
|
|---|
| 60 |
|
|---|
| 61 | # Get CVC3
|
|---|
| 62 | wget http://www.cs.nyu.edu/acsys/cvc3/releases/2.4.1/cvc3-2.4.1.tar.gz
|
|---|
| 63 | tar -C ${CVC3_DIR} -xzvf cvc3-2.4.1.tar.gz --strip 1
|
|---|
| 64 |
|
|---|
| 65 | cd ${CVC3_DIR}
|
|---|
| 66 | ./configure CXXFLAGS=-m32 --enable-dynamic --enable-java --with-java-home=/usr/lib/jvm/java-7-openjdk-i386
|
|---|
| 67 |
|
|---|
| 68 | cd ${BASE_DIR}
|
|---|
| 69 |
|
|---|
| 70 | fi
|
|---|
| 71 |
|
|---|
| 72 | ################################################################################
|
|---|
| 73 |
|
|---|
| 74 | # CIVL
|
|---|
| 75 |
|
|---|
| 76 | if [ ${INSTALL_CIVL} -eq 1 ]; then
|
|---|
| 77 |
|
|---|
| 78 | # Get CIVL
|
|---|
| 79 | wget http://vsl.cis.udel.edu/civl/test/trunk/latest/release/CIVL-linux32-trunk_128.tgz
|
|---|
| 80 | tar -C ${CIVL_DIR} -xzvf CIVL-linux32-trunk_128.tgz --strip 2
|
|---|
| 81 |
|
|---|
| 82 | export LD_LIBRARY_PATH=$LD_LIBRARY_PATH:${CVC3_DIR}/java/lib
|
|---|
| 83 | export LD_LIBRARY_PATH=$LD_LIBRARY_PATH:${CVC3_DIR}/java/lib/i686-linux-gnu
|
|---|
| 84 | export LD_LIBRARY_PATH=$LD_LIBRARY_PATH:${CVC3_DIR}/lib
|
|---|
| 85 | export LD_LIBRARY_PATH=$LD_LIBRARY_PATH:${CVC3_DIR}/lib/i686-linux-gnu
|
|---|
| 86 |
|
|---|
| 87 | export PATH=$PATH:${CIVL_DIR}/bin
|
|---|
| 88 |
|
|---|
| 89 | cd ${CIVL_DIR}/examples
|
|---|
| 90 | civl barrier.cvl
|
|---|
| 91 |
|
|---|
| 92 | cd ${BASE_DIR}
|
|---|
| 93 |
|
|---|
| 94 | fi
|
|---|
| 95 |
|
|---|
| 96 | ################################################################################
|
|---|
| 97 |
|
|---|
