gene
gene-setup

Repository

./setup.sh
                                                                d,:'......'.
                                                                :cO;'..
                                                           ..      .'';l,;..'..
                           .cdd;..                   .:o:',;co,c          :    ;
 .,,,;'                   kWXKKK0d.                 .dx.     .,'xl:,...'',.   .;
klo .:lO             .lodl:kkddxloc:'              ,..,             ..','....,'
Od0  l:N.       .'lOx:.         ....;oxlcl'..      ',,oxd
 ,d. ;lolccccc:;lc;;:cllc::;;;;;;::::::clodxxxdlc:;,,:lxdc
    \.,coxKkdOXXXkx0Xxdddddddooooooooolloooooddxxkk0NNOdc,,:
          ,,.cKWOkdd.                          'll:.
            ,l;;kWXkd.                      'cl,
               ,;:dkOOx:c:,'..''...   ..,,,;.
                   .';;':OXXKK0OOxkcc:,.
                       ;oo0000000oc:
ROOT=$(pwd)
INSTALL_DIR=$ROOT/local/bin/
rm -r $INSTALL_DIR/lib/platin/gems/
$ROOT/llvm/tools/platin/install.sh -i $INSTALL_DIR
GENE_BASE=...
export PATH=$GENE_BASE/local/bin:$PATH
export PATH=$GENE_BASE/aladdin:$PATH
apt-get install texinfo patch make cmake subversion gcc g++ bison flex libc6-dev-i386

# for patmos/platin
apt-get install ruby ruby-dev liblpsolve55-dev libelf-dev libboost-dev libboost-program-options-dev openjdk-8-jdk gawk flex bison libtinfo-dev libxml2-dev

# for aladdin (using python3)
apt-get install python3
apt-get install python3-{numpy,future,matplotlib,git,psutil,pexpect,serial,tk,prompt-toolkit,pyqt5}
pip3 install tqdm

# for GenE
apt-get install libgmp-dev
ACTION=="add", SUBSYSTEM=="usb", ENV{DEVTYPE}=="usb_device", ATTR{idVendor}=="058b", ATTR{idProduct}=="0058", MODE:="0666"
ACTION=="add", SUBSYSTEM=="usb", ENV{DEVTYPE}=="usb_device", ATTR{idVendor}=="1366", ATTR{idProduct}=="0101", MODE:="0666"
#KERNEL=="ttyS*", MODE="0666"
#KERNEL=="ttyUSB*", MODE="0666"
KERNEL=="ttyACM*", MODE="0666"
sudo systemctl stop ModemManager.service
sudo systemctl disable ModemManager.service
echo "int main(){return 23;}" > file.c
patmos-clang -target armv6m-none-eabi -O0 -o file.elf file.c -mllvm '-mserialize=file_arm.pml' -integrated-as -ccc-gcc-name arm-none-eabi-gcc --specs=nosys.specs
cd $PLATIN_SRC_ROOT_DIRECTORY
export GEM_PATH=`pwd -P`/install/lib/platin/gems:/var/lib/gems/1.9.1:$HOME/.gem/ruby/1.9.1
mkdir -p install
./install.sh -i install
./install/bin/platin pml-config --target thumbv6m-none--eabi -o thumbv6m_config.pml -m 2k -M fifo8
ruby -I ./install/bin/../lib/platin ./install/bin/../lib/platin/tools/wcet.rb -i './thumbv6m_config.pml' --enable-wca -b file.elf -e main -i 'file_arm.pml' -o file_arm_out.pml --outdir file_arm_main --report file_arm_report.txt