1
|
# - Find Lustre compiler
|
2
|
# Find the Lustre synchronous language compiler with associated includes path.
|
3
|
# See https://cavale.enseeiht.fr/redmine/projects/lustrec
|
4
|
# This module defines
|
5
|
# LUSTRE_COMPILER, the lustre compiler
|
6
|
# LUSTRE_COMPILER_VERSION, the version of the lustre compiler
|
7
|
# LUSTRE_INCLUDE_DIR, where to find dword.h, etc.
|
8
|
# LUSTRE_FOUND, If false, Lustre was not found.
|
9
|
# On can set LUSTRE_PATH_HINT before using find_package(Lustre) and the
|
10
|
# module with use the PATH as a hint to find lustrec.
|
11
|
#
|
12
|
# The hint can be given on the command line too:
|
13
|
# cmake -DLUSTRE_PATH_HINT=/DATA/ERIC/Lustre/lustre-x.y /path/to/source
|
14
|
#
|
15
|
# The module defines some functions:
|
16
|
# Lustre_Compile([NODE <Lustre Main Node>]
|
17
|
# LUS_FILE <Lustre file>
|
18
|
# [USER_C_FILES <C files>]
|
19
|
# [VERBOSE <level>]
|
20
|
# [OPTIONS <options>]
|
21
|
# [DIR <directory dest>])
|
22
|
#
|
23
|
# When used the Lustre_Compile macro define the variable
|
24
|
# LUSTRE_GENERATED_C_FILES_<libraryName> in the parent scope
|
25
|
# so that the caller can get (if needed) the list of Lustre generated files.
|
26
|
# The VERBOSE level is a numeric value passed directly to the -verbose
|
27
|
# command line option of the lustre compiler
|
28
|
#
|
29
|
|
30
|
|
31
|
if(LUSTRE_PATH_HINT)
|
32
|
message(STATUS "FindLustre: using PATH HINT: ${LUSTRE_PATH_HINT}")
|
33
|
else()
|
34
|
set(LUSTRE_PATH_HINT)
|
35
|
endif()
|
36
|
|
37
|
|
38
|
# FIND_PROGRAM twice using NO_DEFAULT_PATH on first shot
|
39
|
find_program(LUSTRE_COMPILER
|
40
|
NAMES lustrec
|
41
|
HINTS ${LUSTRE_PATH_HINT}
|
42
|
PATH_SUFFIXES bin
|
43
|
DOC "Path to the Lustre compiler command 'lustrec'")
|
44
|
|
45
|
find_program(LUSTRE_COMPILER
|
46
|
NAMES lustrec
|
47
|
PATHS ${LUSTRE_PATH_HINT}
|
48
|
PATH_SUFFIXES bin
|
49
|
NO_DEFAULT_PATH
|
50
|
DOC "Path to the Lustre compiler command 'lustrec'")
|
51
|
|
52
|
|
53
|
if(LUSTRE_COMPILER)
|
54
|
# get the path where the lustre compiler was found
|
55
|
get_filename_component(LUSTRE_PATH ${LUSTRE_COMPILER} PATH)
|
56
|
# remove bin
|
57
|
get_filename_component(LUSTRE_PATH ${LUSTRE_PATH} PATH)
|
58
|
# add path to LUSTRE_PATH_HINT
|
59
|
list(APPEND LUSTRE_PATH_HINT ${LUSTRE_PATH})
|
60
|
execute_process(COMMAND ${LUSTRE_COMPILER} -version
|
61
|
OUTPUT_VARIABLE LUSTRE_COMPILER_VERSION
|
62
|
OUTPUT_STRIP_TRAILING_WHITESPACE)
|
63
|
message(STATUS "Lustre compiler version is : ${LUSTRE_COMPILER_VERSION}")
|
64
|
endif(LUSTRE_COMPILER)
|
65
|
|
66
|
find_path(LUSTRE_INCLUDE_DIR
|
67
|
NAMES arrow.h
|
68
|
PATHS ${LUSTRE_PATH_HINT}
|
69
|
PATH_SUFFIXES include/lustrec
|
70
|
DOC "The Lustre include headers")
|
71
|
|
72
|
# Macros used to compile a lustre library
|
73
|
include(CMakeParseArguments)
|
74
|
function(Lustre_Compile)
|
75
|
set(options "")
|
76
|
set(oneValueArgs NODE VERBOSE LUS_FILE DIR DST_DIR)
|
77
|
set(multiValueArgs OPTS USER_C_FILES )
|
78
|
cmake_parse_arguments(LUS "${options}" "${oneValueArgs}" "${multiValueArgs}" ${ARGN})
|
79
|
|
80
|
|
81
|
get_filename_component(L ${LUS_LUS_FILE} NAME_WE)
|
82
|
get_filename_component(E ${LUS_LUS_FILE} EXT)
|
83
|
set(LUSTREC_ARGS "")
|
84
|
|
85
|
if(LUS_DST_DIR)
|
86
|
set(OUTPUT_PATH "${LUS_DST_DIR}")
|
87
|
else()
|
88
|
set(OUTPUT_PATH "${CMAKE_CURRENT_BINARY_DIR}")
|
89
|
endif()
|
90
|
|
91
|
if(LUS_NODE)
|
92
|
set(LUSTRE_OUTPUT_DIR "${OUTPUT_PATH}/${L}/node_${LUS_NODE}")
|
93
|
set(LUSTREC_ARGS ${LUSTREC_ARGS} -node ${LUS_NODE} )
|
94
|
else()
|
95
|
set(LUSTRE_OUTPUT_DIR "${OUTPUT_PATH}/${L}")
|
96
|
endif()
|
97
|
|
98
|
|
99
|
if(LUS_OPTS)
|
100
|
CUT_OPTIONS("${LUS_OPTS}" LUS_OPTS_CUT)
|
101
|
if(LUS_NODE)
|
102
|
set(LUSTRE_OUTPUT_DIR "${LUSTRE_OUTPUT_DIR}_${LUS_OPTS_CUT}")
|
103
|
else(LUS_NODE)
|
104
|
set(LUSTRE_OUTPUT_DIR "${LUSTRE_OUTPUT_DIR}/${LUS_OPTS_CUT}")
|
105
|
endif(LUS_NODE)
|
106
|
set(LUSTREC_ARGS ${LUSTREC_ARGS} ${LUS_OPTS} )
|
107
|
endif(LUS_OPTS)
|
108
|
|
109
|
if (LUS_VERBOSE)
|
110
|
set(LUSTRE_VERBOSE_OPT "-verbose ${LUS_VERBOSE}")
|
111
|
set(LUSTREC_ARGS ${LUSTREC_ARGS} -verbose ${LUS_VERBOSE} )
|
112
|
endif()
|
113
|
|
114
|
|
115
|
set(LUSTRE_GENERATED_FILES "")
|
116
|
file(MAKE_DIRECTORY ${LUSTRE_OUTPUT_DIR})
|
117
|
# create list of generated C files in parent scope
|
118
|
if ("${E}" STREQUAL ".lus")
|
119
|
set(LUSTRE_GENERATED_FILES ${LUSTRE_OUTPUT_DIR}/${L}.h ${LUSTRE_OUTPUT_DIR}/${L}.lusic )
|
120
|
if (LUS_NODE)
|
121
|
set(LUSTRE_GENERATED_FILES ${LUSTRE_GENERATED_FILES} ${LUSTRE_OUTPUT_DIR}/${L}.c ${LUSTRE_OUTPUT_DIR}/${L}_alloc.h ${LUSTRE_OUTPUT_DIR}/${L}_main.c ${LUSTRE_OUTPUT_DIR}/${L}.makefile)
|
122
|
endif(LUS_NODE)
|
123
|
if(LUS_OPTS MATCHES "horn")
|
124
|
set(LUSTRE_GENERATED_FILES ${LUSTRE_GENERATED_FILES} ${LUSTRE_OUTPUT_DIR}/${L}.smt2)
|
125
|
endif(LUS_OPTS MATCHES "horn")
|
126
|
elseif("${E}" STREQUAL ".lusi")
|
127
|
set(LUSTRE_GENERATED_FILES ${LUSTRE_OUTPUT_DIR}/${L}.h)
|
128
|
endif()
|
129
|
|
130
|
if(LUS_DIR)
|
131
|
set(LUSTRE_OUTPUT_DIR ${LUS_DIR} )
|
132
|
endif()
|
133
|
set(LUSTREC_ARGS ${LUSTREC_ARGS} -d ${LUSTRE_OUTPUT_DIR} ${LUS_LUS_FILE})
|
134
|
|
135
|
set(LUSTREC_ARGS_${L}_${LUS_NODE}_${LUS_OPTS_CUT} "${LUSTREC_ARGS}" PARENT_SCOPE)
|
136
|
set(LUSTRE_GENERATED_FILES_${L}_${LUS_NODE}_${LUS_OPTS_CUT} "${LUSTRE_GENERATED_FILES}" PARENT_SCOPE)
|
137
|
set(LUSTRE_OUTPUT_DIR_${L}_${LUS_NODE}_${LUS_OPTS_CUT} "${LUSTRE_OUTPUT_DIR}" PARENT_SCOPE)
|
138
|
endfunction(Lustre_Compile)
|
139
|
|
140
|
# handle the QUIETLY and REQUIRED arguments and set LUSTRE_FOUND to TRUE if
|
141
|
# all listed variables are TRUE
|
142
|
include(FindPackageHandleStandardArgs)
|
143
|
FIND_PACKAGE_HANDLE_STANDARD_ARGS(LUSTRE
|
144
|
REQUIRED_VARS LUSTRE_COMPILER LUSTRE_INCLUDE_DIR)
|
145
|
# VERSION FPHSA options not handled by CMake version < 2.8.2)
|
146
|
# VERSION_VAR LUSTRE_COMPILER_VERSION)
|
147
|
mark_as_advanced(LUSTRE_INCLUDE_DIR)
|