Commit ce72615f authored by Jerome Hugues's avatar Jerome Hugues

* Add 'real_theorem' as backend

parent 3ddd55de
......@@ -74,7 +74,7 @@ def instantiate (root_system):
return runOcarinaFunction (libocarina_python.instantiate, root_system)
################################################################################
Backends = Enum ([ "polyorb_hi_ada", "polyorb_hi_c"])
Backends = Enum ([ "polyorb_hi_ada", "polyorb_hi_c", "real_theorem"])
'''List of supported backends, used by :data:`generate`'''
# Note, this list should match backend names as specified by Ocarina CLI
......
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment