mirror of
https://github.com/AdaCore/alt-ergo.git
synced 2026-02-12 12:39:26 -08:00
b721a6770f
* compile lib_usage with `Dune` * Update the lib_usage example * Add lib_usage in the package `alt-ergo-lib` We add the executable `lib_usage` into the package `alt-ergo-lib` but we don't install it.
18 lines
209 B
Plaintext
18 lines
209 B
Plaintext
(executable
|
|
(name Lib_usage)
|
|
(libraries AltErgoLib)
|
|
(modules Lib_usage)
|
|
)
|
|
|
|
(rule
|
|
(alias runtest)
|
|
(package alt-ergo-lib)
|
|
(action
|
|
(ignore-stdout
|
|
(ignore-stderr
|
|
(run ./Lib_usage.exe)
|
|
)
|
|
)
|
|
)
|
|
)
|