Thomas Schwinge
8e284d026e
Rust: Move 'libformat_parser' build into libgrust
Addresses #2883.
contrib/
* gcc_update (files_and_dependencies): Update for
'libformat_parser' in libgrust.
gcc/rust/
* Make-lang.in (LIBFORMAT_PARSER): Point to 'libformat_parser'
build in libgrust.
(%.toml:, $(LIBFORMAT_PARSER):): Remove.
libgrust/
* libformat_parser/Makefile.am: New.
* Makefile.am [!TARGET_LIBRARY] (SUBDIRS): Add 'libformat_parser'.
* configure.ac: Handle it.
(TARGET_LIBRARY): New 'AM_CONDITIONAL'.
* libformat_parser/Makefile.in: Generate.
* Makefile.in: Regenerate.
* configure: Likewise.
2024-08-01 13:11:28 +02:00
..
2024-07-19 07:59:58 +02:00
2024-06-06 00:16:43 +00:00
2024-01-03 12:19:35 +01:00
2023-10-05 17:41:54 +02:00
2024-01-03 12:19:35 +01:00
2024-01-03 12:19:35 +01:00
2024-01-03 12:19:35 +01:00
2024-03-19 15:20:07 +00:00
2024-01-03 12:19:35 +01:00
2024-01-05 13:57:05 +00:00
2024-01-05 13:57:05 +00:00
2024-01-03 12:19:35 +01:00
2024-07-20 00:17:53 +00:00
2024-06-05 21:32:45 +02:00
2024-01-05 13:57:05 +00:00
2024-01-03 12:19:35 +01:00
2024-01-03 12:19:35 +01:00
2024-01-03 12:19:35 +01:00
2024-07-13 16:22:58 +01:00
2024-04-12 09:55:05 +02:00
2024-01-03 12:19:35 +01:00
2023-12-21 01:02:41 -03:00
2024-01-03 12:19:35 +01:00
2024-01-03 12:19:35 +01:00
2024-01-03 12:19:35 +01:00
2024-01-03 12:19:35 +01:00
2024-01-03 12:19:35 +01:00
2024-04-18 20:06:23 +00:00
2024-01-03 12:19:35 +01:00
2024-01-11 17:46:12 +01:00
2024-03-08 15:24:20 +01:00
2024-01-03 12:19:35 +01:00
2024-01-03 12:19:35 +01:00
2024-01-03 12:19:35 +01:00
2023-04-28 16:42:17 +02:00
2023-04-28 16:42:17 +02:00
2024-01-05 13:57:05 +00:00
2024-01-03 12:19:35 +01:00
2024-08-01 13:11:28 +02:00
2023-12-20 18:08:16 -05:00
2022-12-06 13:26:56 -05:00
2024-01-05 13:57:05 +00:00
2024-05-07 08:48:19 +02:00
2024-01-03 12:19:35 +01:00
2024-01-03 12:19:35 +01:00
2024-01-03 12:19:35 +01:00
2024-01-03 12:19:35 +01:00
2024-05-07 13:14:05 +02:00
2024-01-05 13:57:05 +00:00
2024-03-01 16:21:46 +01:00
2024-01-03 12:19:35 +01:00
2024-01-03 12:19:35 +01:00
2024-01-03 12:19:35 +01:00
2023-11-14 00:47:11 +01:00
2023-11-14 00:47:11 +01:00
2023-05-18 14:01:40 +01:00
2024-02-05 18:57:45 +01:00
2024-03-07 13:23:49 +01:00
2024-01-03 12:19:35 +01:00
2024-01-03 12:19:35 +01:00
2024-01-03 12:11:32 +01:00
2024-01-03 12:19:35 +01:00