From fca96e3be1ed01599231a376f99e23e811ffae91 Mon Sep 17 00:00:00 2001
From: onox <denkpadje@gmail.com>
Date: Sun, 12 Jul 2020 19:53:54 +0200
Subject: [PATCH] Add 'ce' command to compile with latest CE in Docker
 container

Signed-off-by: onox <denkpadje@gmail.com>
---
 Makefile | 5 ++++-
 1 file changed, 4 insertions(+), 1 deletion(-)

diff --git a/Makefile b/Makefile
index 516da10..9ff4b6a 100644
--- a/Makefile
+++ b/Makefile
@@ -19,7 +19,7 @@ installcmd = $(GNATINSTALL) -p \
 	--ali-subdir=$(alidir) \
 	--prefix=$(PREFIX)
 
-.PHONY: build tests tools debug clean coverage prove install uninstall
+.PHONY: build tests tools debug clean coverage prove ce install uninstall
 
 build:
 	$(GNATMAKE) -P tools/json_ada.gpr -cargs $(CFLAGS)
@@ -42,6 +42,9 @@ clean:
 prove:
 	$(GNATPROVE) --level=4 --prover=all --mode=check -P tools/json_ada.gpr
 
+ce:
+	docker run --rm -it -v ${PWD}:/test -u $(shell id -u):$(shell id -g) -w /test alire/gnat:community-latest make tools
+
 tests: build_test
 	./tests/unit/test_bindings