From a4bb9f6e0ef2f7a0933d74282d6ca7c21f38763a Mon Sep 17 00:00:00 2001
From: Vitor Santos Costa <vsc@dcc.fc.up.pt>
Date: Fri, 16 Dec 2016 03:37:59 -0600
Subject: [PATCH] 5.0. support

---
 packages/gecode/CMakeLists.txt               | 3 +--
 packages/gecode/gecode5.yap                  | 3 ---
 packages/gecode/gecode5_yap_hand_written.yap | 4 ++++
 3 files changed, 5 insertions(+), 5 deletions(-)

diff --git a/packages/gecode/CMakeLists.txt b/packages/gecode/CMakeLists.txt
index 39c35573a..c6edf765e 100644
--- a/packages/gecode/CMakeLists.txt
+++ b/packages/gecode/CMakeLists.txt
@@ -49,9 +49,8 @@ if (GECODE_FOUND)
     ARCHIVE DESTINATION ${dlls}
     )
 
-  install(FILES gecode${GECODE_MAJOR}.yap
+  install(FILES ${CMAKE_CURRENT_BINARY_DIR}/gecode.yap
     DESTINATION ${libpl}
-    RENAME gecode.yap
     )
 
   install(FILES clpfd.yap
diff --git a/packages/gecode/gecode5.yap b/packages/gecode/gecode5.yap
index 799e0c1a3..8dc0b9993 100644
--- a/packages/gecode/gecode5.yap
+++ b/packages/gecode/gecode5.yap
@@ -2,9 +2,6 @@
 /* just for program analysis */
 
 
-:- module(gecode, [(:=)/2, op(500, xfx, ':='),
-		   (+=)/2, op(500, xfx, '+=')]).
-
 
 :- include(gecode5_yap_hand_written).
 :- include('5.0.0/gecode_yap_auto_generated').
diff --git a/packages/gecode/gecode5_yap_hand_written.yap b/packages/gecode/gecode5_yap_hand_written.yap
index a8eea548f..b51355964 100644
--- a/packages/gecode/gecode5_yap_hand_written.yap
+++ b/packages/gecode/gecode5_yap_hand_written.yap
@@ -16,6 +16,10 @@
 %% along with this program.  If not, see <http://www.gnu.org/licenses/>.
 %%=============================================================================
 
+:- module(gecode, [(:=)/2, op(500, xfx, ':='),
+		   (+=)/2, op(500, xfx, '+=')]).
+
+
 /** @defgroup Gecode Gecode Interface
 
 @ingroup packages