From 9fdd155e05506bf87c28e74c8fc96b2a513c6065 Mon Sep 17 00:00:00 2001
From: Tom Janson <tom.janson@rwth-aachen.de>
Date: Wed, 5 Apr 2017 16:16:33 +0200
Subject: [PATCH] add pycarl dependencey to setup.py

---
 setup.py | 1 +
 1 file changed, 1 insertion(+)

diff --git a/setup.py b/setup.py
index 74fd4f9..12694be 100755
--- a/setup.py
+++ b/setup.py
@@ -118,5 +118,6 @@ setup(
                  ],
     cmdclass={'build_ext': CMakeBuild, 'test': PyTest},
     zip_safe=False,
+    install_requires=['pycarl>=1.2.0'],
     tests_require=['pytest'],
 )