You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
You can modify this VirtualBox image to make TSID run on it. Here are the steps for making that happens.
git clone --recursive https://github.com/stack-of-tasks/tsid
cd tsid
mkdir build
cd build
export PKG_CONFIG_PATH=$PINOCCHIO_PATH/lib/pkgconfig:$PKG_CONFIG_PATH
cmake .. -DCMAKE_INSTALL_PREFIX=$PINOCCHIO_PATH
make -sj2 install
The text was updated successfully, but these errors were encountered:
Beware that the first two apt-get commands do not work well if you put them in a bash script, so please run them one by one by copy-pasting them in the terminal.
After you have successfully compiled and install TSID you can test it by executing:
cd tsid/exercizes
python ex_1.py
If it does not work the first time, try to execute it a second time (sometimes the viewer crashes for mysterious reasons)
I created a VirtualBox image for trying Pinocchio V2. It is at this address:
https://github.com/nmansard/wsmemmo_pinocchio
You can modify this VirtualBox image to make TSID run on it. Here are the steps for making that happens.
git clone --recursive https://github.com/stack-of-tasks/tsid
cd tsid
mkdir build
cd build
export PKG_CONFIG_PATH=$PINOCCHIO_PATH/lib/pkgconfig:$PKG_CONFIG_PATH
cmake .. -DCMAKE_INSTALL_PREFIX=$PINOCCHIO_PATH
make -sj2 install
The text was updated successfully, but these errors were encountered: