extra/tools: added Ragel

HarfBuzz requires Ragel when executing autogen.sh.
Signed-off-by: Jean-Baptiste Kempf <jb@videolan.org>

extras/tools/bootstrap

@@ -61,6 +61,7 @@ check pkg-config
 check cmake
 check yasm
 check_tar
+check ragel
 
 [ -n "$NEEDED" ] && mkdir -p build/
 

extras/tools/packages.mak

@@ -31,3 +31,6 @@ OPENSSL_URL=http://www.openssl.org/source/openssl-$(OPENSSL_VERSION).tar.gz
 
 GAS_URL=https://github.com/mansr/gas-preprocessor/tarball/master
 GAS_VERSION=4ef872b
+
+RAGEL_VERSION=6.7
+RAGEL_URL=http://www.complang.org/ragel/ragel-$(RAGEL_VERSION).tar.gz

extras/tools/tools.mak

@@ -213,6 +213,22 @@ CLEAN_FILE += .gas
 CLEAN_PKG += gas
 DISTCLEAN_PKG += yuvi-gas-preprocessor-$(GAS_VERSION).tar.gz
 
+# Ragel State Machine Compiler
+ragel-$(RAGEL_VERSION).tar.gz:
+	$(call download,$(RAGEL_URL))
+
+ragel: ragel-$(RAGEL_VERSION).tar.gz
+	$(UNPACK)
+	$(MOVE)
+
+.ragel: ragel
+	(cd ragel; ./configure --prefix=$(PREFIX) --disable-shared --enable-static && make && make install)
+	touch $@
+
+CLEAN_FILE += .ragel
+CLEAN_PKG += ragel
+DISTCLEAN_PKG += ragel-$(RAGEL_VERSION).tar.gz
+
 #
 #
 #