Define the following parametres (and "export", si besoin).

SS2LUSHOME=/usr/local/src/ss2lus0.01b

CFLAGS="-I$SS2LUSHOME/include"
LDFLAGS="-L$SS2LUSHOME/lib"
CLASSPATH=$SS2LUSHOME/classes
MANPATH=$SS2LUSHOME/man
INFOPATH=$SS2LUSHOME/info

Ajouter SS2LUSHOME/bin dans PATH
Ajouter SS2LUSHOME/lib dans LD_LIBRARY_PATH


Depending on which shell you use. Not all of  these are required as
yet. The  PATH  and the SS2LUSHOME   variables  have to  be  set,
however. Here are some command lines to get started:

% cd $SS2LUSHOME/examples
% s2l s2l/discrete_filter.mdl -o s2l/discrete_filter.lus
% sf2lus sf2lus/Stopwatch2.mdl -o sf2lus/Stopwatch2.lus
% ss2lus ss2lus/SetReset_r13.mdl -mp

Currently only the Matlab Revision 13 files work with ss2lus.

Limitations
-----------

Simulink2Lustre:

  -  Supported options  in .mdl models   (check  in the "Simulation
  parameters" box under "Simulation" menu,  once you have opened  a
  .mdl file):

      o The "solver" option must be set to "fixed-step, discrete"
      o The "mode" option must be set to "auto"
      o The "boolean logic signals" ("advanced" menu) flag must be
        set to on 
      o The "algebraic loop" flag ("diagnostics" menu) must be set
        to "error" 

  - Inputs  cannot    have   inherited sample times     unless  the
    --monoperiodic|-mp option is passed to s2l during translation.

Stateflow2Lustre:

  - Much  of the support is partial.   Some supported features also
    cause complexity problems either in the sf2lus translator or in
    compilation of the resulting  output.  See the published papers
    and the user manuals for more information.