From 8608e446b4558d8470b9651596c321762907b772 Mon Sep 17 00:00:00 2001
From: Morgan Deters <mdeters@cs.nyu.edu>
Date: Wed, 25 Jun 2014 10:07:44 -0400
Subject: [PATCH] Don't allow libabc to load extensions at runtime.

---
 contrib/get-abc | 8 ++++++++
 1 file changed, 8 insertions(+)

diff --git a/contrib/get-abc b/contrib/get-abc
index 8e04ca655..c60e403e6 100755
--- a/contrib/get-abc
+++ b/contrib/get-abc
@@ -42,6 +42,14 @@ cd alanmi-abc-$commit
 cp src/base/main/main.c src/base/main/main.c.orig
 sed 's,^// *#define ABC_LIB *$,#define ABC_LIB,' src/base/main/main.c.orig > src/base/main/main.c
 
+# Strip out libSupport.c, it is in charge of loading extensions and we
+# don't want different behavior based on ABC_LIB_PATH, or based on what
+# .so is in the current directory!
+cp src/base/main/module.make src/base/main/module.make.orig
+grep -v 'libSupport\.c' src/base/main/module.make.orig > src/base/main/module.make
+cp src/base/main/mainInit.c src/base/main/mainInit.c.orig
+sed 's,\( *\)\(.*Libs_Init(\),\1//\2,;s,\( *\)\(.*Libs_End(\),\1//\2,' src/base/main/mainInit.c.orig > src/base/main/mainInit.c
+
 # Build optimized, without readline, without pthreads.
 # These aren't necessary for our usage and we don't want the dependencies.
 make libabc.a OPTFLAGS=-O READLINE=0 PTHREADS=0
-- 
2.30.2