===================================================================
RCS file: /home/cvs/OpenXM/src/mpfi/Makefile,v
retrieving revision 1.1
retrieving revision 1.2
diff -u -p -r1.1 -r1.2
--- OpenXM/src/mpfi/Makefile	2019/11/12 10:59:17	1.1
+++ OpenXM/src/mpfi/Makefile	2021/03/24 14:32:47	1.2
@@ -39,12 +39,16 @@ patch: extract
 configure : patch
 	@if [ ! -f work/.configure_done ]; then \
 		prefix=`cd ${OpenXM_HOME}; pwd` ; \
-		if [  "`uname | sed -e 's/_.*$$//'`" = "CYGWIN" ]; then \
-		  make configure-cygwin ; \
-		elif [  "`uname | sed -e 's/_.*$$//'`" = "MSYS" ];  then \
-		  make configure-msys ; \
+		if [ -z $TARGET_TYPE ]; then \
+			if [  "`uname | sed -e 's/_.*$$//'`" = "CYGWIN" ]; then \
+			  make configure-cygwin ; \
+			elif [  "`uname | sed -e 's/_.*$$//'`" = "MSYS" ];  then \
+			  make configure-msys ; \
+			else \
+			  make configure-others ; \
+			fi ; \
 		else \
-		  make configure-others ; \
+		  make configure-cross ; \
 		fi ; \
 	fi
 	@touch work/.configure_done
@@ -58,6 +62,9 @@ configure-msys:
 configure-others:
 	prefix=`cd ${OpenXM_HOME}; pwd`  ; \
 	(cd ${WRKSRC}; CC=${CC} ./configure --prefix=$$prefix --with-gmp-lib="$$prefix/lib" --with-gmp-include="$$prefix/include" --disable-thread-safe)
+configure-cross:
+	prefix=`cd ${OpenXM_HOME}; pwd`  ; \
+	(cd ${WRKSRC}; CC=${CC} ./configure --host=${TARGET_TYPE} --prefix=$$prefix --with-gmp-lib="$$prefix/lib" --with-gmp-include="$$prefix/include" --disable-thread-safe)
 
 build : configure
 	@if [ ! -f work/.build_done ]; then \