|
1
|
# $PTII/lib/ptII.properties
|
|
2
|
# $Id: ptII.properties.in 42804 2006-06-06 04:03:34Z cxh $
|
|
3
|
# Properties set by configure for use when starting up.
|
|
4
|
#
|
|
5
|
# If this file is named "ptII.properties", don't edit it!
|
|
6
|
# Instead edit ptII.properties.in and run "cd $PTII;./configure"
|
|
7
|
# configure reads in $PTII/lib/ptII.properties.in,
|
|
8
|
# substitutes in variables that are surrounded with @,
|
|
9
|
# and generated $PTII/lib/ptII.properties.in
|
|
10
|
#
|
|
11
|
# We use a properties file here so that we can easily start Ptolemy II
|
|
12
|
# without passing lots of command line arguments. However, when
|
|
13
|
# running "vergil -sandbox" or "vergil -policyfile ...", merging
|
|
14
|
# properties from ptII.properties.in might not work.
|
|
15
|
#
|
|
16
|
# The format of this file is documented in the java.util.Properties
|
|
17
|
# Javadoc page, for example
|
|
18
|
# http://java.sun.com/j2se/1.5.0/docs/api/java/util/Properties.html
|
|
19
|
#
|
|
20
|
# This file is read in by StringUtilities.mergePropertiesFile().
|
|
21
|
# Properties listed in this file do not override preexisting properties.
|
|
22
|
# To view the properties, start up vergil, do
|
|
23
|
# File -> New -> Graph Editor -> View -> JVM Properties
|
|
24
|
|
|
25
|
####
|
|
26
|
# Location of the the PTII directory
|
|
27
|
ptolemy.ptII.dir=/Users/crawl/k/ptII
|
|
28
|
|
|
29
|
####
|
|
30
|
# Start up with the US Locale so as to avoid problems with , instead
|
|
31
|
# of . in floating point numbers in German and Swedish locales
|
|
32
|
user.language=en
|
|
33
|
user.region=US
|
|
34
|
|
|
35
|
####
|
|
36
|
# These properties are used by PtinyOS
|
|
37
|
#
|
|
38
|
|
|
39
|
# PTJAVA_HOME: The directory where the Java distribution can be found
|
|
40
|
# Don't use PTJAVA_DIR here, it is likely to be set to /usr under Solaris.
|
|
41
|
ptolemy.ptII.java.home=/System/Library/Frameworks/JavaVM.framework/Versions/1.5.0/Home
|
|
42
|
|
|
43
|
# Architecture that where jni includes can be found, for example:
|
|
44
|
# ptolemy.ptII.java.dir + /include/ + ptolemy.ptII.jni.architecture
|
|
45
|
# Usually one of win32, linux or solaris
|
|
46
|
ptolemy.ptII.jni.architecture=darwin
|
|
47
|
|
|
48
|
# Viptos requires TOSROOT and TOSDIR
|
|
49
|
# TOSROOT without /cygdrive
|
|
50
|
ptolemy.ptII.tosroot=
|
|
51
|
|
|
52
|
# TOSDIR without /cygdrive
|
|
53
|
ptolemy.ptII.tosdir=
|
|
54
|
|
|
55
|
# Override the default choice of browser, see
|
|
56
|
# $PTII/ptolemy/actor/gui/BrowserLauncher.java
|
|
57
|
#ptolemy.ptII.browser=c:\\Program\ Files\\Internet\ Explorer\\iexplore.exe
|
|
58
|
#ptolemy.ptII.browser=c:\\Program\ Files\\Mozilla\ Firefox\\firefox.exe
|