From 5dbe54dadc49b1a8d49fd5fe8e3fccb9e7919663 Mon Sep 17 00:00:00 2001
From: Vitor Santos Costa <vsc@dcc.fc.up.pt>
Date: Tue, 5 Apr 2016 08:03:19 +0100
Subject: [PATCH] android

---
 pl/CMakeLists.txt | 14 +++++++++-----
 1 file changed, 9 insertions(+), 5 deletions(-)

diff --git a/pl/CMakeLists.txt b/pl/CMakeLists.txt
index ace0d1f4d..b7f3eeab7 100644
--- a/pl/CMakeLists.txt
+++ b/pl/CMakeLists.txt
@@ -32,7 +32,7 @@ set(PL_SOURCES
 	modules.yap
 	os.yap
 	preddecls.yap
-        preddyns.yap   
+        preddyns.yap
 	preds.yap
 	profile.yap
 	protect.yap
@@ -55,7 +55,8 @@ set(PL_SOURCES
 	../os/edio.yap
   )
 
-add_custom_target (${YAP_STARTUP} ALL SOURCES ${PL_SOURCES} ) # WORKING_DIRECTORY ${CMAKE_BINARY_DIR} )
+if (NOT ANDROID)
+add_custom_target (${YAP_STARTUP} ALL SOURCES ${PL_SOURCES} WORKING_DIRECTORY ${CMAKE_BINARY_DIR} )
 
 # Create a startup.yss on the top directory.
 add_custom_command (TARGET ${YAP_STARTUP}
@@ -65,10 +66,13 @@ add_custom_command (TARGET ${YAP_STARTUP}
   DEPENDS yap-bin  ${PL_SOURCES}
   )
 
-install (FILES ${PL_SOURCES}
-  DESTINATION ${libpl}/boot
-  )
 
 install (FILES ${CMAKE_TOP_BINARY_DIR}/${YAP_STARTUP}
   DESTINATION ${dlls}
   )
+
+endif()
+
+install (FILES ${PL_SOURCES}
+  DESTINATION ${libpl}/pl
+  )