Allow the formal engine to perform a same-cycle result in the ALU

[soc.git] / conf.py

diff --git a/conf.py b/conf.py
index 881c95e2be8804f3b048b35667782d0fbebd9551..d752f59ef042ac4b8d5f42bcebdf50308f0ee585 100644 (file)
--- a/conf.py
+++ b/conf.py
@@ -47,7 +47,7 @@ extensions = [
     'sphinx.ext.coverage',
     'recommonmark',
     #'symbolator_sphinx',
-    'sphinxcontrib_verilog_diagrams',
+    #'sphinxcontrib_verilog_diagrams', # XXX now spinxcontrib-hdl-diagrams
     'sphinx_rtd_theme',
     #'sphinx_tabs.tabs',
 ]
@@ -174,9 +174,13 @@ texinfo_documents = [
 
 # -- Options for intersphinx extension ---------------------------------------
 
+lsocbase = 'https://docs.libre-soc.org/'
 # Example configuration for intersphinx: refer to the Python standard library.
 intersphinx_mapping = {"python": ('https://docs.python.org/3', None),
-                       "nmigen": ('https://nmigen.info/nmigen', 'latest')
+                       "nmigen": ('https://nmigen.info/nmigen', 'latest'),
+                       "openpower": (lsocbase+'openpower-isa', None),
+                       #"nmutil": (lsocbase+'nmutil', None),
+                       #"ieee754fpu": (lsocbase+'ieee754fpu', None),
                       }
 
 # -- Options for todo extension ----------------------------------------------