jca
c04dd410e7
arm64 has devel/gdb now, remove workaround and register bdep/WANTLIB
...
gdb is picked up because it brings libbfd, which can be used by
ocamlobjinfo to analyze (at least) .cmxs files. Not very useful on
arm64 since native code support isn't enabled, but this is consistent
with other similar architectures.
An alternative would be to drop BFD on non-native non-dynlink archs, if
it is actually used only for .cmxs files.
Late commit because I wanted to avoid conflicting with the ongoing OCaml
update, but this one will need a refreshed diff anyway.
Tested by kettenis@
2018-07-11 09:30:55 +00:00
..
2017-12-07 13:12:44 +00:00
2018-04-27 18:04:21 +00:00
2018-04-09 17:26:54 +00:00
2018-06-27 21:03:34 +00:00
2018-01-26 12:43:17 +00:00
2017-12-18 01:45:10 +00:00
2018-04-25 13:23:45 +00:00
2018-07-04 09:54:17 +00:00
2017-11-21 00:12:59 +00:00
2018-01-01 20:28:44 +00:00
2017-11-21 00:12:59 +00:00
2018-04-26 12:44:52 +00:00
2018-06-15 01:04:54 +00:00
2018-07-08 14:27:07 +00:00
2018-06-03 21:01:50 +00:00
2018-04-30 12:06:48 +00:00
2018-05-21 01:48:38 +00:00
2018-04-29 08:08:46 +00:00
2018-06-23 11:26:12 +00:00
2018-05-20 10:49:38 +00:00
2018-06-02 14:03:24 +00:00
2018-07-09 00:30:07 +00:00
2018-01-15 23:26:33 +00:00
2018-02-28 19:23:56 +00:00
2018-05-21 14:30:43 +00:00
2018-04-02 17:04:44 +00:00
2018-04-28 16:38:25 +00:00
2018-05-30 11:29:29 +00:00
2018-03-30 23:16:59 +00:00
2018-04-25 07:39:01 +00:00
2018-05-21 21:11:27 +00:00
2018-05-10 18:41:04 +00:00
2018-06-13 01:50:46 +00:00
2017-11-21 00:12:59 +00:00
2018-07-09 14:33:09 +00:00
2018-06-10 03:13:20 +00:00
2018-04-25 14:48:22 +00:00
2018-05-11 10:37:17 +00:00
2018-05-24 03:30:55 +00:00
2017-12-02 21:39:49 +00:00
2018-04-07 14:41:48 +00:00
2018-04-25 11:43:13 +00:00
2018-03-15 08:08:51 +00:00
2018-06-01 15:32:04 +00:00
2018-05-23 12:40:53 +00:00
2018-05-01 22:36:21 +00:00
2018-07-02 22:20:20 +00:00
2018-06-04 01:47:30 +00:00
2018-05-29 08:10:42 +00:00
2018-06-21 23:13:28 +00:00
2018-01-19 15:19:34 +00:00
2018-07-11 09:30:55 +00:00
2018-05-06 15:45:06 +00:00
2017-11-21 00:12:59 +00:00
2018-02-28 19:23:56 +00:00
2018-06-28 16:24:48 +00:00
2018-06-27 21:03:34 +00:00
2017-12-15 16:47:34 +00:00
2018-07-02 04:56:07 +00:00
2018-01-29 21:06:12 +00:00
2017-11-25 21:50:50 +00:00
2018-05-07 17:55:20 +00:00
2018-07-04 01:38:05 +00:00
2018-07-11 09:16:53 +00:00
2018-06-29 22:39:59 +00:00
2018-06-04 04:35:40 +00:00
2017-12-20 16:52:20 +00:00
2017-12-25 07:04:45 +00:00
2018-02-28 19:23:56 +00:00
2017-12-25 04:33:39 +00:00
2018-06-21 17:23:36 +00:00
2018-05-29 08:12:26 +00:00
2018-07-08 14:28:40 +00:00