gnu: linux-initrd: Allow the root file system to be volatile.
[jackhill/guix/guix.git] / TODO
diff --git a/TODO b/TODO
index 205e1d7..0d52633 100644 (file)
--- a/TODO
+++ b/TODO
@@ -1,5 +1,8 @@
 -*- mode: org; coding: utf-8; -*-
 
+#+TITLE: What's left to do?
+#+STARTUP: content hidestars
+
 Copyright © 2012, 2013 Ludovic Courtès <ludo@gnu.org>
 
   Copying and distribution of this file, with or without modification,
@@ -8,67 +11,40 @@ Copyright © 2012, 2013 Ludovic Courtès <ludo@gnu.org>
 
 * integrate needed Nix code
 
-** Remove dependency on OpenSSL
-
-The ‘openssl’ command-line tool is used in libstore to sign store paths
-to be exported, and to check such signatures.  The signing keys are
-usually in /etc/nix/signing-key.{pub,sec}.  They are a PKCS#8-encoded
-X.509 SubjectPublicKeyInfo.  These can be decoded with the [[http://lists.gnu.org/archive/html/help-gnutls/2012-12/msg00012.html][C API of
-GnuTLS]], but not yet with its Guile bindings.  There’s also
-‘gnutls_privkey_sign_data’ to sign, and related functions.
-
-** Add a binary cache substituter
+** MAYBE Add a substituter that uses the GNUnet DHT or [[http://libswift.org][libswift]]
 
-Like scripts/download-from-binary-cache.pl in Nix, but written in
-Scheme.  Substituters allow pre-built binaries to be downloaded when
-they are available from a trusted source.
+Would be neat if binaries could be pushed to and pulled from the GNUnet DHT or
+rather libswift (since DHTs aren’t suited for large payloads).  Guix users
+would sign their binaries, and define which binaries they trust.
 
-** MAYBE Add a substituter that uses the GNUnet DHT
-
-Would be neat if binaries could be pushed to and pulled from the GNUnet
-DHT.  Guix users would sign their binaries, and define which binaries
-they trust.
+Use UPnP and similar to traverse NAT, like ‘filegive’ does.
 
 ** Add a remote build hook
 
 Like scripts/build-remote.pl in Nix.
 
-* infrastructure
-
-** have a Hydra instance build Guix packages
+* Add `guix publish' to publish the store using Guile's web server
 
-[[http://nixos.org/hydra/][Hydra]] is a continuous integration tool based on Nix.  It now has
-[[https://github.com/NixOS/hydra/commit/f27ae1d5663680400cb99cfb898970f34d8d21be][Guile/Guix support]], which allows “build recipes” written in Guile using
-Guix to be used directly on Hydra.
-
-For a start, we may use the instance at hydra.nixos.org, generously
-provided by TU Delft.  However, in the future, we may want to setup our
-own instance at gnu.org.
+Generate narinfos and nars on the fly, upon HTTP GET requests.
+Ideally, extend .nix-cache-info to include the server's public key, and also
+reply to requests for .narinfo.sig.
+Optionally, use Guile-Avahi to publish the service.
 
 * user interface
 ** Add a package.el (Emacs) back-end
 
-Unfortunately package.el is monolithic, so most likely we’d have to
-write a new one based on it, as opposed to actually using it.
-
-* extend <origin>
-** add OpenPGP signatures:
+package.el is quite monolithic, but we may be able to reuse/extend
+‘package-menu-mode’ or at least ‘tabulated-list-mode’.
 
-   (origin
-     (method http-fetch)
-     (uri "http://.../foo.tgz")
-     (signature-uri (string-append uri ".sig"))
-     (signer-openpgp-fingerprint "..."))
-
-** allow <origin> to be a derivation/package or a file
+** add guile-ncurses interface
 
 * extend <package>
 
-** add support for ‘search-paths’
+** add ‘recommends’ field
 
-This should be passed to the build system, to extend package-specific
-search path environment variables–like ‘GUILE_LOAD_PATH’, ‘PERL5LIB’,
-etc.
+For instance, glibc, binutils, gcc, and ld-wrapper would recommend each other.
+‘guix package -i’ could ask interactively (?), or allow users to follow all or
+none of the recommendations.
 
 ** add a ‘user-environment-hook’
 
@@ -76,8 +52,6 @@ This should specify builder code to be run when building a user
 environment with ‘guix-package’.  For instance, Texinfo’s hook would
 create a new ‘dir’.
 
-** add ‘patches’ there
-
 ** extend ‘propagated-build-inputs’ with support for multiple outputs
 
 #+BEGIN_SRC scheme
@@ -89,45 +63,45 @@ create a new ‘dir’.
       ("i3" ,p3)))
 #+END_SRC
 
-* synchronize package descriptions with the [[http://directory.fsf.org][FSD]] and/or the Womb
+* MAYBE use HOP-like escapes to refer to inputs in build-side code
+
+Instead of doing things like:
+
+#+BEGIN_SRC scheme
+  (inputs `(("foo" ,foo)))
+  (arguments '(#:configure-flags
+               (list (string-append "--with-foo="
+                                    (assoc-ref %build-inputs "foo")))))
+#+END_SRC
+
+Allow things like:
+
+#+BEGIN_SRC scheme
+  (inputs (list foo))
+  (arguments ~(#:configure-flags
+               (list (string-append "--with-foo=" $foo))))
+  
+#+END_SRC
+
+... where '~' is 'build-quote' and '$' is 'build-unquote'.  Better yet,
+automatically compute the list of references of an expression passed to
+'derivation-expression'.
+
+Use a [[http://dorophone.blogspot.fr/2011/09/scheme-syntax-is-monad.html][monad]] for the syntax.
+
+* synchronize non-GNU package descriptions with the [[http://directory.fsf.org][FSD]]
 
 Meta-data for GNU packages, including descriptions and synopses, can be
 dumped from the FSD:
 http://directory.fsf.org/wiki?title=GNU/Export&action=purge .
 We could periodically synchronize with that.
 
-The [[./guix/gnu-maintenance.scm][Womb]] also contains synopses for all the GNU packages.
-
-* support cross-compilation
-
-Implement ‘package-cross-derivation’, and add the corresponding code in
-‘gnu-build-system’.  Then, actually bootstrap a cross-compilation
-environment–e.g., a cross-GNU environment.
-
 * add a guildhall build system
 
 The Guildhall is Guile’s packaging system.  It should be easy to add a
 ‘guildhall-build-system’ that does the right thing based on guildhall
 recipes.
 
-* gnu-build-system: produce a ‘debug’ derivation
-
-Set a .gnu_debuglink in the main derivations to point to the sibling
-file name (only the basename, to not retain a dependency on the ‘debug’
-derivation.)
-
-For /nix/store/xyz-foobar/bin/foo, we should have
-/nix/store/abc-foobar-debug/lib/nix/store/xyz-foobar/bin/foo.debug (info
-"(gdb) Separate Debug Files").
-
-Users should have a default GDB setting with ~/.guix-profile/lib/debug
-as their ‘debug-file-directory’.
-
-* build-expression->derivation: define `%system' in the builder
-
-Would allow build expressions to have system-dependent code, like
-`glibc-dynamic-linker'.
-
 * add ‘allowed-references’ in <package>
 
 [[file:~/src/nix/src/libstore/build.cc::if%20(drv.env.find("allowedReferences")%20!%3D%20drv.env.end())%20{][See how Nix implements that internally]].
@@ -138,15 +112,21 @@ Support sophisticated collision handling when building a union: check
 whether the colliding files are identical, honor per-package priorities,
 etc.
 
-* guix package
+* add GUIX_ALLOW_EXPENSIVE_TESTS
+
+Tests that need to download stuff or otherwise take a long time would only be
+run when that is defined.
+
+* add "guix challenge"
+
+Would download a substitute, and compare its contents against a (hopefully
+locally-built) copy.
 
-** add ‘--list-generations’, and ‘--delete-generations’
 
 * guix build utils
-** Add equivalent to Nixpkgs's ‘wrapProgram’
 ** MAYBE Change ‘ld-wrapper’ to add RPATH for libs passed by file name
 
-** MAYBE Add equivalent to chrpath, possibly using [[https://gitorious.org/guile-dlhacks/guile-dlhacks/][guile-dlhacks]]
+** MAYBE Add equivalent to chrpath that uses [[https://gitorious.org/guile-dlhacks/guile-dlhacks/][guile-dlhacks]]
 
 ** MAYBE Add a hash-rewriting thing for deep dependency replacement without rebuild