3 Commits

Author	SHA1	Message	Date
UdjinM6	7ccdd16816	depends: use build_tmp subdir when building immer (#4383)	2021-09-03 04:19:46 +03:00
Kittywhiskers Van Gogh	b3bf4de655	build: remove change-directory-and-build-depends behavior for immer (#4367)	2021-08-28 01:58:43 +03:00
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