@@ -64,6 +64,7 @@ installPkg pkgdesc
6464 case (execout pkgdesc) of
6565 Nothing -> mapM_ (installIBC (pkgname pkgdesc)) (modules pkgdesc)
6666 Just o -> return () -- do nothing, keep executable locally, for noe
67+ mapM_ (installObj (pkgname pkgdesc)) (objs pkgdesc)
6768
6869buildMod :: [Opt] -> Name -> IO ()
6970buildMod opts n = do let f = map slash $ show n
@@ -114,6 +115,14 @@ installIBC p m = do let f = toIBCFile m
114115 where getDest (UN n) = ""
115116 getDest (NS n ns) = concat (intersperse "/" (reverse ns)) ++ "/" ++ getDest n
116117
118+installObj :: String -> String -> IO ()
119+installObj p o = do d <- getDataDir
120+ let destdir = d ++ "/" ++ p ++ "/"
121+ putStrLn $ "Installing " ++ o ++ " to " ++ destdir
122+ system $ "mkdir -p " ++ destdir
123+ system $ "install " ++ o ++ " " ++ destdir
124+ return ()
125+
117126make :: Maybe String -> IO ()
118127make Nothing = return ()
119128make (Just s) = do system $ "make -f " ++ s