This repo should be located inside the allolib folder. Within the allolib folder run: ./run.sh synthesisTutorial/synth1.cpp