depot - monorepo for the virus lounge

Age	Commit message (Collapse)	Author	Files	Lines
2004-04-08	* Documented the primops.	Eelco Dolstra	2	-3/+102

2004-04-08	* EBNF grammar for the Nix expression language.	Eelco Dolstra	4	-4/+198

2004-04-06	* Distributed the wrong file.	Eelco Dolstra	1	-2/+1

2004-04-06	* Make the creation of user environments much faster and more storage	Eelco Dolstra	1	-45/+66
	efficient by creating only a single symlink to entire directory trees unless a collission occurs.
2004-04-06	* Fail if prerequisites are missing.	Eelco Dolstra	1	-11/+14

2004-04-06	* Switched from wget to curl.	Eelco Dolstra	11	-36/+47
	* Made the dependencies on bzip2 and the shell explicit.
2004-04-05	* When something goes wrong in the evaluation of a Nix expression,	Eelco Dolstra	8	-89/+200
	print a nice backtrace of the stack, rather than vomiting a gigantic (and useless) aterm on the screen. Example: error: while evaluating file `.../pkgs/system/test.nix': while evaluating attribute `subversion' at `.../pkgs/system/all-packages-generic.nix', line 533: while evaluating function at `.../pkgs/applications/version-management/subversion/default.nix', line 1: assertion failed at `.../pkgs/applications/version-management/subversion/default.nix', line 13 Since the Nix expression language is lazy, the trace may be misleading. The purpose is to provide a hint as to the location of the problem.
2004-04-02	* Print a more useful error message in case of an invalid derivation	Eelco Dolstra	1	-1/+6
	binding.
2004-03-30	* The recent change in nixpkgs of calling `stdenv.mkDerivation'	Eelco Dolstra	2	-2/+11
	instead of `derivation' triggered a huge slowdown in the Nix expression evaluator. Total execution time of `nix-env -qa' went up by a factor of 60 or so. This scalability problem was caused by expressions such as (x: y: ... x ...) a b where `a' is a large term (say, the one in `all-packages-generic.nix'). Then the first beta-reduction would produce (y: ... a ...) b by substituting `a' for `x'. The second beta-reduction would then substitute `b' for `y' into the body `... a ...', which is a large term due to `a', and thus causes a large traversal to be performed by substitute() in the second reduction. This is however entirely redundant, since `a' cannot contain free variables (since we never substitute below a weak head normal form). The solution is to wrap substituted terms into a `Closed' constructor, i.e., subst(subs, Var(x)) = Closed(e) iff subs[x] = e have substitution not descent into closed terms, subst(subs, Closed(x)) = Closed(x) and otherwise ignore them for evaluation, eval(Closed(x)) = eval(x). * Fix a typo that caused incorrect substitutions to be performed in simple lambdas, e.g., `(x: x: x) a' would reduce to `(x: a)'.
2004-03-29	* Specify Perl as a dependency for the RPM.	Eelco Dolstra	1	-0/+1

2004-03-28	* Added an operator `?' to test for attribute existence, e.g.,	Eelco Dolstra	2	-1/+10
	`attrs ? x' yields true iff `attrs' has an attribute named `x'.
2004-03-28	* Added an operator `~' to select paths within a derivation. E.g.,	Eelco Dolstra	3	-0/+16
	{stdenv, bash}: derivation { builder = bash ~ /bin/sh; args = ["-e" "-x" ./builder.sh]; ... } Here the attribute `builder' will evaluate to, e.g., `/nix/store/1234abcd...-bash-2.0.1/bin/sh'.
2004-03-28	* Added plain lambdas, e.g., `let { id = x: x; const = x: y: x; }'.	Eelco Dolstra	5	-37/+63
	`bla:' is now no longer parsed as a URL. * Re-enabled support for the `args' attribute in derivations to specify command line arguments to the builder, e.g., ... builder = /usr/bin/python; args = ["-c" ./builder.py]; ...
