[COMMITTED 006/145] gccrs: borrowck: Build Polonius automatically

[arthur . cohen]

From: Jakub Dupak <d...@jakubdupak.com>

This is minimalistic version to build Polonius with Cargo.

gcc/rust/ChangeLog:

        * Make-lang.in: Build Polonius.

Signed-off-by: Jakub Dupak <d...@jakubdupak.com>
---
 gcc/rust/Make-lang.in | 7 +++++++
 1 file changed, 7 insertions(+)

diff --git a/gcc/rust/Make-lang.in b/gcc/rust/Make-lang.in
index 33176df6d7a..795e899f51c 100644
--- a/gcc/rust/Make-lang.in
+++ b/gcc/rust/Make-lang.in
@@ -264,6 +264,7 @@ rust.srcman:
 # Clean hooks.
 
 rust.mostlyclean:
+       rm -rf rust/ffi-polonius/release libffi_polonius.a
 #      cd $(srcdir)/rust; rm -f *.o y.tab.h y.tab.c lex.yy.c
 
 rust.clean: rust.mostlyclean
@@ -487,3 +488,9 @@ rust/%.o: rust/checks/errors/borrowck/%.cc
 rust/%.o: rust/metadata/%.cc
        $(COMPILE) $(RUST_CXXFLAGS) $(RUST_INCLUDES) $<
        $(POSTCOMPILE)
+
+rust/libffi_polonius.a: \
+       rust/checks/errors/borrowck/ffi-polonius/Cargo.toml \
+       $(wildcard $(srcdir)/rust/checks/errors/borrowck/ffi-polonius/src/*)
+       cargo build --manifest-path 
$(srcdir)/rust/checks/errors/borrowck/ffi-polonius/Cargo.toml --release 
--target-dir rust/ffi-polonius
+       cp rust/ffi-polonius/release/libffi_polonius.a rust/libffi_polonius.a
\ No newline at end of file
-- 
2.45.2