Advertisement
Guest User

_config_

a guest
Apr 8th, 2016
157
Never
Not a member of Pastebin yet? Sign Up, it unlocks many cool features!
  1. export Sigali_com=$Sigali_root"/com"
  2. export Sigali_doc=$Sigali_root"/doc"
  3. export Sigali_examples=$Sigali_root"/examples"
  4. export Sigali_lib=$Sigali_root"/lib"
  5. export Sigali_Synthesis=$Sigali_root"/Synthesis"
  6. export Sigali_bin=$Sigali_root"/bin"
Advertisement
RAW Paste Data Copied
Advertisement