Add install target and mention IDE integration in README

Ref. #243
AdaCore · Jul 6, 2020 · 0470447 · 0470447
1 parent db73b0e
commit 0470447
Show file tree

Hide file tree

Showing 2 changed files with 9 additions and 0 deletions.
diff --git a/Makefile b/Makefile
@@ -71,6 +71,9 @@ prove_spark: $(test-files)
 prove_spark_cvc4: $(test-files)
 	gnatprove -P$(project) --prover=cvc4 --steps=200000 --timeout=120 --warnings=continue -u rflx-ipv4 -u rflx-ipv4-packet -u rflx-in_ipv4 -u rflx-in_ipv4-contains -u rflx-in_ipv4-tests $(GNATPROVE_ARGS)
 
+install_gnatstudio:
+	install -m 644 ide/gnatstudio/recordflux.py ${HOME}/.gnatstudio/plug-ins/recordflux.py
+
 clean:
 	gprclean -Ptest
 	gnatprove -Ptest --clean

diff --git a/README.md b/README.md
@@ -291,6 +291,12 @@ By default the following dependencies are installed:
 
 Additionally, [GNAT Community 2020](https://www.adacore.com/download) is needed for compiling and verifying generated SPARK code.
 
+Optionally, the GNAT Studio IDE integration for RecordFlux can be installed. It enables syntax highlighting for RecordFlux specifications and allows for running RecordFlux from within GNAT Studio. In the RecordFlux source directory do:
+
+```Console
+$ make install_gnatstudio
+```
+
 ## Limitations
 
 A list of known limitations for version 0.4.0 can be found [here](https://github.com/Componolit/RecordFlux/issues?q=is%3Aissue+label%3Alimitation+label%3Av0.4.0).