diff --git a/roles/devel/tasks/main.yml b/roles/devel/tasks/main.yml
index 5b6c9ac..0c436c4 100644
--- a/roles/devel/tasks/main.yml
+++ b/roles/devel/tasks/main.yml
@@ -43,6 +43,7 @@
         - autotools-dev
         - autoproject
         - kbuild
+        - premake4
 
 -   name: Install OpenJDK
     apt: name={{ item }} state=latest