Commit 5f67040f authored by Maxime Perrotin's avatar Maxime Perrotin

Fix Makefile and update gitignore

parent 5bdfb9b8
default.cgpr
ada/buildsupport_version.ads
buildsupport
tmpBuild
......@@ -30,7 +30,7 @@ ifeq ($(UNAME), Linux)
fi
endif
# Define a gprbuild default configuration to avoid compiling with llvm
gprconfig --batch --target=x86_64-pc-linux-gnu --config=C,,,,GCC --config=C++,,,,G++
gprconfig --batch --config=Ada,,default,,GNAT --config=C,,default,,GCC --config=C++,,default,,G++
OCARINA_PATH=`ocarina-config --prefix` \
$(gnatpath)gprbuild -x -g $(exec) -p -P buildsupport.gpr -XBUILD="debug" $$EXTRAFLAG -j4
......
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