Minicode/eficas_mini.py

   1 #!/usr/bin/env python
   2 """
   3     Ce module sert à lancer EFICAS configuré pour Code_Mini
   4 """
   5 # Modules Python
   6 import sys,os
   7
   8 # Modules Eficas
   9 import prefs
  10 sys.path[:0]=[prefs.INSTALLDIR]
  11
  12 args=sys.argv[1:]
  13 for a in args:
  14    if a == "-display":
  15       os.environ['DISPLAY']=args[args.index("-display")+1]
  16
  17 import Editeur
  18 from Editeur import eficas_go
  19
  20 def main():
  21    if len(sys.argv) > 1 :
  22        # on veut ouvrir un fichier directement au lancement d'Eficas
  23        eficas_go.lance_eficas(code='SATURNE',fichier = sys.argv[1])
  24    else:
  25        # on veut ouvrir Eficas 'vide'
  26        eficas_go.lance_eficas(code='SATURNE')
  27
  28 def hidez():
  29    from Misc import Cyclops
  30    z = Cyclops.CycleFinder()
  31    z.run(main)
  32    z.find_cycles()
  33    z.show_stats()
  34    z.show_cycles()
  35    # z.show_cycleobjs()
  36    # z.show_sccs()
  37    z.show_arcs()
  38
  39 withCyclops=0
  40
  41 if withCyclops:
  42    hidez()
  43 else:
  44    main()
  45
  46