From: coquand Date: Sat, 26 Dec 2015 19:49:27 +0000 (+0100) Subject: Makefile X-Git-Url: https://git.ak3n.com/?a=commitdiff_plain;h=dbce133f74d9e67b0d67cddd3243a98e7d643879;p=cubicaltt.git Makefile --- diff --git a/Makefile b/Makefile index 23767e5..a81220b 100644 --- a/Makefile +++ b/Makefile @@ -1,51 +1,86 @@ # DO NOT DELETE: Beginning of Haskell dependencies -Exp/ErrM.o : Exp/ErrM.hs -Exp/Abs.o : Exp/Abs.hs -Exp/Skel.o : Exp/Skel.hs +Exp/ErrM.o Exp/ErrM._o : Exp/ErrM.hs +Exp/Abs.o Exp/Abs._o : Exp/Abs.hs +Exp/Skel.o Exp/Skel._o : Exp/Skel.hs Exp/Skel.o : Exp/ErrM.hi +Exp/Skel._o : Exp/ErrM._hi Exp/Skel.o : Exp/Abs.hi -Exp/Print.o : Exp/Print.hs +Exp/Skel._o : Exp/Abs._hi +Exp/Print.o Exp/Print._o : Exp/Print.hs Exp/Print.o : Exp/Abs.hi -Exp/Lex.o : Exp/Lex.hs -Exp/Par.o : Exp/Par.hs +Exp/Print._o : Exp/Abs._hi +Exp/Lex.o Exp/Lex._o : Exp/Lex.hs +Exp/Par.o Exp/Par._o : Exp/Par.hs Exp/Par.o : Exp/ErrM.hi +Exp/Par._o : Exp/ErrM._hi Exp/Par.o : Exp/Lex.hi +Exp/Par._o : Exp/Lex._hi Exp/Par.o : Exp/Abs.hi -Exp/Layout.o : Exp/Layout.hs +Exp/Par._o : Exp/Abs._hi +Exp/Layout.o Exp/Layout._o : Exp/Layout.hs Exp/Layout.o : Exp/Lex.hi -Exp/Test.o : Exp/Test.hs +Exp/Layout._o : Exp/Lex._hi +Exp/Test.o Exp/Test._o : Exp/Test.hs Exp/Test.o : Exp/ErrM.hi +Exp/Test._o : Exp/ErrM._hi Exp/Test.o : Exp/Layout.hi +Exp/Test._o : Exp/Layout._hi Exp/Test.o : Exp/Abs.hi +Exp/Test._o : Exp/Abs._hi Exp/Test.o : Exp/Print.hi +Exp/Test._o : Exp/Print._hi Exp/Test.o : Exp/Skel.hi +Exp/Test._o : Exp/Skel._hi Exp/Test.o : Exp/Par.hi +Exp/Test._o : Exp/Par._hi Exp/Test.o : Exp/Lex.hi -Connections.o : Connections.hs -CTT.o : CTT.hs +Exp/Test._o : Exp/Lex._hi +Connections.o Connections._o : Connections.hs +CTT.o CTT._o : CTT.hs CTT.o : Connections.hi -Eval.o : Eval.hs +CTT._o : Connections._hi +Eval.o Eval._o : Eval.hs Eval.o : CTT.hi +Eval._o : CTT._hi Eval.o : Connections.hi -Resolver.o : Resolver.hs +Eval._o : Connections._hi +Resolver.o Resolver._o : Resolver.hs Resolver.o : Connections.hi +Resolver._o : Connections._hi Resolver.o : Connections.hi +Resolver._o : Connections._hi Resolver.o : CTT.hi +Resolver._o : CTT._hi Resolver.o : CTT.hi +Resolver._o : CTT._hi Resolver.o : Exp/Abs.hi -TypeChecker.o : TypeChecker.hs +Resolver._o : Exp/Abs._hi +TypeChecker.o TypeChecker._o : TypeChecker.hs TypeChecker.o : Eval.hi +TypeChecker._o : Eval._hi TypeChecker.o : CTT.hi +TypeChecker._o : CTT._hi TypeChecker.o : Connections.hi -Main.o : Main.hs +TypeChecker._o : Connections._hi +Main.o Main._o : Main.hs Main.o : Eval.hi +Main._o : Eval._hi Main.o : TypeChecker.hi +Main._o : TypeChecker._hi Main.o : Resolver.hi +Main._o : Resolver._hi Main.o : CTT.hi +Main._o : CTT._hi Main.o : Exp/ErrM.hi +Main._o : Exp/ErrM._hi Main.o : Exp/Layout.hi +Main._o : Exp/Layout._hi Main.o : Exp/Abs.hi +Main._o : Exp/Abs._hi Main.o : Exp/Print.hi +Main._o : Exp/Print._hi Main.o : Exp/Par.hi +Main._o : Exp/Par._hi Main.o : Exp/Lex.hi +Main._o : Exp/Lex._hi # DO NOT DELETE: End of Haskell dependencies