setting_up.txt

1. get -fpermissive:
open /projects/code/fs/planners/generic/SConstruct
add ,'-fpermissive' into line 33


2. add file transfer for external epistemic checking scripts
open /projects/code/fs/python/parser/runner.py
change from line 87 with:



   if not use_vanilla:
       # The ad-hoc external definitions file - if it does not exist, we use the default.
       if is_external_defined:
           shutil.copy(base_dir + '/external.hxx', target_dir)
           if os.path.isfile(base_dir + '/external.cxx'):  # We also copy a possible cxx implementation file
               shutil.copy(base_dir + '/external.cxx', target_dir)
           if os.path.isfile(base_dir + '/translating.hxx'):  # We also copy a possible cxx implementation file
               shutil.copy(base_dir + '/translating.hxx', target_dir)
           if os.path.isfile(base_dir + '/epistemic_checker.cxx'):  # We also copy a possible cxx implementation file
               shutil.copy(base_dir + '/epistemic_checker.cxx', target_dir)
           if os.path.isfile(base_dir + '/epistemic_checker.hxx'):  # We also copy a possible cxx implementation file
               shutil.copy(base_dir + '/epistemic_checker.hxx', target_dir)
           if os.path.isfile(base_dir + '/domain.hxx'):  # We also copy a possible cxx implementation file
               shutil.copy(base_dir + '/domain.hxx', target_dir)