git.iko.soy/Idris-dev
on master help sign in
Fix the icon object path so it goes in the dir.

No functionality change, previously it got a weird filename in the build dir.

commitb8bb3dcad4d9b5e35cae0c12a8685776074c3437 authorNiklas Larsson <niklas@mm.st> dateThu 4 Aug 2016, 18:25 (10 years ago) parentc3a141b
1 file changed+2−2
compare with master
unifiedsplit
Setup.hs+2−2
Setup.hs+2−2
@@ -206,8 +206,8 @@ getVersion args flags = do
206206idrisPreBuild args flags = do
207207#ifdef mingw32_HOST_OS
208208 createDirectoryIfMissingVerbose verbosity True dir
209− windres verbosity ["icons/idris_icon.rc","-o", dir++"idris_icon.o"]
210− return (Nothing, [("idris", emptyBuildInfo { ldOptions = [dir ++ "idris_icon.o"] })])
209+ windres verbosity ["icons/idris_icon.rc","-o", dir++"/idris_icon.o"]
210+ return (Nothing, [("idris", emptyBuildInfo { ldOptions = [dir ++ "/idris_icon.o"] })])
211211 where
212212 verbosity = S.fromFlag $ S.buildVerbosity flags
213213 dir = S.fromFlagOrDefault "dist" $ S.buildDistPref flags