model-checker : examples updated with new lex and yacc parsing

[simgrid.git] / buildtools / Cmake / preinstall.sh

#! /bin/bash
echo "\n#SIMGRID ICEBERG" >> ~/.profile
return 0