Age | Commit message (Collapse) | Author |
|
checkdepends require comment dune>=3.19, so temporarily comment it
|
|
|
|
|
|
- Depend on ocaml-unisim_archisec for x86-64, ARMv7 and ARMv8 binary support
- remove ocaml from makedepens (the wiki suggests not to but it's redundant)
- depend on bitwuzla
|
|
Not all checkdepends build at the moment because of:
https://archlinux.org/todo/rebuild-packages-against-gcc-131-to-circumvent-issues-with-lto/
- built in clean chroot
- basic functionality tested
|
|
|
|
- build tested in clean chroot
- basic functionality tested
|