9 lines
149 B
Text
9 lines
149 B
Text
(executable
|
|
(name coq_ssh)
|
|
(public_name coq_ssh)
|
|
(libraries unix CoqSSH)
|
|
(package CoqSSH))
|
|
|
|
(env
|
|
(dev
|
|
(flags (:standard -warn-error -A))))
|