Advertisement
Not a member of Pastebin yet?
Sign Up,
it unlocks many cool features!
- export Sigali_com=$Sigali_root"/com"
- export Sigali_doc=$Sigali_root"/doc"
- export Sigali_examples=$Sigali_root"/examples"
- export Sigali_lib=$Sigali_root"/lib"
- export Sigali_Synthesis=$Sigali_root"/Synthesis"
- export Sigali_bin=$Sigali_root"/bin"
Advertisement
Add Comment
Please, Sign In to add comment
Advertisement