jnode.properties.dist

   1 # This file contain custom JNode properties used in the JNode build process.
   2 #
   3 # Copy this file to jnode.properties and edit that file as needed.
   4 #
   5
   6 # -----------------------------------------------
   7 # Settings for initjar building
   8
   9 # Set this directory to the directory containing custom plugin lists
  10 # if you have custom initjars to build.
  11 # custom.plugin-list.dir = ${root.dir}/local/plugin-lists/
  12
  13 # Uncomment this property if you do not want the default initjars to be build.
  14 # no.default.initjars = 1
  15
  16 # Set this property to the directory containing user applications for the
  17 # jar packager (tool to easily create a jnode plugin from a regular jar file)
  18 # user.applications.dir = ${root.dir}/local/applications/
  19
  20 # -----------------------------------------------
  21 # Settings for the bootdisk image
  22
  23 # Uncomment this property if you do not want bootdisk image to be build.
  24 # no.bootdisk = 1
  25
  26 # -----------------------------------------------
  27 # Settings for the netboot build
  28
  29 # Uncomment this property if you do not want netboot directory to be build.
  30 # no.netboot = 1
  31
  32 # -----------------------------------------------
  33 # Settings for the memory manager
  34
  35 # Default memory manager (selected when no other memory manager is selected)
  36 # jnode.memmgr.plugin.id=org.jnode.vm.memmgr.def
  37
  38 # Uncomment to enable MMTk NoGC based memory manager (still very beta)
  39 # jnode.memmgr.plugin.id=org.jnode.vm.memmgr.mmtk.nogc
  40
  41 # Uncomment to enable MMTk GenRC based memory manager (still very alpha)
  42 # jnode.memmgr.plugin.id=org.jnode.vm.memmgr.mmtk.genrc
  43
  44 # -----------------------------------------------
  45 # Settings for the document-plugins task
  46
  47 # Uncomment this if you want the document-plugins task to include a tree page.
  48 # You must have dot installed for this, see http://www.graphviz.org/
  49 # jnode.plugin.doc.tree = true
  50
  51 # -----------------------------------------------
  52 # Settings for use of NT bootloader (NT/Me/XP)
  53
  54 # Changes these values to match the disk/partition where windows is installed.
  55 # the value is of the form (hdx,y) where :
  56 # - x is the disk number (starting from 0)
  57 # - y is the partition number (starting from 0)
  58 partition-nt=(hd0,1)
  59
  60 # Path to install jnode. The drive must be where is installed windows
  61 jnode.install-nt.dir=C:\jnode
  62
  63 # -----------------------------------------------
  64 # Settings for the compiler
  65
  66 # Uncomment this if you want use custom compiler arguments
  67 #compilerarg=-Xlint:unchecked
  68
  69 # -----------------------------------------------
  70 # Set up the host and port where the JNode debugger server is available.
  71 # This is needed by the hotswap ant target.
  72 jnode.debugger.host=
  73 jnode.debugger.port=6789
  74
  75 # -----------------------------------------------
  76 # Settings for a VMware virtual machine
  77 # -----------------------------------------------
  78
  79 # Uncomment and edit this line if you want to override the settings
  80 # in the 'jnode-x86-*.vmx' file.  For example, you may want to include
  81 # settings to configure a VMware virtual hard drive, or real hard drive.
  82 # Refer to the maintainers pages on the JNode website for details.
  83 # Notes:
  84 # - Settings in the override file should be in standard VMX syntax.
  85 # - The settings override the default settings, including (if you
  86 #   set them) the memSize and/or logFile parameters set in the
  87 #   ant build.xml files.
  88 # - Any non-absolute pathnames in the VMX settings are resolved relative
  89 #   to the VMX file's location!
  90
  91 #vmware.vmx.overrides=<some-file-containing-vmx-settings>
  92
  93 # -----------------------------------------------
  94 # Custom system properties
  95 # -----------------------------------------------
  96
  97 jnode.java.home=/jnode
  98 jnode.java.io.tmpdir=/jnode/tmp
  99 jnode.user.home=/jnode/home
 100
 101 # -----------------------------------------------
 102 # Enable or disable security under JNode
 103 # -----------------------------------------------
 104
 105 #jnode.security.enabled=true
 106
 107 # -----------------------------------------------
 108 # Custom build tools
 109 # -----------------------------------------------
 110 # jnode.enable.mkisofs=true
 111
 112 # -----------------------------------------------
 113 # If enabled, the build system will not try to
 114 # download the classlib binaries from the net.
 115 # Instead the quickdeploy ANT target should be run
 116 # in classlib6 to get the binaries.
 117 # -----------------------------------------------
 118 #jnode.local.classlib=true