;*=====================================================================*/ ;* serrano/prgm/project/hop/2.2.x/weblets/home/config.hop.in */ ;* ------------------------------------------------------------- */ ;* Author : Manuel Serrano */ ;* Creation : Mon Apr 10 13:54:14 2006 */ ;* Last change : Thu Jan 20 09:36:00 2011 (serrano) */ ;* Copyright : 2006-11 Manuel Serrano */ ;* ------------------------------------------------------------- */ ;* Home configuration */ ;*=====================================================================*/ ;*---------------------------------------------------------------------*/ ;* The module */ ;*---------------------------------------------------------------------*/ (module hophome_config (export (home-version) (home-date) (home-author) (home-dir) (home-rc-directory) (home-hop-stable-version) (home-hop-stable-version-set! version) (home-hop-devel-version) (home-hop-devel-version-set! version) (home-articles-url-base) (home-ftp-hop-url) (home-ftp-bigloo-url) (home-bigloo-url) (home-source-url) (home-google-qrcode-format))) ;*---------------------------------------------------------------------*/ ;* Version */ ;*---------------------------------------------------------------------*/ (define (home-version) "@VERSION@") (define (home-date) "@DATE@") (define (home-author) "M. Serrano") ;*---------------------------------------------------------------------*/ ;* home-dir */ ;*---------------------------------------------------------------------*/ (define-parameter home-dir (dirname (the-loading-file))) ;*---------------------------------------------------------------------*/ ;* home-rc-directory ... */ ;*---------------------------------------------------------------------*/ (define-parameter home-rc-directory (make-file-name (hop-rc-directory) "home")) ;*---------------------------------------------------------------------*/ ;* home-hop-stable-version ... */ ;*---------------------------------------------------------------------*/ (define-parameter home-hop-stable-version "@HOPRELEASE@") ;*---------------------------------------------------------------------*/ ;* home-hop-devel-version ... */ ;*---------------------------------------------------------------------*/ (define-parameter home-hop-devel-version (let ((fname (make-file-name (hop-rc-directory) "DEVEL.version"))) (when (file-exists? fname) (with-input-from-file fname read-line)))) ;*---------------------------------------------------------------------*/ ;* home-articles-url-base ... */ ;*---------------------------------------------------------------------*/ (define-parameter home-articles-url-base "http://www.inria.fr/indes/Manuel.Serrano/publi") ;*---------------------------------------------------------------------*/ ;* home-ftp-hop-url ... */ ;*---------------------------------------------------------------------*/ (define-parameter home-ftp-hop-url "ftp://ftp-sop.inria.fr/indes/fp/Hop") ;*---------------------------------------------------------------------*/ ;* home-ftp-bigloo-url ... */ ;*---------------------------------------------------------------------*/ (define-parameter home-ftp-bigloo-url "ftp://ftp-sop.inria.fr/indes/fp/Bigloo") ;*---------------------------------------------------------------------*/ ;* home-bigloo-url ... */ ;*---------------------------------------------------------------------*/ (define-parameter home-bigloo-url "http://www-sop.inria.fr/indes/fp/Bigloo") ;*---------------------------------------------------------------------*/ ;* home-source-url ... */ ;*---------------------------------------------------------------------*/ (define-parameter home-source-url "http://hop.inria.fr:4000") ;*---------------------------------------------------------------------*/ ;* home-google-qrcode-format ... */ ;*---------------------------------------------------------------------*/ (define-parameter home-google-qrcode-format "https://chart.googleapis.com/chart?chs=~a&chld=~a&cht=qr&chma=0,0,0,0&chof=png&chl=choe=UTF-8&chl=~a")