[Agda] multiple compilation

Nils Anders Danielsson nad at chalmers.se
Fri Apr 5 14:52:24 CEST 2013


On 2013-04-04 20:28, Serge D. Mechveliani wrote:
> 1) What precisely is this command for running GHC ?
>
> Is it
>    cd  <where AlgTest.agda resides>
>    remove  ./AlgTest,  *.hi, *.o  files  of the application
>    ghc -O -o /home/mechvel/doconA/0.01/source/demoTest/AlgTest -Werror
>      -i/home/mechvel/doconA/0.01/source/demoTest -main-is MAlonzo.Code.AlgTest
>      /home/mechvel/doconA/0.01/source/demoTest/MAlonzo/Code/AlgTest.hs
>      --make -fwarn-incomplete-patterns -fno-warn-overlapping-patterns
> ?

I think this should work.

> 2) How to see  stderr ?

In Bash:

   <cmd> 1> log.stdout 2> log.stderr

-- 
/NAD


More information about the Agda mailing list