Changeset 30718 in project for release/4/picnic/trunk/picnic.scm


Ignore:
Timestamp:
04/16/14 09:18:41 (7 years ago)
Author:
Ivan Raikov
Message:

picnic: added option -c (compile)

File:
1 edited

Legend:

Unmodified
Added
Removed
  • release/4/picnic/trunk/picnic.scm

    r30717 r30718  
    2323(import scheme chicken)
    2424
    25 (require-extension srfi-1 picnic-core)
     25(require-extension srfi-1 setup-api picnic-core)
    2626(require-library iexpr ersatz-lib picnic-utils)
    2727(require-extension datatype matchable lalr-driver getopt-long)
     
    2929        (prefix ersatz-lib ersatz: )
    3030        (only picnic-utils load-config-file make-output-fname)
     31        (only setup-api compile)
    3132        )
    3233
     
    117118     (value (required FORMAT)
    118119            (transformer ,string->symbol)))
     120
     121    (compile "compile generated model code"
     122             (single-char #\c))
    119123
    120124    (config-file "use the given hoc configuration file to obtain parameter values"
     
    473477             
    474478             ))
    475          ))
     479         )
     480       
     481       (if (opt 'compile)
     482           (compile -O3 ,scm-fname))
     483       )
    476484     ))
    477485
Note: See TracChangeset for help on using the changeset viewer.