diff options
Diffstat (limited to 'Makefile.config')
-rw-r--r-- | Makefile.config | 7 |
1 files changed, 1 insertions, 6 deletions
diff --git a/Makefile.config b/Makefile.config index 84c59e591a..783b7a3449 100644 --- a/Makefile.config +++ b/Makefile.config @@ -21,6 +21,7 @@ PROJECT_LIBRARYDIR ?= $(PROJECT_ROOT)/lib PROJECT_SUPPORTDIR ?= $(PROJECT_ROOT)/support PROJECT_SOURCEDIR ?= $(PROJECT_ROOT)/sources PROJECT_OUTPUTDIR ?= $(PROJECT_ROOT)/classes +PROJECT_BOOTSTRAPDIR ?= $(PROJECT_ROOT)/bootstrap PROJECT_CLASSPATH ?= $(PROJECT_OUTPUTDIR) PROJECT_LISTDIR ?= $(PROJECT_CONFIGDIR)/list PROJECT_APIDOCDIR ?= $(PROJECT_DOCUMENTDIR)/api @@ -86,12 +87,6 @@ PICO ?= pico PICO_FLAGS ?= -make -source 1.4 ############################################################################## -# Scala compiler - -SCALAC ?= $(PROJECT_BINARYDIR)/scalac -SCALADOC ?= $(PROJECT_BINARYDIR)/scaladoc - -############################################################################## # Makefile functions RUN ?= $(ECHO) '$(1)'; $(1) || exit $$? |