Fix OpenGL on debian based OS with nVidia #60

Author: thejoeejoee

ide.py

@@ -1,6 +1,12 @@
 #!/usr/bin/env python3
 # coding=utf-8
 
+import sys
+
+if 'linux' in sys.platform.lower():
+    # noinspection PyUnresolvedReferences
+    from OpenGL import GL  # noqa
+
 from ifj2017.ide.main import main
 
 if __name__ == '__main__':

setup.py

@@ -32,7 +32,7 @@
 def setup():
     core.setup(
         name='IFJcode17-toolkit',
-        version='1.4.2',
+        version='1.4.3',
         license='GNU GENERAL PUBLIC LICENSE Version 3',
         description='Toolkit for IFJ17 language compiler (as project at FIT BUT in Brno) with '
                     'interactive debugger and automatic tests.',