3 commits

Author	SHA1	Message	Date
Eelco Dolstra	67d231c046	Revert "Merge pull request #11804 from obsidiansystems/remove-old-make" ... This reverts commit 619eeb658a, reversing changes made to 1af94bf471.	2024-11-07 13:46:37 +01:00
John Ericson	e70c9bb06a	Remove old build system	2024-11-06 16:09:18 -05:00
John Ericson	52e0911302	Use buildprefix in a few more places ... `installcheck` doesn't yet work, but the rest of the build can now happen mostly inside a separate build directory. Progress on #9342 Co-authored-by: Valentin Gagarin <valentin.gagarin@tweag.io>	2023-11-29 19:49:07 -05:00