| 2108 | 
           mathias | 
           1 | 
           # build.properties est écrasé par local.properties, s'il existe
  | 
        
        
            | 
            | 
           2 | 
           # Mettre seulement les propriétés communes à toutes les installations
  | 
        
        
            | 
            | 
           3 | 
              | 
        
        
           | 1868 | 
           raphael | 
           4 | 
           projectName = org.tela_botanica.cel2
  | 
        
        
            | 
            | 
           5 | 
           # pour la compilation "rapide" (ant quick)
  | 
        
        
            | 
            | 
           6 | 
           projectTestName = org.tela_botanica.cel-test
  | 
        
        
           | 2108 | 
           mathias | 
           7 | 
           # machine sur laquelle lancer le CeL en mode hosted
  | 
        
        
            | 
            | 
           8 | 
           cel-host = localhost
  | 
        
        
            | 
            | 
           9 | 
           cel-base-url = war/cel2.html
  | 
        
        
           | 1868 | 
           raphael | 
           10 | 
              | 
        
        
           | 1876 | 
           raphael | 
           11 | 
           # note: les répertoires de gwt, gwt-google-api, gwtext et gwtextux sont fixé relatif à ${gwt-path} dans build.xml
  | 
        
        
           | 2108 | 
           mathias | 
           12 | 
           gwt-path = ${user.home}/gwt
  | 
        
        
            | 
            | 
           13 | 
           gwt-maps-path = lib/gwt-maps-3.8.0
  | 
        
        
            | 
            | 
           14 | 
           gwt-ext-path = lib/gwtext-2.0.5
  | 
        
        
            | 
            | 
           15 | 
           gwt-ext-ux-path = lib/gwtextux-0.3
  | 
        
        
           | 1876 | 
           raphael | 
           16 | 
              | 
        
        
           | 1868 | 
           raphael | 
           17 | 
           # doit contenir ext-all.js, resources et adapter/ext/ext-base.js
  | 
        
        
           | 1876 | 
           raphael | 
           18 | 
           # Ces ressources sont nécessaire pour les widgets de gwt-ext-ux
  | 
        
        
            | 
            | 
           19 | 
           # et ce dernier attend des images dans resources/images du répertoire
  | 
        
        
            | 
            | 
           20 | 
           # de extjs.
  | 
        
        
            | 
            | 
           21 | 
           # Or, en extjs 4.2.1 par exemple, les ressources se trouvent désormais
  | 
        
        
            | 
            | 
           22 | 
           # dans resources/themes/images. Ainsi 2.0.2 est supportée, mais 4.2.1 ne l'est pas.
  | 
        
        
           | 2108 | 
           mathias | 
           23 | 
           ext-js-dir = vendors/extjs-2.0.1
  | 
        
        
           | 1868 | 
           raphael | 
           24 | 
              | 
        
        
           | 2108 | 
           mathias | 
           25 | 
           # Destination des fichiers .js / .css de extjs , dans le war (pas de raison de le changer)
  | 
        
        
            | 
            | 
           26 | 
           js-dest-dir = war/${projectName}/js
  | 
        
        
            | 
            | 
           27 | 
           ext-js-dest-dir = ${js-dest-dir}/ext
  |