enable qtest for resp2

This commit is contained in:
Simon Cruanes 2022-04-27 22:44:31 -04:00
parent deef13eb36
commit fb7c4a1208
No known key found for this signature in database
GPG key ID: EBFFF6F283F3A2B4

View file

@ -7,7 +7,7 @@
(rule (rule
(targets run_qtest.ml) (targets run_qtest.ml)
(deps ./make.exe (source_tree ../src)) (deps ./make.exe (source_tree ../src))
(action (run ./make.exe -target %{targets} ../src/core ../src/unix/))) (action (run ./make.exe -target %{targets} ../src/core ../src/unix/ ../src/resp2)))
(executable (executable
(name run_qtest) (name run_qtest)
@ -15,7 +15,7 @@
(modules run_qtest) (modules run_qtest)
; disable some warnings in qtests ; disable some warnings in qtests
(flags :standard -warn-error -a -w -3-33-35-27-39-50) (flags :standard -warn-error -a -w -3-33-35-27-39-50)
(libraries iter gen qcheck containers containers.unix unix uutf threads)) (libraries iter gen qcheck containers containers.resp2 containers.unix unix uutf threads))
(rule (rule
(alias runtest) (alias runtest)