From ad047d1f74aa8b85679a5a2109d68850d1bc3c14 Mon Sep 17 00:00:00 2001
From: Brian Anderson <banderson@mozilla.com>
Date: Thu, 26 Jul 2012 16:11:09 -0700
Subject: [PATCH] Stop building Ragel

It's not needed for the distributable harfbuzz source that we're building now.
I haven't removed the submodule because it's an involved process that looks
like it will trip people up.
---
 Makefile.in  | 12 ++----------
 configure.in |  2 --
 2 files changed, 2 insertions(+), 12 deletions(-)

diff --git a/Makefile.in b/Makefile.in
index 60ba7411e97..9e3afddbca0 100644
--- a/Makefile.in
+++ b/Makefile.in
@@ -84,7 +84,6 @@ CHECK_DEPS += \
 	$(NULL)
 
 CLEAN_DEPS += \
-	clean-ragel \
 	clean-harfbuzz \
 	clean-rust-harfbuzz \
 	clean-mozjs \
@@ -111,11 +110,8 @@ libservo.dummy: $(SERVO_DEPS)
 servo-test: $(SERVO_DEPS)
 	$(RUSTC) $(RUSTFLAGS) $(RUSTLIBS) --test -o $@ $<
 
-src/ragel/ragel/ragel:
-	$(MAKE) -C src/ragel
-
-src/harfbuzz/src/.libs/libharfbuzz.a: src/ragel/ragel/ragel
-	$(MAKE) -C src/harfbuzz PATH=$(PATH):$(BUILD_DIR)/src/ragel/ragel CXXFLAGS=-fPIC LDFLAGS="-fPIC -lstdc++"
+src/harfbuzz/src/.libs/libharfbuzz.a:
+	$(MAKE) -C src/harfbuzz CXXFLAGS=-fPIC LDFLAGS="-fPIC -lstdc++"
 
 src/mozjs/libjs_static.a:
 	$(MAKE) -C src/mozjs
@@ -202,10 +198,6 @@ check-rust-layers: $(LAYERS_DEPS)
 .PHONY:	clean
 clean: $(CLEAN_DEPS)
 
-.PHONY: clean-ragel
-clean-ragel:
-	$(MAKE) clean -C src/ragel
-
 .PHONY: clean-harfbuzz
 clean-harfbuzz:
 	$(MAKE) clean -C src/harfbuzz
diff --git a/configure.in b/configure.in
index 24911354be7..1114f2cc428 100755
--- a/configure.in
+++ b/configure.in
@@ -3,7 +3,6 @@
 SRCDIR="$(cd $(dirname $0) && pwd)"
 sed "s#%VPATH%#${SRCDIR}#" ${SRCDIR}/Makefile.in > Makefile
 
-mkdir -p src/ragel || exit $?
 mkdir -p src/harfbuzz || exit $?
 mkdir -p src/mozjs || exit $?
 mkdir -p src/rust-harfbuzz || exit $?
@@ -17,7 +16,6 @@ mkdir -p src/rust-geom || exit $?
 mkdir -p src/rust-glut || exit $?
 mkdir -p src/rust-layers || exit $?
 
-(cd src/ragel && sh ${SRCDIR}/src/ragel/configure) || exit $?
 (cd src/harfbuzz && sh ${SRCDIR}/src/harfbuzz/configure --enable-static) || exit $?
 (cd src/mozjs && sh ${SRCDIR}/src/mozjs/js/src/configure --enable-debug --disable-optimize) || exit $?
 (cd src/rust-opengles && sh ${SRCDIR}/src/rust-opengles/configure) || exit $?