summaryrefslogtreecommitdiff
path: root/src/config.ads
diff options
context:
space:
mode:
Diffstat (limited to 'src/config.ads')
-rw-r--r--src/config.ads5
1 files changed, 5 insertions, 0 deletions
diff --git a/src/config.ads b/src/config.ads
new file mode 100644
index 0000000..ddc59a1
--- /dev/null
+++ b/src/config.ads
@@ -0,0 +1,5 @@
+package Config is
+ -- In the future this should be autogenerated
+
+ Linux : constant Boolean := True;
+end Config;