6 def set_distene_licence(env):
8 license_file = env.environ.get_value("LICENCE_FILE")
11 if os.path.exists(license_file):
13 env.add_comment("Set DISTENE License")
14 env.set('DISTENE_LICENSE_FILE', 'Use global envvar: DLIM8VAR')
16 if os.access(license_file, os.R_OK):
17 lines = open(license_file, "r").readlines()
19 id1=line.find('r"dlim8')
21 # on a trouvé la clé dlim8 dans line, on extrait sa valeur
22 id2=line.find('"', id1+2)
24 env.set("DLIM8VAR", line[id1+2:id2])
27 def set_env(env, prereq_dir, version):
29 # we don't need licence keys at compile time
30 set_distene_licence(env)
31 env.prepend('PATH', os.path.join(prereq_dir, 'bin'))
33 def set_nativ_env(env):