-
Notifications
You must be signed in to change notification settings - Fork 12
/
release-46x-212.conf
60 lines (49 loc) · 1.67 KB
/
release-46x-212.conf
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
##### Defined in the script #####
# CURRENT_DIR: execution dir
#####
##### local dirs #####
# Unlikely to need modification
##### what to do #####
# operation to perform (release, release-dryrun, nightly, scala-pr-validator, scala-pr-rebuild)
OPERATION=release
# logging type (console, file)
LOGGING=file
# with caching? (true or false)
WITH_CACHE=true
# plugins to build: "worksheet play search" (between double quotes, space separated)
PLUGINS="worksheet search scalatest"
# build the product (true or false)
PRODUCT=true
ECLIPSE_PLATFORM=neon
# type of build (dev, stable)
BUILD_TYPE=dev
##### Scala information #####
# The version of Scala to use
SCALA_VERSION=2.12.2
# The version of Scala to use for multi-version support
SCALA210_VERSION=2.10.6
SCALA211_VERSION=2.11.8
# The git version of Scala to use
#SCALA_GIT_HASH=
##### Scala IDE information #####
SCALA_IDE_GIT_BRANCH=4.6.0-rc2
SCALA_IDE_VERSION_TAG=v
##### Scala Refactoring information #####
SCALA_REFACTORING_GIT_BRANCH=0.13.0-4.6.0-rc2
##### Scalariform information #####
SCALARIFORM_GIT_BRANCH=scala-ide-4.6.0
##### Scala Worksheet plugin information #####
WORKSHEET_PLUGIN_GIT_BRANCH=4.6.0-rc2
WORKSHEET_PLUGIN_VERSION_TAG=v
##### Play plugin information #####
PLAY_PLUGIN_GIT_BRANCH=0.10.0
PLAY_PLUGIN_VERSION_TAG=v
##### Scala Search plugin information #####
SEARCH_PLUGIN_GIT_BRANCH=4.6.0-rc2
SEARCH_PLUGIN_VERSION_TAG=v
##### ScalaTest plugin information #####
SCALATEST_PLUGIN_P2_REPO=http://download.scala-ide.org/plugins/scalatest/releases/2.12.x/site
SCALATEST_PLUGIN_VERSION=2.10.0.v-4-6-2_12-201704041333-e62e4ad
##### Scala IDE product information #####
PRODUCT_GIT_BRANCH=4.6.0-rc2
PRODUCT_VERSION_TAG=4.6.0-rc2