Create a small script to run ecl_min

This commit is contained in:
Juan Jose Garcia Ripoll 2010-07-04 22:53:51 +02:00
parent 175ecd5891
commit 5bf130dfbc

View file

@ -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 $@