Install native deps on rtd (#1457)

trailofbits · Jun 4, 2019 · 05890c1 · 05890c1
1 parent b20b019
commit 05890c1
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/setup.py b/setup.py
@@ -7,7 +7,7 @@
 def rtd_dependent_deps():
     # RTD tries to build z3, ooms, and fails to build.
     if on_rtd:
-        return []
+        return native_deps
     else:
         return ["z3-solver"]