From bcc296932e7b84e232f0f4df56733fec5ebbafe6 Mon Sep 17 00:00:00 2001
From: Maxime Gimeno <maxime.gimeno@gmail.com>
Date: Mon, 1 Jul 2019 10:25:16 +0200
Subject: [PATCH] compute dependencies if missing

---
 .travis/test_package.sh | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/.travis/test_package.sh b/.travis/test_package.sh
index c1c7ba238cc..f91f9982916 100644
--- a/.travis/test_package.sh
+++ b/.travis/test_package.sh
@@ -7,6 +7,9 @@ DO_IGNORE=FALSE
 cd $1
 if [ ! -f "$2/package_info/$2/dependencies" ];then 
   echo "No dependencies found for $2"
+  bash Scripts/developer_scripts/cgal_check_dependencies.sh --check_headers /usr/bin/doxygen
+  
+  
   exit 1
 fi
 LIST_OF_FILES=$(git diff --name-only origin/master... |cut -d/ -f1 |uniq |sort)