13 commits

Author	SHA1	Message	Date
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
Eelco Dolstra	215b70f51e	Revert "Get rid of unicode quotes (#1140)" ... This reverts commit f78126bfd6. There really is no need for such a massive change...	2016-11-26 00:38:01 +01:00
Guillaume Maudoux	f78126bfd6	Get rid of unicode quotes (#1140)	2016-11-25 15:48:27 +01:00
Eelco Dolstra	14955c297d	Merge commit '36c67860363c93eb00cf5b8e2ad34f6f775e6901'	2014-12-14 01:47:06 +01:00
Eelco Dolstra	c93690a68a	Merge commit '2aa93858afee22e0c32d8f4366970976374091ac'	2014-08-20 18:44:26 +02:00
Eelco Dolstra	4ee6001f95	GNU Make 3.81 compatibility ... 3.81 doesn't understand the ‘define foo =’ syntax, which was added in 3.82. So use ‘define foo’ instead.	2014-02-04 11:21:13 +01:00
Eelco Dolstra	74ca70da3a	Add 'mk/' from commit '1eff3ad37fdb9dcf9f8528fdacea0ebf0e79d545' ... git-subtree-dir: mk git-subtree-mainline: 6ef32bddc1 git-subtree-split: 1eff3ad37f	2014-02-01 14:38:28 +01:00
Eelco Dolstra	568b1b0a8a	Remove mk subdirectory in preparation for "git subtree"	2014-01-09 16:15:16 +01:00
Eelco Dolstra	55c9a40613	Move stuff to top-level ... This makes it easier to use with "git subtree".	2014-01-09 16:12:02 +01:00
Eelco Dolstra	49a385096e	Initial commit (imported from the Nix repo)	2013-12-10 15:54:34 +01:00
Eelco Dolstra	962551a071	Add a Makefile for the scripts directory	2013-11-25 15:17:16 +00:00
Eelco Dolstra	784feb6839	Let ‘make clean’ delete instantiated template files	2013-11-25 11:29:13 +00:00
Eelco Dolstra	ed0a8dd71a	Add a function for instantiating Autoconf *.in files	2013-11-25 10:16:07 +00:00