git.iko.soy/Idris-dev
on c1e2921 help sign in
Idris-dev/src/Util/LLVMStubs.hs
31 lines 718 B history raw
1{--
3Things needed to build without LLVM
4Replaces stuff from LLVM.General.Target and IRTS.CodegenLLVM.
6--}
8module Util.LLVMStubs where
10import qualified Core.TT as TT
11import IRTS.Simplified
12import IRTS.CodegenCommon
14import Data.Word (Word)
16getDefaultTargetTriple :: IO String
17getDefaultTargetTriple = return ""
19getHostCPUName :: IO String
20getHostCPUName = return ""
23codegenLLVM :: [(TT.Name, SDecl)] ->
24 String -> -- target triple
25 String -> -- target CPU
26 Word -> -- Optimization degree
27 FilePath -> -- output file name
28 OutputType ->
29 IO ()
31codegenLLVM _ _ _ _ _ _ = fail "This Idris was compiled without the LLVM backend."