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