Integrate sockeye with hake
[barrelfish] / hake / RuleDefs.hs
index 8f2a4ae..6e5e283 100644 (file)
@@ -780,6 +780,18 @@ skateGenSchemas opts schema =
       ]]
 
 
+--
+-- Build SKB facts from Sockeye file
+--
+sockeyeProgLoc = In InstallTree "tools" "/bin/sockeye"
+sockeyeSpecFileLoc d = In SrcTree "src" ("/socs" </> (d ++ ".soc"))
+sockeyeFactFilePath d = "/sockeyefacts" </> (d ++ ".pl")
+
+sockeye :: String -> HRule
+sockeye net = Rule [ sockeyeProgLoc,
+                     sockeyeSpecFileLoc net,
+                     Str "-o", Out "" (sockeyeFactFilePath net)
+                   ]
 
 --
 -- Build a Fugu library