anteforth 0.1.1 (#1758)

* anteforth 0.1.1 (via `alr publish`) * Update to revision with more fixes and improvements.
2026-01-13 04:27:52 -05:00
parent 6146c84d72
commit 500f7c7a99
1 changed files with 38 additions and 0 deletions
@@ -0,0 +1,38 @@
+name = "anteforth"
+description = "A Forth virtual machine"
+version = "0.1.1"
+
+authors = ["Paul Jarrett"]
+maintainers = ["Paul Jarrett <jarrett.paul.young@gmail.com>"]
+maintainers-logins = ["pyjarrett"]
+licenses = "GPL-3.0-or-later"
+website = ""
+tags = ["forth","vm","spark"]
+
+executables = ["anteforth"]
+
+[build-switches]
+Development.Debug_Info = "Yes"
+Development.Contracts = "Yes"
+Development.Runtime_Checks = [
+    "-gnato",        # Enable numeric overflow checking;
+    "-fstack-check", # Stack overflow checking
+    "-gnatVa",       # All validity checks
+]
+
+Release.Runtime_Checks = "None"
+# "*".Compile_Checks = "Errors"
+"*".Ada_Version = "Ada2022"
+"*".Style_Checks = [
+    "-gnaty-d",   # Disable no DOS line terminators
+    "-gnatyM200", # Maximum line length
+    "-gnatyO",    # Overriding subprograms explicitly marked as such]
+]
+
+[[depends-on]]
+gnatprove = "^15.1.0"
+
+[origin]
+commit = "6f6d3d289edb88d1ab361e0c4f5d2094491bb9e6"
+url = "git+https://github.com/pyjarrett/anteforth.git"
+