[mercury-users] importing qcheck as a library?

[doug.auclair at logicaltypes.com]

Dear all,

Hi!  I'm using rotd-2006-03-11 and have installed qcheck as a library:

/extras/quickcheck $ mmake depend
/extras/quickcheck $ mmake
/extras/quickcheck $ mmake check
... qcheck output showing all 100 tests passed ...
/extras/quickcheck $ mmake install

The problem is when I compile an executable using it:

*** Error: error reading file `qcheck.m' to generate dependencies
*** Module `qcheck' is imported or included by module `camera_unit_tests'

Huh?  What is it doing generating dependencies on a source file of a
library?  I'm importing and using libraries just fine in other test
suites, so is there an issue with qcheck?

My Mercury.options file is:

EXTRA_LIB_DIR = <PROJECT_DIR>/lib/mercury \
   <INSTALL_DIR>/extras/lib/mercury
EXTRA_LIBRARIES = camera qcheck

used by

<PROJECT_DIR> $ mmc --make -lm camera_unit_tests

Sincerely,
Doug Auclair

--------------------------------------------------------------------------
mercury-users mailing list
post:  mercury-users at cs.mu.oz.au
administrative address: owner-mercury-users at cs.mu.oz.au
unsubscribe: Address: mercury-users-request at cs.mu.oz.au Message: unsubscribe
subscribe:   Address: mercury-users-request at cs.mu.oz.au Message: subscribe
--------------------------------------------------------------------------