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