aboutsummaryrefslogtreecommitdiff
path: root/src/fix-ng/primops.cc
diff options
context:
space:
mode:
authorEelco Dolstra <e.dolstra@tudelft.nl>2003-11-18 11:38:25 +0000
committerEelco Dolstra <e.dolstra@tudelft.nl>2003-11-18 11:38:25 +0000
commitb1117ef29d35822647bda32f8cd3887f4f6eaede (patch)
tree1635a7fd961930104c56aef2fa20ecb3e29d9798 /src/fix-ng/primops.cc
parentce92d1bf1434562f5b80320c503768c4d06f1f8d (diff)
* nix -> nix-store, fix -> nix-instantiate.
Diffstat (limited to 'src/fix-ng/primops.cc')
-rw-r--r--src/fix-ng/primops.cc246
1 files changed, 0 insertions, 246 deletions
diff --git a/src/fix-ng/primops.cc b/src/fix-ng/primops.cc
deleted file mode 100644
index 097933115..000000000
--- a/src/fix-ng/primops.cc
+++ /dev/null
@@ -1,246 +0,0 @@
-#include "primops.hh"
-#include "normalise.hh"
-#include "globals.hh"
-
-
-Expr primImport(EvalState & state, Expr arg)
-{
- ATMatcher m;
- string path;
- if (!(atMatch(m, arg) >> "Path" >> path))
- throw badTerm("path expected", arg);
- return evalFile(state, path);
-}
-
-
-static PathSet storeExprRootsCached(EvalState & state, const Path & nePath)
-{
- DrvPaths::iterator i = state.drvPaths.find(nePath);
- if (i != state.drvPaths.end())
- return i->second;
- else {
- PathSet paths = storeExprRoots(nePath);
- state.drvPaths[nePath] = paths;
- return paths;
- }
-}
-
-
-static Hash hashDerivation(EvalState & state, StoreExpr ne)
-{
- if (ne.type == StoreExpr::neDerivation) {
- PathSet inputs2;
- for (PathSet::iterator i = ne.derivation.inputs.begin();
- i != ne.derivation.inputs.end(); i++)
- {
- DrvHashes::iterator j = state.drvHashes.find(*i);
- if (j == state.drvHashes.end())
- throw Error(format("don't know expression `%1%'") % (string) *i);
- inputs2.insert(j->second);
- }
- ne.derivation.inputs = inputs2;
- }
- return hashTerm(unparseStoreExpr(ne));
-}
-
-
-static Path copyAtom(EvalState & state, const Path & srcPath)
-{
- /* !!! should be cached */
- Path dstPath(addToStore(srcPath));
-
- ClosureElem elem;
- StoreExpr ne;
- ne.type = StoreExpr::neClosure;
- ne.closure.roots.insert(dstPath);
- ne.closure.elems[dstPath] = elem;
-
- Hash drvHash = hashDerivation(state, ne);
- Path drvPath = writeTerm(unparseStoreExpr(ne), "");
- state.drvHashes[drvPath] = drvHash;
-
- printMsg(lvlChatty, format("copied `%1%' -> closure `%2%'")
- % srcPath % drvPath);
- return drvPath;
-}
-
-
-static string addInput(EvalState & state,
- Path & nePath, StoreExpr & ne)
-{
- PathSet paths = storeExprRootsCached(state, nePath);
- if (paths.size() != 1) abort();
- Path path = *(paths.begin());
- ne.derivation.inputs.insert(nePath);
- return path;
-}
-
-
-static string processBinding(EvalState & state, Expr e, StoreExpr & ne)
-{
- e = evalExpr(state, e);
-
- ATMatcher m;
- string s;
- ATermList es;
-
- if (atMatch(m, e) >> "Str" >> s) return s;
- if (atMatch(m, e) >> "Uri" >> s) return s;
- if (atMatch(m, e) >> "Bool" >> "True") return "1";
- if (atMatch(m, e) >> "Bool" >> "False") return "";
-
- if (atMatch(m, e) >> "Attrs" >> es) {
- Expr a = queryAttr(e, "type");
- if (a && evalString(state, a) == "derivation") {
- a = queryAttr(e, "drvPath");
- if (a) {
- Path drvPath = evalPath(state, a);
- return addInput(state, drvPath, ne);
- }
- }
- }
-
- if (atMatch(m, e) >> "Path" >> s) {
- Path drvPath = copyAtom(state, s);
- return addInput(state, drvPath, ne);
- }
-
- if (atMatch(m, e) >> "List" >> es) {
- string s;
- bool first = true;
- for (ATermIterator i(es); i; ++i) {
- startNest(nest, lvlVomit, format("processing list element"));
- if (!first) s = s + " "; else first = false;
- s += processBinding(state, evalExpr(state, *i), ne);
- }
- return s;
- }
-
- if (atMatch(m, e) >> "Null") return "";
-
- throw badTerm("invalid derivation binding", e);
-}
-
-
-Expr primDerivation(EvalState & state, Expr args)
-{
- startNest(nest, lvlVomit, "evaluating derivation");
-
- ATermMap attrs;
- args = evalExpr(state, args);
- queryAllAttrs(args, attrs);
-
- /* Build the derivation expression by processing the attributes. */
- StoreExpr ne;
- ne.type = StoreExpr::neDerivation;
-
- string drvName;
- Path outPath;
- Hash outHash;
- bool outHashGiven = false;
-
- for (ATermIterator i(attrs.keys()); i; ++i) {
- string key = aterm2String(*i);
- Expr value = attrs.get(key);
- startNest(nest, lvlVomit, format("processing attribute `%1%'") % key);
-
- /* The `args' attribute is special: it supplies the
- command-line arguments to the builder. */
- if (key == "args") {
- throw Error("args not implemented");
-#if 0
- ATermList args;
- if (!(ATmatch(value, "[<list>]", &args))
- throw badTerm("list expected", value);
- while (!ATisEmpty(args)) {
- Expr arg = evalExpr(state, ATgetFirst(args));
- ne.derivation.args.push_back(processBinding(state, arg, ne));
- args = ATgetNext(args);
- }
-#endif
- }
-
- /* All other attributes are passed to the builder through the
- environment. */
- else {
- string s = processBinding(state, value, ne);
- ne.derivation.env[key] = s;
- if (key == "builder") ne.derivation.builder = s;
- else if (key == "system") ne.derivation.platform = s;
- else if (key == "name") drvName = s;
- else if (key == "outPath") outPath = s;
- else if (key == "id") {
- outHash = parseHash(s);
- outHashGiven = true;
- }
- }
- }
-
- /* Do we have all required attributes? */
- if (ne.derivation.builder == "")
- throw badTerm("required attribute `builder' missing", args);
- if (ne.derivation.platform == "")
- throw badTerm("required attribute `system' missing", args);
- if (drvName == "")
- throw badTerm("required attribute `name' missing", args);
-
- /* Determine the output path. */
- if (!outHashGiven) outHash = hashDerivation(state, ne);
- if (outPath == "")
- /* Hash the Nix expression with no outputs to produce a
- unique but deterministic path name for this derivation. */
- outPath = canonPath(nixStore + "/" +
- ((string) outHash).c_str() + "-" + drvName);
- ne.derivation.env["out"] = outPath;
- ne.derivation.outputs.insert(outPath);
-
- /* Write the resulting term into the Nix store directory. */
- Hash drvHash = outHashGiven
- ? hashString((string) outHash + outPath)
- : hashDerivation(state, ne);
- Path drvPath = writeTerm(unparseStoreExpr(ne), "-d-" + drvName);
- state.drvHashes[drvPath] = drvHash;
-
- printMsg(lvlChatty, format("instantiated `%1%' -> `%2%'")
- % drvName % drvPath);
-
- attrs.set("outPath", ATmake("Path(<str>)", outPath.c_str()));
- attrs.set("drvPath", ATmake("Path(<str>)", drvPath.c_str()));
- attrs.set("type", ATmake("Str(\"derivation\")"));
-
- return makeAttrs(attrs);
-}
-
-
-Expr primBaseNameOf(EvalState & state, Expr arg)
-{
- string s = evalString(state, arg);
- return ATmake("Str(<str>)", baseNameOf(s).c_str());
-}
-
-
-Expr primToString(EvalState & state, Expr arg)
-{
- arg = evalExpr(state, arg);
- ATMatcher m;
- string s;
- if (atMatch(m, arg) >> "Str" >> s ||
- atMatch(m, arg) >> "Path" >> s ||
- atMatch(m, arg) >> "Uri" >> s)
- return ATmake("Str(<str>)", s.c_str());
- else throw badTerm("cannot coerce to string", arg);
-}
-
-
-Expr primNull(EvalState & state)
-{
- return ATmake("Null");
-}
-
-
-Expr primIsNull(EvalState & state, Expr arg)
-{
- arg = evalExpr(state, arg);
- ATMatcher m;
- return makeBool(atMatch(m, arg) >> "Null");
-}