Skip to content
GitLab
Menu
Projects
Groups
Snippets
Loading...
Help
Help
Support
Community forum
Keyboard shortcuts
?
Submit feedback
Contribute to GitLab
Sign in
Toggle navigation
Menu
Open sidebar
Valentin Touzeau
lruzdd
Commits
7bb6edb5
Commit
7bb6edb5
authored
Dec 09, 2018
by
Valentin Touzeau
Browse files
Fix install and update for last otawa version
parent
74065911
Changes
2
Hide whitespace changes
Inline
Side-by-side
CMakeLists.txt
View file @
7bb6edb5
...
...
@@ -52,7 +52,6 @@ execute_process(COMMAND "${OTAWA_CONFIG}" --prefix
# plugin definition
set
(
ORIGIN $ORIGIN
)
include_directories
(
"
${
CMAKE_SOURCE_DIR
}
"
"include"
)
add_library
(
${
PLUGIN
}
SHARED
${
SOURCES
}
)
set_property
(
TARGET
${
PLUGIN
}
PROPERTY PREFIX
""
)
set_property
(
TARGET
${
PLUGIN
}
PROPERTY COMPILE_FLAGS
"
${
OTAWA_CFLAGS
}
--std=c++11 -g -Wall -Wextra -pedantic"
)
...
...
@@ -60,9 +59,11 @@ set_property(TARGET ${PLUGIN} PROPERTY COMPILE_FLAGS "${OTAWA_CFLAGS} --std=c++1
add_dependencies
(
${
PLUGIN
}
libcudd
)
add_dependencies
(
${
PLUGIN
}
libextra
)
target_include_directories
(
${
PLUGIN
}
PUBLIC
"
${
CMAKE_SOURCE_DIR
}
/include"
)
target_link_libraries
(
${
PLUGIN
}
PUBLIC
"
${
OTAWA_LDFLAGS
}
"
cudd_core cudd_epd cudd_st cudd_util extra
)
# installation
set
(
PLUGIN_PATH
"
${
OTAWA_PREFIX
}
/lib/otawa/
${
NAMESPACE
}
"
)
install
(
TARGETS
${
PLUGIN
}
LIBRARY DESTINATION
${
PLUGIN_PATH
}
)
install
(
DIRECTORY
"
${
CMAKE_CURRENT_SOURCE_DIR
}
/include/exactlru"
DESTINATION
"
${
OTAWA_PREFIX
}
/include"
)
install
(
FILES
${
PLUGIN
}
.eld DESTINATION
${
PLUGIN_PATH
}
)
src/exactlru.cpp
View file @
7bb6edb5
...
...
@@ -7,10 +7,7 @@ using namespace otawa;
class
Plugin
:
public
ProcessorPlugin
{
public:
using
procs_t
=
elm
::
genstruct
::
Table
<
AbstractRegistration
*
>
;
Plugin
(
void
)
:
ProcessorPlugin
(
"exactlru"
,
Version
(
1
,
0
,
0
),
OTAWA_PROC_VERSION
)
{
}
virtual
procs_t
&
processors
(
void
)
const
{
return
procs_t
::
EMPTY
;
};
};
}
// namespace exactlru
...
...
Write
Preview
Markdown
is supported
0%
Try again
or
attach a new file
.
Attach a file
Cancel
You are about to add
0
people
to the discussion. Proceed with caution.
Finish editing this message first!
Cancel
Please
register
or
sign in
to comment