From 580cdf42669cd8196b50fead0067c097392fbd4e Mon Sep 17 00:00:00 2001
From: Benjamin Renard <benjamin.renard@akka.eu>
Date: Thu, 5 Nov 2020 14:24:02 +0100
Subject: [PATCH] Priority to /opt local dir for tools compilation (related to #8131)

---
 php/src/Makefile | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/php/src/Makefile b/php/src/Makefile
index bfd01e7..77ba026 100644
--- a/php/src/Makefile
+++ b/php/src/Makefile
@@ -1,5 +1,5 @@
-INC = -I/usr/include -I/usr/local/include -I${COTS_BASE_DIR}/include -I${COTS_BASE_DIR}/include/DDClientLibC
-LIB = -L/usr/lib64 -L/usr/local/lib64  -L${COTS_BASE_DIR}/lib
+INC = -I${COTS_BASE_DIR}/include -I${COTS_BASE_DIR}/include/DDClientLibC -I/usr/include -I/usr/local/include
+LIB = -L${COTS_BASE_DIR}/lib -L/usr/lib64 -L/usr/local/lib64 
 CFLAGS = -ggdb -DLINUX -m64 -march=core2 -fPIC -Dlinux -D_REENTRANT -malign-double 
 CC = gcc
 
--
libgit2 0.21.2