Merge branch 'skate'
authorReto Achermann <reto.achermann@inf.ethz.ch>
Tue, 13 Jun 2017 06:54:10 +0000 (08:54 +0200)
committerReto Achermann <reto.achermann@inf.ethz.ch>
Tue, 13 Jun 2017 06:54:18 +0000 (08:54 +0200)
This brings the Skate DSL to specify SKB facts and their relations.
Skate repalces Sockeye.
See technote 020.

Signed-off-by: Reto Achermann <reto.achermann@inf.ethz.ch>

1  2 
hake/Args.hs
hake/RuleDefs.hs

diff --cc hake/Args.hs
@@@ -40,10 -40,10 +40,11 @@@ data Args = Args 
        omitIncludes :: [String],
        addLinkFlags :: [String],
        addLibraries :: [String],
 +      addModules :: [String],
        addGeneratedDependencies :: [String],
        architectures :: [String],
-       sockeyeSchema :: [String],
+       skateSchemaDefs :: [String],  -- just the Skate Schema headers
+       skateSchemas :: [String],      -- Schema headers and functions
        installDirs :: InstallDirs
  }
  
@@@ -77,10 -77,10 +78,11 @@@ defaultArgs = Args 
        omitIncludes = [],
        addLinkFlags = [],
        addLibraries = [],
 +      addModules = [],
        addGeneratedDependencies = [],
        architectures = allArchitectures,
-       sockeyeSchema = [],
+       skateSchemaDefs = [],
+       skateSchemas = [],
        installDirs = InstallDirs {
              bindir = "/sbin",
              libdir = "/lib"
@@@ -123,8 -123,8 +125,9 @@@ showArgs prefix a 
      ++ "\n  omitIncludes:          " ++ (show $ omitIncludes a)
      ++ "\n  addLinkFlags:          " ++ (show $ addLinkFlags a)
      ++ "\n  addLibraries:          " ++ (show $ addLibraries a)
 +    ++ "\n  addModules:            " ++ (show $ addModules a)
      ++ "\n  addDeps:               " ++ (show $ addGeneratedDependencies a)
      ++ "\n  architectures:         " ++ (show $ architectures a)
-     ++ "\n  sockeyeSchema:         " ++ (show $ sockeyeSchema a)
+     ++ "\n  skateSchemaDefs:       " ++ (show $ skateSchemaDefs a)
+     ++ "\n  skateSchemas:          " ++ (show $ skateSchemas a)
      ++ "\n"
Simple merge