diff --git a/index/an/anteforth/anteforth-0.1.1.toml b/index/an/anteforth/anteforth-0.1.1.toml new file mode 100644 index 00000000..d583e871 --- /dev/null +++ b/index/an/anteforth/anteforth-0.1.1.toml @@ -0,0 +1,38 @@ +name = "anteforth" +description = "A Forth virtual machine" +version = "0.1.1" + +authors = ["Paul Jarrett"] +maintainers = ["Paul Jarrett "] +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" +