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