diff options
| author | michelou <michelou@epfl.ch> | 2004-01-06 19:15:16 +0000 |
|---|---|---|
| committer | michelou <michelou@epfl.ch> | 2004-01-06 19:15:16 +0000 |
| commit | da4189d1039330c091373d8686fb0a12c9bc7e67 (patch) | |
| tree | 3150a138ed7bd58902cbb7d49592cbfa162c4d1c /Makefile.distrib | |
| parent | 2c8a91239d23827b0b0c6a79a0a6b6c32f7f0d58 (diff) | |
| download | scala-da4189d1039330c091373d8686fb0a12c9bc7e67.tar.gz scala-da4189d1039330c091373d8686fb0a12c9bc7e67.tar.bz2 scala-da4189d1039330c091373d8686fb0a12c9bc7e67.zip | |
- added support for jEdit in distribution.
Diffstat (limited to 'Makefile.distrib')
| -rw-r--r-- | Makefile.distrib | 8 |
1 files changed, 8 insertions, 0 deletions
diff --git a/Makefile.distrib b/Makefile.distrib index 7245e49771..f6da5d3744 100644 --- a/Makefile.distrib +++ b/Makefile.distrib @@ -19,6 +19,11 @@ EMACS_ROOT = $(PROJECT_SUPPORTDIR)/emacs EMACS_LIST += $(call READLIST,$(PROJECT_LISTDIR)/emacs.lst) EMACS_FILES = $(EMACS_LIST:%=$(EMACS_ROOT)/%) +# jedit scala-mode +JEDIT_ROOT = $(PROJECT_SUPPORTDIR)/jedit +JEDIT_LIST += scala.xml +JEDIT_FILES = $(JEDIT_LIST:%=$(JEDIT_ROOT)/%) + # ultraedit scala-mode ULTRAEDIT_ROOT = $(PROJECT_SUPPORTDIR)/ultraedit ULTRAEDIT_LIST += scala.txt @@ -102,6 +107,9 @@ install : $(TOOLS_JAR_ARCHIVE) $(INSTALL) -m 755 -d $(INSTALL_SUPPORTDIR)/emacs $(strip $(MIRROR) -m 644 -p -C $(EMACS_ROOT) $(EMACS_LIST) \ $(INSTALL_SUPPORTDIR)/emacs) + $(INSTALL) -m 755 -d $(INSTALL_SUPPORTDIR)/jedit + $(strip $(MIRROR) -m 644 -p -C $(JEDIT_ROOT) $(JEDIT_LIST) \ + $(INSTALL_SUPPORTDIR)/jedit) $(INSTALL) -m 755 -d $(INSTALL_SUPPORTDIR)/ultraedit $(strip $(MIRROR) -m 644 -p -C $(ULTRAEDIT_ROOT) $(ULTRAEDIT_LIST) \ $(INSTALL_SUPPORTDIR)/ultraedit) |