1 Commits

Author	SHA1	Message	Date
Kittywhiskers Van Gogh	fc8952aa19	build: add libgmp detection, make immer a package (#4311) ... * build: detect the presence of libgmp before generating Makefile * depends: add arximboldi/immer@v0.6.2 as a package and add detection * depends: remove immer from source tree, build using package only * Drop immer refs from tools Co-authored-by: UdjinM6 <UdjinM6@users.noreply.github.com>	2021-08-10 22:35:55 +03:00