diff options
Diffstat (limited to 'dist/mcode/windows/windows_default_path.ads')
| -rw-r--r-- | dist/mcode/windows/windows_default_path.ads | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/dist/mcode/windows/windows_default_path.ads b/dist/mcode/windows/windows_default_path.ads new file mode 100644 index 0000000..8e63034 --- /dev/null +++ b/dist/mcode/windows/windows_default_path.ads @@ -0,0 +1,5 @@ +package Windows_Default_Path is
+ -- Get the default path from executable name.
+ -- This function is called during elaboration!
+ function Get_Windows_Exec_Path return String;
+end Windows_Default_Path;
|