www/aws/files/patch-gps_makefile


1
2
3
4
5
6
7
8
9
10
11

--- gps/makefile.orig	2014-05-15 19:48:07.000000000 +0000
+++ gps/makefile
@@ -20,7 +20,7 @@
 
 ALL_API = $(sort $(shell ls ../src/core/*.ads ../src/extended/*.ads \
 	../src/soap/*.ads  ../src/xsrc/*.ads \
-	../templates_parser/src/*.ads ../templates_parser/xsrc/*.ads))
+	))
 
 setup: