Project

General

Profile

Download (221 Bytes) Statistics
| Branch: | Tag: | Revision:
1
let prefix_path () = (
2
if (Filename.basename Sys.executable_name) = "main_lustre_compiler.exe" 
3
then (Filename.dirname Sys.executable_name) ^ "/../../install/default"
4
else (Filename.dirname Sys.executable_name) ^ "/..");;
(13-13/49)