gccrs: borrowck: Build Polonius automatically

This is minimalistic version to build Polonius with Cargo.

gcc/rust/ChangeLog:

	* Make-lang.in: Build Polonius.

Signed-off-by: Jakub Dupak <dev@jakubdupak.com>

diff --git a/gcc/rust/Make-lang.in b/gcc/rust/Make-lang.in
index 33176df6d7ace9f94ec6a0ed0d1c3441b0891d1c..795e899f51ce469f8c3c5efd2e0fff153a15c823 100644 (file)
--- 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