summaryrefslogtreecommitdiff
path: root/src/Version.hs (follow)
Commit message (Collapse)AuthorAgeFilesLines
* update stack resolverstuebinm2022-10-111-1/+1
| | | | | (also got rid of the map templater, which had version problems with mustache — it's not likely anyone will need it anyways)
* remove leftover rc3 things & some new stuffstuebinm2022-03-191-1/+1
| | | | | | | | | | | | | this removes: - the bbb properties - all explicit mentions of rc3 - the weird script domain hacks (done via a substitution now) - some (few) of the weirder code choices it also adds some more type level witchery to deal with configs, which for some reason seems to be the hardest problem of this entire program … also the server now does inter-assembly dependency checking!
* switch to universum preludestuebinm2022-03-191-2/+2
| | | | also don't keep adjusted maps around if not necessary
* don't fail compilation if git is unavailablestuebinm2022-03-191-1/+3
| | | | (instead, `walint --version` will now just say "unknown")
* print version information on --versionstuebinm2021-12-221-0/+15
If --version is given, `walint` prints version information, then exists with code 0.