This project is a demonstrator tool, made by the MOISE project, that translates timed Altarica models into Fiacre models. Such translation allows to use model checkers such as Tina to prove properties. The project contains the translator tool.
You can not select more than 25 topics Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.
 
 
 
 
 
 

75 lines
2.2 KiB

# Find PLplot header and library.
# This module defines the following uncached variables:
# PLplot_FOUND, if false, do not try to use PLplot.
# PLplot_INCLUDE_DIRS, where to find plplot.h.
# PLplot_LIBRARIES, the libraries to link against to use PLplot
# PLplot_LIBRARY_DIRS, the directory where the PLplot library is found.
FIND_PATH(
PLplot_INCLUDE_DIR
NAMES plplot.h
PATHS /usr/local/include /usr/include
PATH_SUFFIXES plplot
)
IF( PLplot_INCLUDE_DIR )
find_library( PLplot_LIBRARY
NAMES plplotd
PATHS /usr/local/lib /usr/lib
)
if(PLplot_LIBRARY)
set( PLplot_LIBRARY_DIR "" )
get_filename_component(PLplot_LIBRARY_DIRS ${PLplot_LIBRARY} PATH)
# Set uncached variables as per standard.
set(PLplot_FOUND ON)
set(PLplot_INCLUDE_DIRS ${PLplot_INCLUDE_DIR})
set(PLplot_LIBRARIES ${PLplot_LIBRARY})
endif(PLplot_LIBRARY)
# find cxx bindings
find_library( PLplot_cxx_LIBRARY
NAMES plplotcxxd
PATHS /usr/local/lib /usr/lib
)
if( PLplot_cxx_LIBRARY )
set( PLplot_LIBRARIES ${PLplot_LIBRARIES} ${PLplot_cxx_LIBRARY} )
endif( PLplot_cxx_LIBRARY )
# find f77 bindings
find_library( PLplot_f77_LIBRARY
NAMES plplotf77d
PATHS /usr/local/lib /usr/lib
)
if( PLplot_f77_LIBRARY )
set( PLplot_LIBRARIES ${PLplot_LIBRARIES} ${PLplot_f77_LIBRARY} )
endif( PLplot_f77_LIBRARY )
# find f90 bindings
find_library( PLplot_f90_LIBRARY
NAMES plplotf90d
PATHS /usr/local/lib /usr/lib
)
if( PLplot_f90_LIBRARY )
set( PLplot_LIBRARIES ${PLplot_LIBRARIES} ${PLplot_f90_LIBRARY} )
endif( PLplot_f90_LIBRARY )
# find wxwidgets bindings
find_library( PLplot_wxwidgets_LIBRARY
NAMES plplotwxwidgetsd
PATHS /usr/local/lib /usr/lib
)
if( PLplot_wxwidgets_LIBRARY )
set( PLplot_LIBRARIES ${PLplot_LIBRARIES} ${PLplot_wxwidgets_LIBRARY} )
endif( PLplot_wxwidgets_LIBRARY )
endif(PLplot_INCLUDE_DIR)
if(PLplot_FOUND)
if(NOT PLplot_FIND_QUIETLY)
message(STATUS "FindPLplot: Found both PLplot headers and library")
endif(NOT PLplot_FIND_QUIETLY)
else(PLplot_FOUND)
if(PLplot_FIND_REQUIRED)
message(FATAL_ERROR "FindPLplot: Could not find PLplot headers or library")
endif(PLplot_FIND_REQUIRED)
endif(PLplot_FOUND)