From a49899033fe7db8bf451dc97c798059d34ce2f60 Mon Sep 17 00:00:00 2001
From: Michal Sojka <sojkam1@fel.cvut.cz>
Date: Tue, 15 Oct 2013 00:15:48 +0200
Subject: [PATCH] Add various build checks

---
 Makefile.git | 29 ++++++++++++++++++++++++++---
 1 file changed, 26 insertions(+), 3 deletions(-)

diff --git a/Makefile.git b/Makefile.git
index b490830..170eb58 100644
--- a/Makefile.git
+++ b/Makefile.git
@@ -2,18 +2,41 @@ default: git
 	@echo "Now you can run './configure'"
 
 git:
-	autoreconf -i 
+	autoreconf -i
 
 all:
-	aclocal -I admin 
+	aclocal -I admin
 	autoheader
 	automake
 	autoconf
 
-.PHONY: default cvs all dist dist-tarball
+.PHONY: default git all dist dist-tarball
 
 VER=$(shell git describe --match='v[0-9]*' | sed -e 's/^v\(.*\)/\1/')
 
+configure: git
+
+check: configure
+	$(MAKE) -f Makefile.git check-windows check-autotools check-java
+
+check-windows:
+	mkdir -p _check-win
+	cd _check-win && ../configure --host=i586-mingw32msvc CC=i586-mingw32msvc-gcc
+	cd _check-win && $(MAKE)
+
+check-autotools:
+	mkdir -p _check-autotools
+	cd _check-autotools && ../configure
+	cd _check-autotools && $(MAKE)
+
+check-java: JAVAC=$(shell readlink -f $(which javac))
+check-java: JAVA_HOME=$(JAVAC:%/bin/javac=%)
+check-java:
+	mkdir -p _check-java
+	cd _check-java && ../configure --with-java=$(JAVA_HOME)
+	cd _check-java && $(MAKE)
+	false # Java is not compiled - either fix it or update README
+
 dist:
 	$(MAKE) VER=$(VER) dist-tarball dist-check
 	@echo "Tarball stored as orte-$(VER).tar.gz"
-- 
2.39.2