From 5bf130dfbc42d87f3ef5c64433347fd28d1c3f32 Mon Sep 17 00:00:00 2001
From: Juan Jose Garcia Ripoll <jjgarcia@users.sourceforge.net>
Date: Sun, 4 Jul 2010 22:53:51 +0200
Subject: [PATCH] Create a small script to run ecl_min

---
 src/Makefile.in | 5 +++++
 1 file changed, 5 insertions(+)

diff --git a/src/Makefile.in b/src/Makefile.in
index 5393ffd1f..7ea39c54d 100644
--- a/src/Makefile.in
+++ b/src/Makefile.in
@@ -81,6 +81,11 @@ ecl_min$(EXE): $(LIBRARIES) .gdbinit @LIBPREFIX@eclmin.@LIBEXT@
 	else \
 		$(CC) $(LDFLAGS) -o $@ cinit.o c/all_symbols.o -L./ @LIBPREFIX@eclmin.@LIBEXT@ $(CORE_LIBS) $(FASL_LIBS) $(LIBS);\
 	fi
+mini_ecl: ecl_min$(EXE) bare2.lsp
+	(echo '#!/bin/sh'; echo './ecl_min bare2.lsp') > $@
+	chmod +x $@
+bare2.lsp:
+	echo '(load "bare")(si::top-level)' > $@
 
 .gdbinit: $(srcdir)/util/gdbinit
 	cp $(srcdir)/util/gdbinit $@