Commit 3aef348d authored by Maxime Perrotin's avatar Maxime Perrotin

Add bit of documentation

parent 33290a60
(c) 2017-2018 European Space Agency / Maxime Perrotin
This repository contains all the components of the [future] TASTE Model Checker.
After installing asn1-iterators, make sure you export
ADA_PROJECT_PATH=~/.local/share/gpr
......@@ -8,6 +8,7 @@ install: uninstall
mkdir -p obj && sed 's,$$PREFIX,$(PREFIX),g' src/taste-asn1-iterators > obj/taste-asn1-iterators && chmod +x obj/taste-asn1-iterators
gprbuild -p asn1_iterators.gpr
gprinstall -p -XLIBRARY_TYPE=dynamic --build-name=shared --prefix=$(PREFIX) asn1_iterators.gpr
@echo Do not forget to export ADA_PROJECT_PATH=$(PREFIX)/share/gpr
test_build: clean install
mkdir -p build_test
......
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment