--- a/src/FOL/Makefile Tue Nov 26 17:49:25 1996 +0100
+++ b/src/FOL/Makefile Wed Nov 27 10:31:05 1996 +0100
@@ -35,7 +35,7 @@
$(BIN) is the Isabelle source directory; \
exit 1; \
fi
- @case `expr "//$(COMP)" : '[^ ]*/\(.*\)'` in \
+ @case `basename "$(COMP)"` in \
poly*) echo 'make_database"$(BIN)/FOL"; quit();' \
| $(COMP) $(BIN)/Pure;\
if [ "$${MAKE_HTML}" = "true" ]; \
@@ -63,7 +63,7 @@
cd ../Pure; $(MAKE)
test: ex/ROOT.ML $(BIN)/FOL $(EX_FILES)
- @case `expr "//$(COMP)" : '[^ ]*/\(.*\)'` in \
+ @case `basename "$(COMP)"` in \
poly*) if [ "$${MAKE_HTML-undefined}" != "undefined" ]; \
then echo 'make_html := true; exit_use_dir"ex"; quit();' \
| $(COMP) $(BIN)/FOL;\