spielwiese
Last change
on this file since 96337e was
8cc501,
checked in by Kai Krüger <krueger@…>, 13 years ago
|
Added files to compile with cmake. Still experimental. Might not work
git-svn-id: file:///usr/local/Singular/svn/trunk@13240 2c84dea3-7e68-4137-9b89-c4e89433aadc
|
-
Property mode set to
100644
|
File size:
741 bytes
|
Line | |
---|
1 | # -*- mode: cmake; -*- |
---|
2 | # |
---|
3 | |
---|
4 | # |
---|
5 | # |
---|
6 | # |
---|
7 | function(MP_mk_header GEN_H_FILE) |
---|
8 | set(_GEN_H_FILE ${CMAKE_CURRENT_BINARY_DIR}/MP.h) |
---|
9 | set(hdir "${CMAKE_CURRENT_SOURCE_DIR}/h") |
---|
10 | set(INFILE "${hdir}/MP.h") |
---|
11 | |
---|
12 | message(STATUS "Add MP_mk_header ${_GEN_H_FILE}") |
---|
13 | message(STATUS "Sd=${CMAKE_CURRENT_SOURCE_DIR}") |
---|
14 | message(STATUS "Shdir=${hdir}") |
---|
15 | message(STATUS "Sin=${INFILE}") |
---|
16 | message(STATUS "cmd: perl ${CMAKE_CURRENT_SOURCE_DIR}/makeheader.pl -I${hdir} ${INFILE} ${_GEN_H_FILE}") |
---|
17 | add_custom_command(OUTPUT ${_GEN_H_FILE} |
---|
18 | COMMAND perl ${CMAKE_SOURCE_DIR}/MP/MP/makeheader.pl -I${hdir} ${INFILE} ${_GEN_H_FILE} |
---|
19 | |
---|
20 | DEPENDS ${INFILE} |
---|
21 | COMMENT "Compiling '${INFILE}'..." |
---|
22 | ) |
---|
23 | |
---|
24 | set(${GEN_H_FILE} ${_GEN_H_FILE} PARENT_SCOPE) |
---|
25 | endfunction() |
---|
Note: See
TracBrowser
for help on using the repository browser.