[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