git.iko.soy/Idris-dev
on c79fb21 help sign in
Idris-dev/src/Util/LLVMStubs.hs
24 lines 481 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 Idris.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 :: CodeGenerator
24codegenLLVM _ = fail "This Idris was compiled without the LLVM backend."