Pages enfant
  • 01 - build.properties

Fichier build.properties


build.properties
java_home=/usr/java/jdk1.5

# CURRENT FOLDER
esup.root=${basedir.conv}

devel.mode=false


esup.base=${esup.root}/Portail
esup.sources=${esup.base}/uPortal_rel-${uportal.ver}
esup.deploy=${esup.base}/webapps
esup.build=${esup.sources}/build

server.home=${esup.base}/Tomcat-${tomcat.ver}
server.temp=${server.home}/temp

esup.custom=${esup.root}/custom
esup.update=${esup.root}/update
esup.resources=${esup.root}/resources
esup.packages=${esup.root}/packages
esup.tmp=${esup.root}/tmp

config.file=${esup.root}/config.properties

 
Avec :

Variable

Description

Exemple

Modifiable

java_home

Le chemin où est installé le JDK

java_home=/usr/java/jdk1.5
java_home=C:\jdk1.5.0

OUI

esup.root

Détermine automatiquement l'endroit ou se trouve le package

esup.root=${basedir.conv}

NON

devel.mode

Sélecteur qui permet de savoir au package si c'est un package esupdev ou esup

devel.mode=true
devel.mode=false

NON

esup.base

Chemin par défaut ou le portail et toutes ses composantes seront installés

esup.base=${esup.root}/Portail
esup.base=/home/esup

OUI

esup.sources

Emplacement où seront décompressés les sources uPortal

esup.sources=${esup.base}/uPortal_rel-${uportal.ver}
esup.sources=/home/esup/src/uPortal_rel-${uportal.ver}

OUI

esup.deploy

Dossier où sera déployé le portail

esup.deploy=${esup.base}/webapps
esup.deploy=/home/esup/webapps

OUI

esup.build

Dossier où sera compilé le portail avant deploiement

esup.build=${esup.sources}/build

NON

server.home

Emplacement ou se trouve Tomcat
Dans le package esupdev, emplacement où sera décompressé Tomcat

server.home=${esup.base}/Tomcat-${tomcat.ver}
server.home=/usr/local/Tomcat-${tomcat.ver}

OUI

server.temp

Dossier temporaire de Tomcat

server.temp=${server.home}/temp

OUI

esup.custom

Dossier contenant vos personnalisations

esup.custom=${esup.root}/custom
esup.custom=/home/esup/monCustom

OUI

esup.update

Dossier contenant les personnalisation ESUP

esup.update=${esup.root}/update

NON 

esup.resources

Dossier contenant des ressources propres au package

esup.resources=${esup.root}/resources

NON

esup.packages

Dossier contenant les distributions compressées des produits tiers (uPortal, etc.)

esup.packages=${esup.root}/packages

NON 

esup.tmp

Dossier temporaire du package

esup.tmp=${esup.root}/tmp

NON

config.file

Fichier de configuration du portail

config.file=${esup.root}/config.properties
config.file=/home/esup/maConfig.properties

OUI

En toute logique lors de la configuration vous devez changer :

  1. java_home
  2. esup.sources, esup.deploy (ou alors esup.base si vous voulez tout mettre dans le même dossier)
  3. server.home
  • Aucune étiquette