[Agda] command line type checker vs interactive

[Nils Anders Danielsson]

On 2016-01-01 13:51, Sergei Meshveliani wrote:
> This reports
> --------------------------------------
> ...
> Building clock-0.6.0.1...
> Preprocessing library clock-0.6.0.1...
> Clock.hsc: In function ..main..:
> Clock.hsc:141: error: ..CLOCK_MONOTONIC_RAW.. undeclared (first use in
> this function)
> ...
> ...
> Installed regex-tdfa-text-1.0.0.3
> cabal: Error: some packages failed to install:
> Agda-2.5 depends on clock-0.6.0.1 which failed to install.
> ...
> -------------------------------------

Perhaps you can resolve this problem by installing libc6-dev (or some
other package that provides time.h) using a package manager compatible
with your Linux distribution.

-- 
/NAD