Richard W.M. Jones
692195c6ba
build: Add a common script for generating OCaml dependencies correctly.
...
These are generated in many different ways in the various
subdirectories, and sometimes not generated correctly. Introduce a
script to do this in one place, and hopefully correctly.
This is mostly simple refactoring, but I got rid of a couple of
things:
(1) The ‘make depend’ rule doesn't appear to be needed. automake (or
make?) seems to rebuild the ‘.depend’ file automatically just because
it is included.
(2) I got rid of the hairy path rewriting sed expression. Possibly
that is needed for srcdir != builddir.
2017-08-09 14:45:48 +01:00
..
2017-08-02 10:35:36 +01:00
2014-03-04 00:06:09 +01:00
2015-09-08 11:51:49 +02:00
2016-11-30 14:20:20 +00:00
2017-07-24 11:48:24 +01:00
2017-07-10 17:01:59 +01:00
2017-01-03 16:48:21 +01:00
2017-07-10 17:01:59 +01:00
2017-01-03 16:48:21 +01:00
2017-07-10 17:01:59 +01:00
2016-10-25 10:15:04 +02:00
2017-07-10 17:01:59 +01:00
2015-07-28 13:30:39 +02:00
2016-07-26 10:43:45 +01:00
2017-07-18 18:42:23 +01:00
2016-07-27 15:24:29 +02:00
2014-03-20 15:36:38 +01:00
2014-10-23 19:03:12 +02:00
2017-07-10 17:01:59 +01:00
2017-07-10 17:01:59 +01:00
2017-01-03 16:48:21 +01:00
2017-07-10 17:01:59 +01:00
2017-01-03 16:48:21 +01:00
2017-08-03 17:36:09 +01:00
2014-03-11 14:20:22 +01:00
2014-02-27 09:59:56 +00:00
2014-02-27 09:59:56 +00:00
2017-07-10 17:01:59 +01:00
2016-07-18 18:21:41 +02:00
2017-08-09 14:45:48 +01:00
2015-09-30 10:55:37 +02:00
2015-09-30 10:55:37 +02:00
2017-07-10 17:01:59 +01:00
2017-07-18 18:42:23 +01:00
2014-03-29 15:09:19 +00:00
2014-03-29 15:09:19 +00:00
2014-12-12 15:50:07 +00:00
2014-01-30 17:05:34 +01:00
2014-01-30 17:05:34 +01:00
2017-07-24 11:48:24 +01:00
2016-10-25 10:15:04 +02:00
2017-07-10 17:01:59 +01:00
2015-09-08 09:51:49 +02:00
2017-07-24 11:46:22 +01:00
2016-07-07 18:13:07 +01:00
2017-02-21 17:23:22 +00:00
2014-04-03 08:44:24 +01:00
2017-02-21 17:23:22 +00:00
2017-02-21 17:23:22 +00:00
2017-02-21 17:23:22 +00:00
2017-02-21 17:23:22 +00:00
2017-02-21 17:23:22 +00:00
2014-04-03 08:58:46 +01:00
2014-04-03 08:58:46 +01:00
2014-04-03 08:58:46 +01:00
2015-03-23 12:49:27 +00:00
2015-03-23 12:49:27 +00:00
2017-01-03 16:48:21 +01:00
2017-04-11 22:54:52 +01:00
2015-06-15 15:42:46 +01:00
2016-01-11 13:42:49 +00:00
2016-07-26 10:43:45 +01:00
2017-07-10 17:01:59 +01:00
2017-01-05 09:25:11 +01:00