src: use python to copy config.rs file

This commit is contained in:
Stéphane Cerveau 2022-11-16 08:52:44 +01:00
parent a744b17490
commit 9bcca3863a

View file

@ -9,12 +9,7 @@ configure_file(
)
# Copy the config.rs output to the source directory.
run_command(
'cp',
join_paths(meson.build_root(), 'src', 'config.rs'),
join_paths(meson.source_root(), 'src', 'config.rs'),
check: true
)
run_command(python3, '-c', 'import shutil; shutil.copyfile("@0@", "@1@")'.format(join_paths(meson.build_root(), 'src', 'config.rs'), join_paths(meson.source_root(), 'src', 'config.rs')))
rust_sources = files(
'gps/player.rs',