2004-03-27	* Disallow the Nix store or any of its parents from being symlinks.	Eelco Dolstra	2	-11/+37
	This is because the contents of these symlinks are not incorporated into the hashes of derivations, and could therefore cause a mismatch between the build system and the target system. E.g., if `/nix/store' is a symlink to `/data/nix/store', then a builder could expand this path and store the result. If on the target system `/nix/store' is not a symlink, or is a symlink that points somewhere else, we have a dangling pointer. The trigger for this change is that gcc 3.3.3 does exactly that (it applies realpath() to some files, such as libraries, which causes our impurity checker to bail out.) An annoying side-effect of this change is that it makes it harder to move the Nix store to a different file system. On Linux, bind mounts can be used instead of symlink for this purpose (e.g., `mount -o bind /data/nix/store /nix/store').
2004-03-27	* Do not close a nesting level twice after close() has been	Eelco Dolstra	2	-1/+11
	called explicitly on a Nest object.
2004-03-22	* Some more nesting.	Eelco Dolstra	3	-14/+40

2004-03-22	* Nix now has three different formats for the log information it	Eelco Dolstra	3	-7/+52
	writes to stderr: - `pretty': the old nested style (default) - `escapes': uses escape codes to indicate nesting and message level; can be processed using `log2xml' - `flat': just plain text, no nesting These can be set using `--log-type TYPE' or the NIX_LOG_TYPE environment variable.
2004-03-19	* `null' is a normal form.	Eelco Dolstra	1	-8/+11

2004-03-18	* Escape codes to force line breaks to be ignored.	Eelco Dolstra	1	-1/+9

2004-03-18	* Added an extra escape code to signal "unimportant" messages. If a tree ↵	Eelco Dolstra	3	-9/+46
	only has unimportant messages, it is collapsed by the default. * Also added an optional integer argument to the escape code for opening a nesting level to indicate lack of importance. If set, the tree is collapsed by default.
2004-03-18	* Collapsable trees.	Eelco Dolstra	3	-5/+65

2004-03-18	* Use unordered lists, which is more sensible semantically for	Eelco Dolstra	2	-50/+43
	representing tree structures.
2004-03-18	* Don't use tables. Konqueror likes this much better.	Eelco Dolstra	2	-71/+33

2004-03-17	* Display the popup directly over the abbreviation.	Eelco Dolstra	1	-2/+2

2004-03-17	* A simpler way of implementing the store reference popups, thanks to	Eelco Dolstra	2	-17/+14
	Martin and CSS guru Martijn Vermaat.
2004-03-16	* Store paths are now abbreviated in the generated HTML file.	Eelco Dolstra	3	-13/+89
	Hovering over the abbreviated path will reveal the full path. This probably only works in Mozilla.
2004-03-15	* Added a utility that can be used to produce nice HTML pages from Nix	Eelco Dolstra	6	-1/+240
	build logs. The program `log2xml' converts a Nix build log (read from standard input) into XML file that can then be converted to XHTML by the `log2html.xsl' stylesheet. The CSS stylesheet `logfile.css' is necessary to make it look good. This is primarily useful if the log file has a tree structure, i.e., that sub-tasks such as the various phases of a build (unpack, configure, make, etc.) or recursive invocations of Make are represented as such. While a log file is in principle an unstructured plain text file, builders can communicate this tree structure to `log2xml' by using escape sequences: - "\e[p" starts a new nesting level; the first line following the escape code is the header; - "\e[q" ends the current nesting level. The generic builder in nixpkgs (not yet committed) uses this. It shouldn't be to hard to patch GNU Make to speak this protocol. Further improvements to the generated HTML pages are to allow collapsing/expanding of subtrees, and to abbreviate store paths (but to show the full path by hovering the mouse over it).
2004-03-15	* Make perl a dependency of Nix.	Eelco Dolstra	9	-7/+15

2004-03-12	* Set the NIX_STORE and NIX_BUILD_TOP environment variables in	Eelco Dolstra	3	-3/+19
	builders to point to the store and the temporary build directory, respectively. Useful for purity checking. * Also set TEMPDIR, TMPDIR, TEMP, and TEMP to NIX_BUILD_TOP to make sure that tools in the builder store temporary files in the right location.
2004-02-20	* Use $(storedir) instead of $(prefix)/store.	Eelco Dolstra	3	-3/+4

2004-02-19	* Resolve an ambiguity between ifs and attribute selection, e.g., `if	Eelco Dolstra	1	-3/+7
	b then x else y.z'.
2004-02-16	* Don't build ATerm library if we don't need to.	Eelco Dolstra	1	-0/+4

2004-02-16	* Allow linking against an external Berkeley DB / ATerm library.	Eelco Dolstra	11	-18/+47

2004-02-16	* Allow the location of the store to be specified (--with-store-dir).	Eelco Dolstra	4	-2/+8
	* Do not create stuff in localstatedir when doing `make install' (since we may not have write access). In general, installation of constant code/data should be separate from the initialisation of mutable state.
2004-02-16	* Inherited attributes in recursive attribute sets are in scope of the	Eelco Dolstra	2	-10/+18
	non-inherited attributes.
2004-02-14	* The environment variable NIX_ROOT can now be set to execute Nix in a	Eelco Dolstra	4	-12/+70
	chroot() environment. * A operation `--validpath' to register path validity. Useful for bootstrapping in a pure Nix environment. * Safety checks: ensure that files involved in store operations are in the store.
2004-02-13	* Regression fix: realise substitutes and detect cycles.	Eelco Dolstra	1	-1/+8

2004-02-13	* Only include predecessors that are themselves being pushed.	Eelco Dolstra	1	-1/+6
	Otherwise the substitute mechanism can break in subtle ways.
2004-02-11	* When creating a new generation, also make the normal form of the	Eelco Dolstra	3	-6/+10
	derivation (i.e., the closure store expression) a root of the garbage collector. This ensures that running `nix-collect-garbage --no-successors' is safe.
2004-02-10	* Lots of manual stuff. Reference pages for most Nix commands.	Eelco Dolstra	16	-24/+678
	* nix-pull now requires the full url to the manifest, i.e., `/MANIFEST/' is no longer automatically appended. * nix-prefetch-url works again.
2004-02-10	* Print what generation we are switching to; honour --dry-run flag.	Eelco Dolstra	1	-0/+5

2004-02-10	* Documented the most important nix-env flags.	Eelco Dolstra	2	-5/+448

2004-02-09	* In `--upgrade': added flags `--lt', `--leq', `--always' to specify	Eelco Dolstra	4	-24/+81
	whether we want to upgrade if the current version is less than the available version (default), when it is less or equal, or always. * Added a flag `--dry-run' to show what would happen in `--install', `--uninstall', and `--upgrade', without actually performing the operation.
2004-02-08	* A command `--switch-generation' to switch to a specific generation	Eelco Dolstra	3	-0/+71
	of the current profile, e.g., $ nix-env --list-generations ... 39 2004-02-02 17:53:53 40 2004-02-02 17:55:18 41 2004-02-02 17:55:41 42 2004-02-02 17:55:50 (current) $ nix-env --switch-generation 39 $ ls -l /nix/var/nix/profiles/default ... default -> default-39-link * Also a command `--rollback' which is just a convenience operation to rollback to the oldest generation younger than the current one. Note that generations properly form a tree. E.g., if after switching to generation 39, we perform an installation action, a generation 43 is created which is a descendant of 39, not 42. So a rollback from 43 ought to go back to 39. This is not currently implemented; generations form a linear sequence.
2004-02-06	* In `--list-generations', show what the current generation is.	Eelco Dolstra	3	-13/+30

2004-02-06	* A command `--list-generations' to show all generations for a	Eelco Dolstra	3	-9/+80
	profile.
2004-02-06	* More refactoring.	Eelco Dolstra	4	-57/+74

2004-02-06	* Refactoring.	Eelco Dolstra	4	-131/+152

2004-02-06	* Use the profile pointed to by ~/.nix-profile if no --profile	Eelco Dolstra	2	-7/+12
	argument is specified.
2004-02-06	* Improvements to profiles. Generations are now per-profile, e.g.,	Eelco Dolstra	10	-78/+84
	default -> default-94-link default-82-link -> /nix/store/cc4480... default-83-link -> /nix/store/caeec8... ... default-94-link -> /nix/store/2896ca... experimental -> experimental-2-link experimental-1-link -> /nix/store/cc4480... experimental-2-link -> /nix/store/a3148f... * `--profile' / `-p' -> `--switch-profile' / `-S' * `--link' / `-l' -> `--profile' / `-p' * The default profile is stored in $prefix/var/nix/profiles. $prefix/var/nix/links is gone. Profiles can be stored anywhere. * The current profile is now referenced from ~/.nix-profile, not ~/.nix-userenv. * The roots to the garbage collector now have extension `.gcroot', not `.id'.