anteforth 0.1.0 (#1734)

* anteforth 0.1.0 (via `alr publish`)

* Update to revision with loops.

* Update to revision with more words, including RECURSE.

* One last repl fix.
This commit is contained in:
Paul Jarrett
2026-01-05 05:57:57 -05:00
committed by GitHub
parent bcfc08188c
commit 74e67abf7e
+38
View File
@@ -0,0 +1,38 @@
name = "anteforth"
description = "A Forth virtual machine"
version = "0.1.0"
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 = "7fa8dfcf0eef211c7ed3067147d3338063bf066c"
url = "git+https://github.com/pyjarrett/anteforth.git"