Skip to content
Snippets Groups Projects
Commit f9b5e6b1 authored by Yannick Pencolé's avatar Yannick Pencolé
Browse files

change CMakeLists.txt and README.md for a better export

parent 8603c6da
Branches
No related tags found
No related merge requests found
Pipeline #44374 passed
......@@ -154,4 +154,12 @@ install(TARGETS automata-shared
DESTINATION ${CMAKE_INSTALL_PREFIX}/lib)
endif ()
if (${PROJECT_SOURCE_DIR} STREQUAL ${CMAKE_INSTALL_PREFIX})
else ()
install(FILES ${PROJECT_SOURCE_DIR}/LICENSE.rst DESTINATION .)
install(FILES ${PROJECT_SOURCE_DIR}/README.md DESTINATION .)
endif ()
# ddautomata
This repository gathers a set of source files that implement a finite state machine library.
This repository gathers a set of source files that implement a finite state machine library
(automaton).
It also provides a set of basic command tools to manipulate automata in ddaut format.
(see bin directory in the compiled version). For instance, 'dd-det' is a command to
make an automaton deterministic. To see the manual of each command, use the option '--help'
Under deployement.
dd-det --help
The file format of an automaton is 'ddaut'. Such an automaton can be graphically edited with
DdEditor (See https://gitlab.laas.fr/ypencole/ddeditor.git ).
Tools still under deployement.
## Getting started
......@@ -32,7 +44,7 @@ To set the type of build (default is Release):
## License
Copyright (c) 2023 CNRS-LAAS
Copyright (c) 2023-2024 CNRS-LAAS
Redistribution and use in source and binary forms, with or without modification, are permitted provided that the following conditions are met:
......
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Please register or to comment