[Nix-commits] [NixOS/nixpkgs] 1dee38: BLCR 0.8.5b4 *do* work with Linux 3.10.
Branch: refs/heads/master Home: https://github.com/NixOS/nixpkgs Commit: 1dee38f259c28f08a9694923301290fa82f5d81f https://github.com/NixOS/nixpkgs/commit/1dee38f259c28f08a9694923301290fa82f5d81f Author: Marco Maggesi Date: 2017-04-13 (Thu, 13 Apr 2017) Changed paths: M pkgs/os-specific/linux/blcr/default.nix Log Message: --- BLCR 0.8.5b4 *do* work with Linux 3.10. ___ nix-commits mailing list nix-comm...@lists.science.uu.nl https://mailman.science.uu.nl/mailman/listinfo/nix-commits
[Nix-commits] [NixOS/nixpkgs] ff97d8: BLCR 0.8.5b4 *do* work with Linux 3.10.
Branch: refs/heads/release-17.03 Home: https://github.com/NixOS/nixpkgs Commit: ff97d8bb1c92173acdf65dbb388f8bb0a948112d https://github.com/NixOS/nixpkgs/commit/ff97d8bb1c92173acdf65dbb388f8bb0a948112d Author: Marco Maggesi Date: 2017-04-13 (Thu, 13 Apr 2017) Changed paths: M pkgs/os-specific/linux/blcr/default.nix Log Message: --- BLCR 0.8.5b4 *do* work with Linux 3.10. ___ nix-commits mailing list nix-comm...@lists.science.uu.nl https://mailman.science.uu.nl/mailman/listinfo/nix-commits
Re: [Nix-dev] Arch is dropping i686. Should we?
I use nixos i686 on virtualbox, xen and on some old hardware. For some applications, i686 binaries require less memory and are slightly faster. From my personal use, the dismiss of support of i686 would be a loss. Marco 2017-01-26 16:46 GMT+01:00 Ryan Trinkle : > I provide i686 binaries for users of reflex-platform, a nix-based > environment for developing GUI applications in Haskell. I have only a few > confirmed users of i686, but since their machines are correspondingly older > and less powerful than most of my other users', the benefit of nix's binary > caching is especially pronounced. Building the reflex-platform ecosystem > from scratch takes about 6 hours on a fast, modern machine, so outdated > machines (especially if they are RAM-limited, as most 32-bit systems are) > is, nearly unworkable. > > On the other hand, I don't know anything about the cost of supporting i686, > so if cutting it makes sense to others and enables nixpkgs as a whole to > move faster, I certainly won't complain. > > On Thu, Jan 26, 2017 at 10:31 AM, Profpatsch wrote: >> >> On 17-01-26 08:37am, Graham Christensen wrote: >> > One person on IRC said they think they may have used it once. Does >> > anyone on this list use NixOS on i686? anyone on this list know anyone >> > using NixOS on i686? >> >> I’m using it for one old machine running the audio server >> of our hackerspace. >> >> -- >> Proudly written in Mutt with Vim on NixOS. >> Q: Why is this email five sentences or less? >> A: http://five.sentenc.es >> May take up to five days to read your message. If it’s urgent, call me. >> ___ >> nix-dev mailing list >> nix-dev@lists.science.uu.nl >> http://lists.science.uu.nl/mailman/listinfo/nix-dev > > > > ___ > nix-dev mailing list > nix-dev@lists.science.uu.nl > http://lists.science.uu.nl/mailman/listinfo/nix-dev > ___ nix-dev mailing list nix-dev@lists.science.uu.nl http://lists.science.uu.nl/mailman/listinfo/nix-dev
[Nix-commits] [NixOS/nixpkgs] 829580: Revert "Fix derivation for linux kernel 3.14."
Branch: refs/heads/release-16.09 Home: https://github.com/NixOS/nixpkgs Commit: 829580e88aa4cc96e210fb68786faf36771c2497 https://github.com/NixOS/nixpkgs/commit/829580e88aa4cc96e210fb68786faf36771c2497 Author: Marco Maggesi Date: 2016-10-07 (Fri, 07 Oct 2016) Changed paths: M pkgs/top-level/all-packages.nix Log Message: --- Revert "Fix derivation for linux kernel 3.14." In the end, it is too dangerous to have an unmaintained kernel in nixpkgs. Revert the revert. This reverts commit 51ca699309df4c30f6761e76ee6c20691ab74f59. ___ nix-commits mailing list nix-comm...@lists.science.uu.nl http://lists.science.uu.nl/mailman/listinfo/nix-commits
[Nix-commits] [NixOS/nixpkgs] 435673: Revert "Revert "linux*: remove 3.14, as it's no lo...
Branch: refs/heads/master Home: https://github.com/NixOS/nixpkgs Commit: 435673b9488e1250fcc0608c9a2ba3f7616ff4c6 https://github.com/NixOS/nixpkgs/commit/435673b9488e1250fcc0608c9a2ba3f7616ff4c6 Author: Marco Maggesi Date: 2016-10-07 (Fri, 07 Oct 2016) Changed paths: R pkgs/os-specific/linux/kernel/linux-3.14.nix M pkgs/top-level/all-packages.nix Log Message: --- Revert "Revert "linux*: remove 3.14, as it's no longer maintained"" In the end, it is too dangerous to have an unmaintained kernel in nixpkgs. Revert the revert. This reverts commit e92172517640d6c6bcba0f5ee2d5d2e11b010e62. ___ nix-commits mailing list nix-comm...@lists.science.uu.nl http://lists.science.uu.nl/mailman/listinfo/nix-commits
[Nix-commits] [NixOS/nixpkgs] 51ca69: Fix derivation for linux kernel 3.14.
Branch: refs/heads/release-16.09 Home: https://github.com/NixOS/nixpkgs Commit: 51ca699309df4c30f6761e76ee6c20691ab74f59 https://github.com/NixOS/nixpkgs/commit/51ca699309df4c30f6761e76ee6c20691ab74f59 Author: Marco Maggesi Date: 2016-10-07 (Fri, 07 Oct 2016) Changed paths: M pkgs/top-level/all-packages.nix Log Message: --- Fix derivation for linux kernel 3.14. ___ nix-commits mailing list nix-comm...@lists.science.uu.nl http://lists.science.uu.nl/mailman/listinfo/nix-commits
[Nix-commits] [NixOS/nixpkgs] 060185: Revert "linux*: remove 3.14, as it's no longer mai...
Branch: refs/heads/release-16.09 Home: https://github.com/NixOS/nixpkgs Commit: 0601851a66bf6fe104c3e78e60b052ffaf42f62c https://github.com/NixOS/nixpkgs/commit/0601851a66bf6fe104c3e78e60b052ffaf42f62c Author: Marco Maggesi Date: 2016-10-07 (Fri, 07 Oct 2016) Changed paths: A pkgs/os-specific/linux/kernel/linux-3.14.nix M pkgs/top-level/all-packages.nix Log Message: --- Revert "linux*: remove 3.14, as it's no longer maintained" This is the simplest way to reenable the use of BLCR (which at present requires linux version >3.12 <3.18) until we find a better solution. This reverts commit 6a9e765e2741d94713d628a88b048c32762371f0. ___ nix-commits mailing list nix-comm...@lists.science.uu.nl http://lists.science.uu.nl/mailman/listinfo/nix-commits
[Nix-commits] [NixOS/nixpkgs] e92172: Revert "linux*: remove 3.14, as it's no longer mai...
Branch: refs/heads/master Home: https://github.com/NixOS/nixpkgs Commit: e92172517640d6c6bcba0f5ee2d5d2e11b010e62 https://github.com/NixOS/nixpkgs/commit/e92172517640d6c6bcba0f5ee2d5d2e11b010e62 Author: Marco Maggesi Date: 2016-10-07 (Fri, 07 Oct 2016) Changed paths: A pkgs/os-specific/linux/kernel/linux-3.14.nix M pkgs/top-level/all-packages.nix Log Message: --- Revert "linux*: remove 3.14, as it's no longer maintained" This is the simplest way to reenable the use of BLCR (which at present requires linux version >3.12 <3.18) until we find a better solution. This reverts commit 6a9e765e2741d94713d628a88b048c32762371f0. ___ nix-commits mailing list nix-comm...@lists.science.uu.nl http://lists.science.uu.nl/mailman/listinfo/nix-commits
[Nix-commits] [NixOS/nixpkgs] c28eb6: Update HOL Light to version 2016-07-23.
Branch: refs/heads/master Home: https://github.com/NixOS/nixpkgs Commit: c28eb6c2ba3637ae1eec426001c3bc42adcc9ce0 https://github.com/NixOS/nixpkgs/commit/c28eb6c2ba3637ae1eec426001c3bc42adcc9ce0 Author: Marco Maggesi Date: 2016-07-28 (Thu, 28 Jul 2016) Changed paths: M pkgs/applications/science/logic/hol_light/default.nix Log Message: --- Update HOL Light to version 2016-07-23. ___ nix-commits mailing list nix-comm...@lists.science.uu.nl http://lists.science.uu.nl/mailman/listinfo/nix-commits
Re: [Nix-dev] error: querying path in database: database disk image is malformed
It worked! I booted from the installation cd. I had to remove all files from /nix/var/nix/db (not only db.sqlite) Here is what I did: swapon /dev/disk/by-label/swap mount /dev/disk/by-label/nixos /mnt cd /mnt/nix/var/nix/db mkdir backup mv * backup nixos-install Thanks again, Marco 2016-07-26 10:10 GMT+02:00 Domen Kožar : > You'll have to boot a live USB/CD, just as you'd perform an installation > from scratch. > > I don't know if there's a better way to fix sqlite (besdes having a > backup), sorry. > > On Tue, Jul 26, 2016 at 10:08 AM, Marco Maggesi > wrote: > >> I'm on NixOS. I see that the nixos-install is present in my system. >> Then I would like to avoid to burn a new installation CD, if possible. >> >> Can I run nixos-install from my installed system? >> I tried, and this is what I get: >> >> # nixos-install --root / >> /run/current-system/sw/bin/nixos-install: line 88: >> /run/current-system/sw/bin/mount: No such file or directory >> >> # mount /dev/disk/by-label/nixos /mnt >> >> # nixos-install >> cp: cannot stat '/etc/resolv.conf': No such file or directory >> cp: cannot stat '/etc/hosts': No such file or directory >> >> Thanks again, >> Marco >> >> >> >> 2016-07-26 9:18 GMT+02:00 Domen Kožar : >> >>> If it's a single user install, just run: >>> >>> $ curl https://nixos.org/nix/install | sh >>> >>> If it's a multi-user install, follow >>> http://nixos.org/nix/manual/#ssec-multi-user >>> >>> For NixOS, run nixos-install on your root partition. >>> >>> >>> On Tue, Jul 26, 2016 at 9:13 AM, Marco Maggesi >>> wrote: >>> >>>> Thanks Domen. >>>> >>>> But how I do (re)install Nix? >>>> From sources? >>>> >>>> M. >>>> >>>> 2016-07-25 10:46 GMT+02:00 Domen Kožar : >>>> >>>>> Happened to me once, I deleted the sqlite db (made a backup of it >>>>> first) and just installed Nix again. >>>>> >>>>> On Mon, Jul 25, 2016 at 10:23 AM, Marco Maggesi >>>> > wrote: >>>>> >>>>>> Hi, >>>>>> >>>>>> during the last upgrade I got this error: >>>>>> >>>>>> # nix-env --always -u >>>>>> error: querying path in database: database disk image is malformed >>>>>> (use ‘--show-trace’ to show detailed location information) >>>>>> >>>>>> Here is what sqlite says: >>>>>> >>>>>> ./sqlite3 /nix/var/nix/db/db.sqlite "pragma integrity_check" >>>>>> *** in database main *** >>>>>> Page 5033: btreeInitPage() returns error code 11 >>>>>> Page 3988: btreeInitPage() returns error code 11 >>>>>> Page 1926: btreeInitPage() returns error code 11 >>>>>> Page 2363: btreeInitPage() returns error code 11 >>>>>> Page 3146: btreeInitPage() returns error code 11 >>>>>> Page 5090: btreeInitPage() returns error code 11 >>>>>> Page 5124: btreeInitPage() returns error code 11 >>>>>> Page 283: btreeInitPage() returns error code 11 >>>>>> Error: database disk image is malformed >>>>>> >>>>>> Can you give me a suggestion on the cheapest way to recover from this? >>>>>> >>>>>> Thanks, >>>>>> Marco >>>>>> >>>>>> >>>>>> ___ >>>>>> nix-dev mailing list >>>>>> nix-dev@lists.science.uu.nl >>>>>> http://lists.science.uu.nl/mailman/listinfo/nix-dev >>>>>> >>>>>> >>>>> >>>>> ___ >>>>> nix-dev mailing list >>>>> nix-dev@lists.science.uu.nl >>>>> http://lists.science.uu.nl/mailman/listinfo/nix-dev >>>>> >>>>> >>>> >>> >>> ___ >>> nix-dev mailing list >>> nix-dev@lists.science.uu.nl >>> http://lists.science.uu.nl/mailman/listinfo/nix-dev >>> >>> >> >> ___ >> nix-dev mailing list >> nix-dev@lists.science.uu.nl >> http://lists.science.uu.nl/mailman/listinfo/nix-dev >> >> > > ___ > nix-dev mailing list > nix-dev@lists.science.uu.nl > http://lists.science.uu.nl/mailman/listinfo/nix-dev > > ___ nix-dev mailing list nix-dev@lists.science.uu.nl http://lists.science.uu.nl/mailman/listinfo/nix-dev
Re: [Nix-dev] error: querying path in database: database disk image is malformed
I'm on NixOS. I see that the nixos-install is present in my system. Then I would like to avoid to burn a new installation CD, if possible. Can I run nixos-install from my installed system? I tried, and this is what I get: # nixos-install --root / /run/current-system/sw/bin/nixos-install: line 88: /run/current-system/sw/bin/mount: No such file or directory # mount /dev/disk/by-label/nixos /mnt # nixos-install cp: cannot stat '/etc/resolv.conf': No such file or directory cp: cannot stat '/etc/hosts': No such file or directory Thanks again, Marco 2016-07-26 9:18 GMT+02:00 Domen Kožar : > If it's a single user install, just run: > > $ curl https://nixos.org/nix/install | sh > > If it's a multi-user install, follow > http://nixos.org/nix/manual/#ssec-multi-user > > For NixOS, run nixos-install on your root partition. > > > On Tue, Jul 26, 2016 at 9:13 AM, Marco Maggesi > wrote: > >> Thanks Domen. >> >> But how I do (re)install Nix? >> From sources? >> >> M. >> >> 2016-07-25 10:46 GMT+02:00 Domen Kožar : >> >>> Happened to me once, I deleted the sqlite db (made a backup of it first) >>> and just installed Nix again. >>> >>> On Mon, Jul 25, 2016 at 10:23 AM, Marco Maggesi >>> wrote: >>> >>>> Hi, >>>> >>>> during the last upgrade I got this error: >>>> >>>> # nix-env --always -u >>>> error: querying path in database: database disk image is malformed >>>> (use ‘--show-trace’ to show detailed location information) >>>> >>>> Here is what sqlite says: >>>> >>>> ./sqlite3 /nix/var/nix/db/db.sqlite "pragma integrity_check" >>>> *** in database main *** >>>> Page 5033: btreeInitPage() returns error code 11 >>>> Page 3988: btreeInitPage() returns error code 11 >>>> Page 1926: btreeInitPage() returns error code 11 >>>> Page 2363: btreeInitPage() returns error code 11 >>>> Page 3146: btreeInitPage() returns error code 11 >>>> Page 5090: btreeInitPage() returns error code 11 >>>> Page 5124: btreeInitPage() returns error code 11 >>>> Page 283: btreeInitPage() returns error code 11 >>>> Error: database disk image is malformed >>>> >>>> Can you give me a suggestion on the cheapest way to recover from this? >>>> >>>> Thanks, >>>> Marco >>>> >>>> >>>> ___ >>>> nix-dev mailing list >>>> nix-dev@lists.science.uu.nl >>>> http://lists.science.uu.nl/mailman/listinfo/nix-dev >>>> >>>> >>> >>> ___ >>> nix-dev mailing list >>> nix-dev@lists.science.uu.nl >>> http://lists.science.uu.nl/mailman/listinfo/nix-dev >>> >>> >> > > ___ > nix-dev mailing list > nix-dev@lists.science.uu.nl > http://lists.science.uu.nl/mailman/listinfo/nix-dev > > ___ nix-dev mailing list nix-dev@lists.science.uu.nl http://lists.science.uu.nl/mailman/listinfo/nix-dev
Re: [Nix-dev] error: querying path in database: database disk image is malformed
Thanks Domen. But how I do (re)install Nix? >From sources? M. 2016-07-25 10:46 GMT+02:00 Domen Kožar : > Happened to me once, I deleted the sqlite db (made a backup of it first) > and just installed Nix again. > > On Mon, Jul 25, 2016 at 10:23 AM, Marco Maggesi > wrote: > >> Hi, >> >> during the last upgrade I got this error: >> >> # nix-env --always -u >> error: querying path in database: database disk image is malformed >> (use ‘--show-trace’ to show detailed location information) >> >> Here is what sqlite says: >> >> ./sqlite3 /nix/var/nix/db/db.sqlite "pragma integrity_check" >> *** in database main *** >> Page 5033: btreeInitPage() returns error code 11 >> Page 3988: btreeInitPage() returns error code 11 >> Page 1926: btreeInitPage() returns error code 11 >> Page 2363: btreeInitPage() returns error code 11 >> Page 3146: btreeInitPage() returns error code 11 >> Page 5090: btreeInitPage() returns error code 11 >> Page 5124: btreeInitPage() returns error code 11 >> Page 283: btreeInitPage() returns error code 11 >> Error: database disk image is malformed >> >> Can you give me a suggestion on the cheapest way to recover from this? >> >> Thanks, >> Marco >> >> >> ___ >> nix-dev mailing list >> nix-dev@lists.science.uu.nl >> http://lists.science.uu.nl/mailman/listinfo/nix-dev >> >> > > ___ > nix-dev mailing list > nix-dev@lists.science.uu.nl > http://lists.science.uu.nl/mailman/listinfo/nix-dev > > ___ nix-dev mailing list nix-dev@lists.science.uu.nl http://lists.science.uu.nl/mailman/listinfo/nix-dev
[Nix-dev] error: querying path in database: database disk image is malformed
Hi, during the last upgrade I got this error: # nix-env --always -u error: querying path in database: database disk image is malformed (use ‘--show-trace’ to show detailed location information) Here is what sqlite says: ./sqlite3 /nix/var/nix/db/db.sqlite "pragma integrity_check" *** in database main *** Page 5033: btreeInitPage() returns error code 11 Page 3988: btreeInitPage() returns error code 11 Page 1926: btreeInitPage() returns error code 11 Page 2363: btreeInitPage() returns error code 11 Page 3146: btreeInitPage() returns error code 11 Page 5090: btreeInitPage() returns error code 11 Page 5124: btreeInitPage() returns error code 11 Page 283: btreeInitPage() returns error code 11 Error: database disk image is malformed Can you give me a suggestion on the cheapest way to recover from this? Thanks, Marco ___ nix-dev mailing list nix-dev@lists.science.uu.nl http://lists.science.uu.nl/mailman/listinfo/nix-dev
Re: [Nix-dev] Users of 32-bit NixOS channels?
Hi, I run the 32-bit systems on all my virtual machines (xen and virtual box). It is lighter and faster compared to 64-bit for my applications. Marco 2016-05-17 0:33 GMT+02:00 : > Eelco, is this info available? Maybe we can check downloads of some 32 bit > package that most NixOSes use but people who just run a 32-bit binary or two > on their 64-bit system doesn't? > > > > - Original Message - > From: > "Tomasz Czyż" > > To: > > Cc: > "nix-dev" > Sent: > Mon, 16 May 2016 23:09:40 +0100 > Subject: > Re: [Nix-dev] Users of 32-bit NixOS channels? > > > > maybe it's better to check download statistics from that channel? > > 2016-05-16 23:08 GMT+01:00 : >> >> Hi all, >> >> Periodically I like to check to see how many people are still running >> 32-bit NixOS systems from the channel. If it ever happens that no one >> responds, we can stop building it in hydra and significantly lighten the >> build load. Maybe in 20 years or so ;) >> >> So, please respond if you're running a NixOS with a 32-bit kernel with >> hydra-provided binaries! >> >> ~Shea >> >> ___ >> nix-dev mailing list >> nix-dev@lists.science.uu.nl >> http://lists.science.uu.nl/mailman/listinfo/nix-dev >> > > > > -- > Tomasz Czyż > > > ___ > nix-dev mailing list > nix-dev@lists.science.uu.nl > http://lists.science.uu.nl/mailman/listinfo/nix-dev > ___ nix-dev mailing list nix-dev@lists.science.uu.nl http://lists.science.uu.nl/mailman/listinfo/nix-dev
[Nix-dev] Which is the best way to reload all network configurations? (dhcpclient etc)
Hi, I'm not confident with the systemd infrastructure. Which is the best way to shutdown/restart/reload the whole network infrastructure? (interfaces, dhcpclient, etc)? Thanks, Marco ___ nix-dev mailing list nix-dev@lists.science.uu.nl http://lists.science.uu.nl/mailman/listinfo/nix-dev
Re: [Nix-dev] i686 Builds?
I use 32 bit a lot. First of all, I use it on some old machines with 32bit hardware. But, more importantly, I use it regularly on virtuabox and xen virtual machines. In my experience, for most of my use cases the 32bit require less memory (which is often not abundant on virtual instances) and it is thus generally faster for many computing tasks . I made some tests with HOL Light (the theorem prover). The bare program has memory occupation which almost the double in the 64bit version (~1.2Gb) with respect to the 32bit version (~0.7Gb). On a virtual machine with 2Gb of ram, the 32 bit it is often 10%-20% faster on typical usage and 50% faster or more when the computation requires more memory. In my experience, the version 32 bit can be more convenient than the 64bit version in a variety of situations. So, please, do not give-up with 32 bit support. Marco 2015-05-12 11:08 GMT+02:00 Luke Clifton : > +1 > > This seems like a good idea. > > On 12 May 2015 at 06:45, William Kennington > wrote: > >> Maybe it would make more sense to only build the i686 builds if our >> tested set of x86_64 binaries build correctly. We would still release with >> both but it would cut down on a lot of redundant failures. >> >> On Mon, May 11, 2015 at 3:39 PM Ryan Trinkle >> wrote: >> >>> I encountered an i686 user just the other day! I don't use it >>> personally, but having solid support in Nix was fantastic, especially >>> because older, 32-bit machines tend to be slower, which makes Nix's binary >>> caching functionality even more important. >>> >>> On Mon, May 11, 2015 at 6:36 PM, Shea Levy wrote: >>> Hi all, Do we still have users running 32-bit machines? It would reduce the load on hydra significantly if we could drop support for i686, though of course if people are still relying on it we shouldn't make the change yet. ~Shea ___ nix-dev mailing list nix-dev@lists.science.uu.nl http://lists.science.uu.nl/mailman/listinfo/nix-dev >>> >>> ___ >>> nix-dev mailing list >>> nix-dev@lists.science.uu.nl >>> http://lists.science.uu.nl/mailman/listinfo/nix-dev >>> >> >> ___ >> nix-dev mailing list >> nix-dev@lists.science.uu.nl >> http://lists.science.uu.nl/mailman/listinfo/nix-dev >> >> > > ___ > nix-dev mailing list > nix-dev@lists.science.uu.nl > http://lists.science.uu.nl/mailman/listinfo/nix-dev > > ___ nix-dev mailing list nix-dev@lists.science.uu.nl http://lists.science.uu.nl/mailman/listinfo/nix-dev
Re: [Nix-dev] Zero Hydra Failures (ZHF) project for NixOS
Ah, thanks, I didn't notice. So, for the record, the answer to my question was 1, at least in this case. 2014-09-20 10:48 GMT+02:00 Domen Kožar : > Should be fixed in master. > > On Sat, Sep 20, 2014 at 12:18 AM, Marco Maggesi > wrote: > >> Hi, >> >> I would like to give my tiny contribution to ZHF by fixing caml5 version >> 5.15, e.g. >> >> http://hydra.nixos.org/job/nixos/trunk-combined/nixpkgs.ocamlPackages.camlp5_5_strict.x86_64-linux >> >> The problem is that camlp5 version 5.15 is old (kept because it is a >> dependency of matita) and it is not compatible with ocaml 4.xx. >> >> Question: which is the right way to prevent hydra to build camlp5 with >> recent versions of ocaml? >> I suppose that there should be a "standard" approach for this kind of >> problems. Is it? >> >> I see four choices: >> >> 1. raise an exception with an assert that compares the version of ocaml. >> (An evaluation error is perhaps better than a compilation error anyway.) >> 2. conditionally add camlp5_old to mkOcamlPackages. >> 3. move camlp5_old out from mkOcamlPackages and compile camlp5_old for >> exactly one version of ocaml (perhaps a good solution in this particular >> case but not in other analogous cases). >> 4. conditionally fill meta.platform in camlp5. >> >> Are there other possibilities? >> Can you suggest which is better? >> This seems to be a common problem (e.g., I have the same problem with the >> blcr linux modules and with the openafs linux modules), I would like to >> know if there is a general accepted strategy for this situation. >> >> Thanks, >> Marco >> >> >> 2014-09-19 19:30 GMT+02:00 Domen Kožar : >> >>> Hi all, >>> >>> during NixOS sprint in Ljubljana I joined the effort to get build >>> failures down to 0 for NixOS. >>> >>> We're current at 135 failing builds (down from 2500 before the sprint) >>> for nixos-combined job. >>> >>> To see last failing builds, check: >>> http://hydra.nixos.org/eval/1152694#tabs-still-fail >>> >>> I'll try to get those down to ~0 during the weekend, I'd like to >>> encourage anyone willing to fix one or two builds to join in to achieve >>> this milestone after a long period of time. >>> >>> Rock on! >>> >>> Domen >>> >>> ___ >>> nix-dev mailing list >>> nix-dev@lists.science.uu.nl >>> http://lists.science.uu.nl/mailman/listinfo/nix-dev >>> >>> >> >> ___ >> nix-dev mailing list >> nix-dev@lists.science.uu.nl >> http://lists.science.uu.nl/mailman/listinfo/nix-dev >> >> > > ___ > nix-dev mailing list > nix-dev@lists.science.uu.nl > http://lists.science.uu.nl/mailman/listinfo/nix-dev > > ___ nix-dev mailing list nix-dev@lists.science.uu.nl http://lists.science.uu.nl/mailman/listinfo/nix-dev
Re: [Nix-dev] Zero Hydra Failures (ZHF) project for NixOS
Hi, I would like to give my tiny contribution to ZHF by fixing caml5 version 5.15, e.g. http://hydra.nixos.org/job/nixos/trunk-combined/nixpkgs.ocamlPackages.camlp5_5_strict.x86_64-linux The problem is that camlp5 version 5.15 is old (kept because it is a dependency of matita) and it is not compatible with ocaml 4.xx. Question: which is the right way to prevent hydra to build camlp5 with recent versions of ocaml? I suppose that there should be a "standard" approach for this kind of problems. Is it? I see four choices: 1. raise an exception with an assert that compares the version of ocaml. (An evaluation error is perhaps better than a compilation error anyway.) 2. conditionally add camlp5_old to mkOcamlPackages. 3. move camlp5_old out from mkOcamlPackages and compile camlp5_old for exactly one version of ocaml (perhaps a good solution in this particular case but not in other analogous cases). 4. conditionally fill meta.platform in camlp5. Are there other possibilities? Can you suggest which is better? This seems to be a common problem (e.g., I have the same problem with the blcr linux modules and with the openafs linux modules), I would like to know if there is a general accepted strategy for this situation. Thanks, Marco 2014-09-19 19:30 GMT+02:00 Domen Kožar : > Hi all, > > during NixOS sprint in Ljubljana I joined the effort to get build failures > down to 0 for NixOS. > > We're current at 135 failing builds (down from 2500 before the sprint) for > nixos-combined job. > > To see last failing builds, check: > http://hydra.nixos.org/eval/1152694#tabs-still-fail > > I'll try to get those down to ~0 during the weekend, I'd like to encourage > anyone willing to fix one or two builds to join in to achieve this > milestone after a long period of time. > > Rock on! > > Domen > > ___ > nix-dev mailing list > nix-dev@lists.science.uu.nl > http://lists.science.uu.nl/mailman/listinfo/nix-dev > > ___ nix-dev mailing list nix-dev@lists.science.uu.nl http://lists.science.uu.nl/mailman/listinfo/nix-dev
Re: [Nix-dev] This Week in NixOS
Great initiative! Keep going! Marco 2014-05-25 20:23 GMT+02:00 Georges Dubus : > Hello there > > I mentioned the idea on irc some time ago, and I finally gathered the > courage to do it : here is the first issue of This Week in NixOS[1]. > > For this first issue, I browsed the various git logs and tried to pick up > the most remarkable commits, but I'm sure I have missed many. If you do or > see something that should appear in the next issues, please send me an email > to make sure it is included. > > Also, this first issue is quite short. What additional sections would you > like to see in the next issues? I'm thinking about a list of new > contributors and an exhaustive list of package updates. > > > Finally, I believe my NixOS atom feed[2] might be worth adding to the > planet, so this is also an open letter to any planet admin! > > [1] http://compiletoi.net/this-week-in-nixos-1.html > [2] http://compiletoi.net/feeds/nixos.atom.xml > -- > Georges Dubus > > ___ > nix-dev mailing list > nix-dev@lists.science.uu.nl > http://lists.science.uu.nl/mailman/listinfo/nix-dev > ___ nix-dev mailing list nix-dev@lists.science.uu.nl http://lists.science.uu.nl/mailman/listinfo/nix-dev
Re: [Nix-dev] Compilation of MLton on darwin
Ah, I didn't even considered this possibility. You must be right, i removed the line and the compilation is proceeding. Thank you, Marco 2014-04-12 18:25 GMT+02:00 Vladimír Čunát : > On 04/12/2014 05:51 PM, Marco Maggesi wrote: > >> So my question is, where I find the linker in nixpkgs on darwin? >> > > AFAIK we use the native linker on darwin (the impure one from host OS). > Therefore, I don't think we need to --set-interpreter on darwin. > > Vlada > > > > ___ > nix-dev mailing list > nix-dev@lists.science.uu.nl > http://lists.science.uu.nl/mailman/listinfo/nix-dev > > ___ nix-dev mailing list nix-dev@lists.science.uu.nl http://lists.science.uu.nl/mailman/listinfo/nix-dev
Re: [Nix-dev] Compilation of MLton on darwin
Yes, this is exactly what I'm trying to do. Prebuilt binaries of MLton for
darwin are available.
The problem is that to bootstrap the compiler you need first to patchelf
these binaries.
On linux this is done with the line I cited:
patchelf --set-interpreter ${stdenv.glibc}/lib/ld-linux-x86-64.so.2
$(pwd)/../usr/lib/mlton/mlton-compile
So my question is, where I find the linker in nixpkgs on darwin?
I tried to grep the sources but I'm lost.
Thanks,
Marco
2014-04-11 20:08 GMT+02:00 Karn Kallio :
> Hello,
>
> The current nixpkgs expression for mlton uses the mlton binary provided by
> mlton.org to bootstrap the compiler. I don't think it will work for any
> platform other than Linux. But I think mlton.org also distributes a
> binary
> for some other platforms besides Linux ... if there is one for your
> platform
> maybe you could get the expression to build using it.
>
> ___
> nix-dev mailing list
> nix-dev@lists.science.uu.nl
> http://lists.science.uu.nl/mailman/listinfo/nix-dev
>
___
nix-dev mailing list
nix-dev@lists.science.uu.nl
http://lists.science.uu.nl/mailman/listinfo/nix-dev
[Nix-dev] Compilation of MLton on darwin
Hi,
I would like to enable compilation of MLton on darwin.
Looking inside the derivation (development/compilers/mlton) I found the
following line which seems specific to linux and I don't know how it can be
generalised:
patchelf --set-interpreter ${stdenv.glibc}/lib/ld-linux-x86-64.so.2
$(pwd)/../usr/lib/mlton/mlton-compile
Can I use stdenv.gcc instead of sdenv.glibc?
Then where I find the linker?
I made a couples of blind tests with no success.
Thanks,
Marco
___
nix-dev mailing list
nix-dev@lists.science.uu.nl
http://lists.science.uu.nl/mailman/listinfo/nix-dev
Re: [Nix-dev] Nixops on headless server
Yes, but... Isn't the option deployment.virtualbox.headless = true; for nodes without GUI? M. 2014-04-03 15:09 GMT+02:00 Colin Putney : > > > > On Wed, Apr 2, 2014 at 6:40 AM, Marco Maggesi wrote: > >> Hi, there seems to be again a problem with nixops with virtualbox >> headless nodes. >> >> $ nixops deploy -d minicloud >> webserver> creating VirtualBox VM... >> webserver> Virtual machine >> 'nixops-24856f59-ba5b-11e3-a2e6-2d15dd5fa0ff-webserver' is created and >> registered. >> webserver> UUID: d6ea884c-3173-4e12-bada-aeff1112c39c >> webserver> Settings file: '/home/maggesi/VirtualBox >> VMs/nixops-24856f59-ba5b-11e3-a2e6-2d15dd5fa0ff-webserver/nixops-24856f59-ba5b-11e3-a2e6-2d15dd5fa0ff-webserver.vbox' >> webserver> creating disk 'disk1'... >> webserver> 0%...10%...20%...30%...40%...50%...60%...70%...80%...90%...100% >> webserver> Clone hard disk created in format 'VDI'. UUID: >> ad027933-92f8-4655-8f63-a3bf582122b8 >> webserver> attaching disk 'disk1'... >> webserver> VBoxManage: error: The virtual machine >> 'nixops-24856f59-ba5b-11e3-a2e6-2d15dd5fa0ff-webserver' has terminated >> unexpectedly during startup with exit code 1 >> webserver> VBoxManage: error: Details: code NS_ERROR_FAILURE >> (0x80004005), component Machine, interface IMachine >> webserver> Waiting for VM >> "nixops-24856f59-ba5b-11e3-a2e6-2d15dd5fa0ff-webserver" to power on... >> webserver> waiting for IP address... >> >> Can you test and confirm the problem. >> > > Works fine for me. This looks like a problem with VirtualBox, not nix. > > According to https://www.virtualbox.org/ticket/7367, > > it's that you don't have a GUI available, so VirtualBox can't open a > window for the console. > > Colin > > ___ > nix-dev mailing list > nix-dev@lists.science.uu.nl > http://lists.science.uu.nl/mailman/listinfo/nix-dev > > ___ nix-dev mailing list nix-dev@lists.science.uu.nl http://lists.science.uu.nl/mailman/listinfo/nix-dev
Re: [Nix-dev] Nixops on headless server
Hi, there seems to be again a problem with nixops with virtualbox headless nodes. $ nixops deploy -d minicloud webserver> creating VirtualBox VM... webserver> Virtual machine 'nixops-24856f59-ba5b-11e3-a2e6-2d15dd5fa0ff-webserver' is created and registered. webserver> UUID: d6ea884c-3173-4e12-bada-aeff1112c39c webserver> Settings file: '/home/maggesi/VirtualBox VMs/nixops-24856f59-ba5b-11e3-a2e6-2d15dd5fa0ff-webserver/nixops-24856f59-ba5b-11e3-a2e6-2d15dd5fa0ff-webserver.vbox' webserver> creating disk 'disk1'... webserver> 0%...10%...20%...30%...40%...50%...60%...70%...80%...90%...100% webserver> Clone hard disk created in format 'VDI'. UUID: ad027933-92f8-4655-8f63-a3bf582122b8 webserver> attaching disk 'disk1'... webserver> VBoxManage: error: The virtual machine 'nixops-24856f59-ba5b-11e3-a2e6-2d15dd5fa0ff-webserver' has terminated unexpectedly during startup with exit code 1 webserver> VBoxManage: error: Details: code NS_ERROR_FAILURE (0x80004005), component Machine, interface IMachine webserver> Waiting for VM "nixops-24856f59-ba5b-11e3-a2e6-2d15dd5fa0ff-webserver" to power on... webserver> waiting for IP address... Can you test and confirm the problem. My setup: # nix-channel --list nixops http://hydra.nixos.org/project/nixops/channel/latest nixos http://nixos.org/channels/nixos-unstable hydra http://hydra.nixos.org/project/hydra/channel/latest Thank you in advance, M. 2014-01-16 21:13 GMT+01:00 Patrick Wheeler : > @Marco Good to hear thanks for let everyone know. > > > On Tue, Jan 14, 2014 at 12:08 PM, Marco Maggesi wrote: > >> Hi, >> >> just a quick note to let you know that I gave an other try to nixops >> today and now everything works as expected! >> (I deleted the old attempt and I updated nixops to version 1.2, no >> modification of my configuration). >> >> Thank you for your support, >> Marco >> >> >> 2013/12/25 Oliver Charles >> >>> On 23/12/13 20:06, Marco Maggesi wrote: >>> >>> I started from scratch. This is the interaction. >>> Thanks a lot, >>> M. >>> >>> [maggesi@o0dom0:~/Devel/nixconfs/minicloud]$ nixops create >>> ./logical.nix ./physical-vbox.nix --name minicloud >>> created deployment 'aa84379e-6c0c-11e3-8dd5-bfd6a9bb84eb' >>> aa84379e-6c0c-11e3-8dd5-bfd6a9bb84eb >>> >>> [maggesi@o0dom0:~/Devel/nixconfs/minicloud]$ nixops deploy -d minicloud >>> webserver> creating VirtualBox VM... >>> webserver> Virtual machine >>> 'nixops-aa84379e-6c0c-11e3-8dd5-bfd6a9bb84eb-webserver' is created and >>> registered. >>> webserver> UUID: eda5fa7f-8141-40df-a9cf-9e13265d7e1f >>> webserver> Settings file: '/home/maggesi/VirtualBox >>> VMs/nixops-aa84379e-6c0c-11e3-8dd5-bfd6a9bb84eb-webserver/nixops-aa84379e-6c0c-11e3-8dd5-bfd6a9bb84eb-webserver.vbox' >>> webserver> creating disk 'disk1'... >>> webserver> >>> 0%...10%...20%...30%...40%...50%...60%...70%...80%...90%...100% >>> webserver> Clone hard disk created in format 'VDI'. UUID: >>> d9b38107-e2fe-440c-86e4-335711704dbf >>> webserver> attaching disk 'disk1'... >>> webserver> VBoxManage: error: The virtual machine >>> 'nixops-aa84379e-6c0c-11e3-8dd5-bfd6a9bb84eb-webserver' has terminated >>> unexpectedly during startup with exit code 1 >>> webserver> VBoxManage: error: Details: code NS_ERROR_FAILURE >>> (0x80004005), component Machine, interface IMachine >>> webserver> Waiting for VM >>> "nixops-aa84379e-6c0c-11e3-8dd5-bfd6a9bb84eb-webserver" to power on... >>> webserver> waiting for IP >>> address.^Cerror: >>> interrupted >>> >>> [maggesi@o0dom0:~/Devel/nixconfs/minicloud]$ VBoxManage startvm >>> nixops-aa84379e-6c0c-11e3-8dd5-bfd6a9bb84eb-webserver --type headless >>> Waiting for VM "nixops-aa84379e-6c0c-11e3-8dd5-bfd6a9bb84eb-webserver" >>> to power on... >>> VBoxManage: error: The virtual machine >>> 'nixops-aa84379e-6c0c-11e3-8dd5-bfd6a9bb84eb-webserver' has terminated >>> unexpectedly during startup with exit code 1 >>> VBoxManage: error: Details: code NS_ERROR_FAILURE (0x80004005), >>> component Machine, interface
[Nix-dev] Hydra build of ocamlnet failed
Hi, seems that hydra failed to download the source dist of ocamlnet: http://hydra.nixos.org/build/9674233 http://hydra.nixos.org/build/9674230 I just tried the link http://download.camlcity.org/download/ocamlnet-3.7.3.tar.gz and apparently is now working without problem. Can someone restart the build (if necessary, I don't know it hydra automatically retry this after a while). Thanks, Marco ___ nix-dev mailing list nix-dev@lists.science.uu.nl http://lists.science.uu.nl/mailman/listinfo/nix-dev
[Nix-dev] pthread
Hello, I'm trying to update OCaml Lwt to the current stable version 2.4.3. The configure script fails with the following message: - [...] testing for pthread: ... unavailable not checking for glib The following recquired C libraries are missing: pthread. Please install them and retry. If they are installed in a non-standard location or need special flags, set the environment variables _CLFAGS and _LIBS accordingly and retry. For example, if libev is installed in /opt/local, you can type: export LIBEV_CLFAGS=-I/opt/local/include export LIBEV_LIBS=-L/opt/local/lib [...] - Assuming that this is provoked by a not-so-smart configure script I can try to pass the explicit path to it as suggested by the error message. However, I'm not familiar with this kind of details Which derivation contains pthread? Is it in gcc? Thanks, Marco ___ nix-dev mailing list nix-dev@lists.science.uu.nl http://lists.science.uu.nl/mailman/listinfo/nix-dev
Re: [Nix-dev] OCaml
2014-01-29 Moritz Ulrich > > I agree with a cleanup of the OCaml stuff - there are many versions in > nixpkgs, and I wonder which of these are really necessary. > We have ocaml 3.08.0 which is used only for qcmm. I don't know exactly what qcmm is (a C-- compiler?). But apparently is something that has not been touched for a long time now (2006?) and there is no meta/maintainership on it. Both can be dropped without harm, I guess. Also ocaml 3.10.0 is not used anywhere in nixpkgs. Finally ocaml 3.11.2 is used for matita (the theorem prover). I think we can keep it until a more updated and stable version of matita is available. Summarising: For now I propose to remove the following from nixpkgs qcmm ocaml_3_08_0 and ocamlPackages_3_08_0 ocaml_3_10_0 and ocamlPackages_3_10_0 Marco ___ nix-dev mailing list nix-dev@lists.science.uu.nl http://lists.science.uu.nl/mailman/listinfo/nix-dev
[Nix-dev] OCaml
Hi, Presently, the ocaml attribute in all-packages.nix points to 3.12.1 which is rather old now, dating back to 2011. I propose to make OCaml 4.01.0 the default version of OCaml. The OCaml 4.xx series is almost two years old now and OCaml 4.01.0 is already the default version installed (i.e. with nix-env -i ocaml) since some time now. I just sent a pull request for this. Marco ___ nix-dev mailing list nix-dev@lists.science.uu.nl http://lists.science.uu.nl/mailman/listinfo/nix-dev
[Nix-dev] New problem with nixops and virtualbox
Hi, after an update (nixos-13.10 and nixops 1.2) and a complete cleanup (including rm -rf ~/.nixops ~/.VirtualBox ~/Virtualbox\ VMs) I get the following error during deployment: $ nixops deploy webserver> creating VirtualBox VM... webserver> VBoxManage: error: Guest OS type 'Linux_64' is invalid webserver> VBoxManage: error: Details: code VBOX_E_OBJECT_NOT_FOUND (0x80bb0001), component VirtualBox, interface IVirtualBox, callee nsISupports webserver> VBoxManage: error: Context: "CreateMachine(bstrSettingsFile.raw(), bstrName.raw(), ComSafeArrayAsInParam(groups), bstrOsTypeId.raw(), createFlags.raw(), machine.asOutParam())" at line 277 of file VBoxManageMisc.cpp error: command ‘['VBoxManage', 'createvm', '--name', 'nixops-b3edfc80-8367-11e3-8b40-d792b12c0a28-webserver', '--ostype', 'Linux_64', '--register']’ failed on machine ‘webserver’ (exit code 1 $ uname -a Linux o0dom0 3.4.76 #1-NixOS SMP Fri Jan 17 20:16:26 UTC 2014 x86_64 GNU/Linux As always, all suggestions are welcome, Marco ___ nix-dev mailing list nix-dev@lists.science.uu.nl http://lists.science.uu.nl/mailman/listinfo/nix-dev
Re: [Nix-dev] Nixops on headless server
Hi, just a quick note to let you know that I gave an other try to nixops today and now everything works as expected! (I deleted the old attempt and I updated nixops to version 1.2, no modification of my configuration). Thank you for your support, Marco 2013/12/25 Oliver Charles > On 23/12/13 20:06, Marco Maggesi wrote: > > I started from scratch. This is the interaction. > Thanks a lot, > M. > > [maggesi@o0dom0:~/Devel/nixconfs/minicloud]$ nixops create ./logical.nix > ./physical-vbox.nix --name minicloud > created deployment ‘aa84379e-6c0c-11e3-8dd5-bfd6a9bb84eb’ > aa84379e-6c0c-11e3-8dd5-bfd6a9bb84eb > > [maggesi@o0dom0:~/Devel/nixconfs/minicloud]$ nixops deploy -d minicloud > webserver> creating VirtualBox VM... > webserver> Virtual machine > 'nixops-aa84379e-6c0c-11e3-8dd5-bfd6a9bb84eb-webserver' is created and > registered. > webserver> UUID: eda5fa7f-8141-40df-a9cf-9e13265d7e1f > webserver> Settings file: '/home/maggesi/VirtualBox > VMs/nixops-aa84379e-6c0c-11e3-8dd5-bfd6a9bb84eb-webserver/nixops-aa84379e-6c0c-11e3-8dd5-bfd6a9bb84eb-webserver.vbox' > webserver> creating disk ‘disk1’... > webserver> 0%...10%...20%...30%...40%...50%...60%...70%...80%...90%...100% > webserver> Clone hard disk created in format 'VDI'. UUID: > d9b38107-e2fe-440c-86e4-335711704dbf > webserver> attaching disk ‘disk1’... > webserver> VBoxManage: error: The virtual machine > 'nixops-aa84379e-6c0c-11e3-8dd5-bfd6a9bb84eb-webserver' has terminated > unexpectedly during startup with exit code 1 > webserver> VBoxManage: error: Details: code NS_ERROR_FAILURE (0x80004005), > component Machine, interface IMachine > webserver> Waiting for VM > "nixops-aa84379e-6c0c-11e3-8dd5-bfd6a9bb84eb-webserver" to power on... > webserver> waiting for IP > address.^Cerror: > interrupted > > [maggesi@o0dom0:~/Devel/nixconfs/minicloud]$ VBoxManage startvm > nixops-aa84379e-6c0c-11e3-8dd5-bfd6a9bb84eb-webserver --type headless > Waiting for VM "nixops-aa84379e-6c0c-11e3-8dd5-bfd6a9bb84eb-webserver" to > power on... > VBoxManage: error: The virtual machine > 'nixops-aa84379e-6c0c-11e3-8dd5-bfd6a9bb84eb-webserver' has terminated > unexpectedly during startup with exit code 1 > VBoxManage: error: Details: code NS_ERROR_FAILURE (0x80004005), component > Machine, interface IMachine > > [maggesi@o0dom0:~/Devel/nixconfs/minicloud]$ VBoxManage startvm > nixops-aa84379e-6c0c-11e3-8dd5-bfd6a9bb84eb-webserver > Waiting for VM "nixops-aa84379e-6c0c-11e3-8dd5-bfd6a9bb84eb-webserver" to > power on... > VBoxManage: error: The virtual machine > 'nixops-aa84379e-6c0c-11e3-8dd5-bfd6a9bb84eb-webserver' has terminated > unexpectedly during startup with exit code 1 > VBoxManage: error: Details: code NS_ERROR_FAILURE (0x80004005), component > Machine, interface IMachine > > > > > I think I had similar behaviour with VirtualBox, and it turned out the > internal DHCP server for VirtualBox wasn't running. I forget the specific > details, but if you Google around you should be able to find the > instructions. Could be a red herring - but worth looking into! > > - ocharles > ___ nix-dev mailing list nix-dev@lists.science.uu.nl http://lists.science.uu.nl/mailman/listinfo/nix-dev
Re: [Nix-dev] Nixops on headless server
I started from scratch. This is the interaction. Thanks a lot, M. [maggesi@o0dom0:~/Devel/nixconfs/minicloud]$ nixops create ./logical.nix ./physical-vbox.nix --name minicloud created deployment ‘aa84379e-6c0c-11e3-8dd5-bfd6a9bb84eb’ aa84379e-6c0c-11e3-8dd5-bfd6a9bb84eb [maggesi@o0dom0:~/Devel/nixconfs/minicloud]$ nixops deploy -d minicloud webserver> creating VirtualBox VM... webserver> Virtual machine 'nixops-aa84379e-6c0c-11e3-8dd5-bfd6a9bb84eb-webserver' is created and registered. webserver> UUID: eda5fa7f-8141-40df-a9cf-9e13265d7e1f webserver> Settings file: '/home/maggesi/VirtualBox VMs/nixops-aa84379e-6c0c-11e3-8dd5-bfd6a9bb84eb-webserver/nixops-aa84379e-6c0c-11e3-8dd5-bfd6a9bb84eb-webserver.vbox' webserver> creating disk ‘disk1’... webserver> 0%...10%...20%...30%...40%...50%...60%...70%...80%...90%...100% webserver> Clone hard disk created in format 'VDI'. UUID: d9b38107-e2fe-440c-86e4-335711704dbf webserver> attaching disk ‘disk1’... webserver> VBoxManage: error: The virtual machine 'nixops-aa84379e-6c0c-11e3-8dd5-bfd6a9bb84eb-webserver' has terminated unexpectedly during startup with exit code 1 webserver> VBoxManage: error: Details: code NS_ERROR_FAILURE (0x80004005), component Machine, interface IMachine webserver> Waiting for VM "nixops-aa84379e-6c0c-11e3-8dd5-bfd6a9bb84eb-webserver" to power on... webserver> waiting for IP address.^Cerror: interrupted [maggesi@o0dom0:~/Devel/nixconfs/minicloud]$ VBoxManage startvm nixops-aa84379e-6c0c-11e3-8dd5-bfd6a9bb84eb-webserver --type headless Waiting for VM "nixops-aa84379e-6c0c-11e3-8dd5-bfd6a9bb84eb-webserver" to power on... VBoxManage: error: The virtual machine 'nixops-aa84379e-6c0c-11e3-8dd5-bfd6a9bb84eb-webserver' has terminated unexpectedly during startup with exit code 1 VBoxManage: error: Details: code NS_ERROR_FAILURE (0x80004005), component Machine, interface IMachine [maggesi@o0dom0:~/Devel/nixconfs/minicloud]$ VBoxManage startvm nixops-aa84379e-6c0c-11e3-8dd5-bfd6a9bb84eb-webserver Waiting for VM "nixops-aa84379e-6c0c-11e3-8dd5-bfd6a9bb84eb-webserver" to power on... VBoxManage: error: The virtual machine 'nixops-aa84379e-6c0c-11e3-8dd5-bfd6a9bb84eb-webserver' has terminated unexpectedly during startup with exit code 1 VBoxManage: error: Details: code NS_ERROR_FAILURE (0x80004005), component Machine, interface IMachine 2013/12/23 Rob Vermaas > Hi, > > > would you post a minimal working example? > > I made several attempts but no one worked so far. > > The example you shared should work. > > Could you try to run: VBoxManage startvm > nixops-9a9af89c-6bc6-11e3-9d50-23ed2c71331d-webserver --type headless > And provide us with the output? This is the command that nixops runs > when starting the VM. > > Cheers, > Rob > ___ nix-dev mailing list nix-dev@lists.science.uu.nl http://lists.science.uu.nl/mailman/listinfo/nix-dev
Re: [Nix-dev] Nixops on headless server
Hi,
would you post a minimal working example?
I made several attempts but no one worked so far.
Here is my present configuration:
# logical.nix
{
network.description = "Web server";
webserver =
{ config, pkgs, ... }:
{
#require = [ ];
services.openssh.enable = true;
#services.virtualbox.enable = true;
#services.httpd.enable = true;
#services.httpd.adminAddr = "al...@example.org";
#services.httpd.documentRoot = "${pkgs.valgrind}/share/doc/valgrind/html";
};
}
# physical.nix
{
webserver =
{ config, pkgs, ... }:
{
deployment.targetEnv = "virtualbox";
deployment.virtualbox.memorySize = 1024; # megabytes
deployment.virtualbox.headless = true;
};
}
And I get the following error:
webserver> VBoxManage: error: The virtual machine
'nixops-9a9af89c-6bc6-11e3-9d50-23ed2c71331d-webserver' has terminated
unexpectedly during startup with exit code 1
webserver> VBoxManage: error: Details: code NS_ERROR_FAILURE
(0x80004005), component Machine, interface IMachine
2013/12/23 Patrick Wheeler :
> I found my problem.
>
> I remembered I needed to include something like:
>
> require = [ ];
>
> in the configuration.nix, or in my nixops expression.
>
> Patrick
>
>
> On Sun, Dec 22, 2013 at 2:04 PM, Patrick Wheeler
> wrote:
>>
>> I am having the same problem currently if anyone has any insight.
>>
>> Patrick
>>
>>
>> On Fri, Nov 1, 2013 at 3:01 PM, Marco Maggesi
>> wrote:
>>>
>>> Hello,
>>>
>>> I'm trying to install nixops on a headless server and I get the following
>>> error which seems to be related to the lack of X environment.
>>> I set the option
>>> deployment.virtualbox.headless = true;
>>> and completely destroyed and recreated the cloud but it doesn't seem to
>>> have affect.
>>> Any idea?
>>>
>>> Thanks,
>>> Marco
>>>
>>> [...]
>>> webserver> VBoxManage: error: The virtual machine
>>> 'nixops-f289aeae-432e-11e3-9e21-5f0f061205c9-webserver' has terminated
>>> unexpectedly during startup with exit code 1
>>> webserver> VBoxManage: error: Details: code NS_ERROR_FAILURE
>>> (0x80004005), component Machine, interface IMachine
>>> webserver> Waiting for VM
>>> "nixops-f289aeae-432e-11e3-9e21-5f0f061205c9-webserver" to power on...
>>> webserver> waiting for IP
>>> address...
>>>
>>> ___
>>> nix-dev mailing list
>>> nix-dev@lists.science.uu.nl
>>> http://lists.science.uu.nl/mailman/listinfo/nix-dev
>>>
>>
>>
>>
>> --
>> Patrick Wheeler
>> patrick.john.whee...@gmail.com
>> patrick.j.whee...@rice.edu
>> patrick.whee...@colorado.edu
>
>
>
>
> --
> Patrick Wheeler
> patrick.john.whee...@gmail.com
> patrick.j.whee...@rice.edu
> patrick.whee...@colorado.edu
>
> ___
> nix-dev mailing list
> nix-dev@lists.science.uu.nl
> http://lists.science.uu.nl/mailman/listinfo/nix-dev
>
___
nix-dev mailing list
nix-dev@lists.science.uu.nl
http://lists.science.uu.nl/mailman/listinfo/nix-dev
[Nix-dev] Nixops on headless server
Hello, I'm trying to install nixops on a headless server and I get the following error which seems to be related to the lack of X environment. I set the option deployment.virtualbox.headless = true; and completely destroyed and recreated the cloud but it doesn't seem to have affect. Any idea? Thanks, Marco [...] webserver> VBoxManage: error: The virtual machine 'nixops-f289aeae-432e-11e3-9e21-5f0f061205c9-webserver' has terminated unexpectedly during startup with exit code 1 webserver> VBoxManage: error: Details: code NS_ERROR_FAILURE (0x80004005), component Machine, interface IMachine webserver> Waiting for VM "nixops-f289aeae-432e-11e3-9e21-5f0f061205c9-webserver" to power on... webserver> waiting for IP address... ___ nix-dev mailing list nix-dev@lists.science.uu.nl http://lists.science.uu.nl/mailman/listinfo/nix-dev
[Nix-dev] Incompatibility xorg with virtualbox guest additions
Hi, seems that the latest x-updates broke the compatibility with virtualbox guest additions. At the end of this message you can find what I can read in my X.0.log file. Can you suggest a fix or a workaround for this? Thank you, Marco [19.700] (II) LoadModule: "vboxvideo" [19.700] (II) Loading /nix/store/wgsx2n849l37z006f3cm6c3b7wlx9zkw-VirtualBox-GuestAdditions-4.2.12-3.2.46/lib/xorg/modules/drivers/vboxvideo_drv.so [19.703] (II) Module vboxvideo: vendor="Oracle Corporation" [19.703] compiled for 10.12.0, module version = 1.0.1 [19.703] Module class: X.Org Video Driver [19.703] ABI class: X.Org Video Driver, version 12.0 [19.703] (EE) module ABI major version (12) doesn't match the server's version (13) [19.703] (II) UnloadModule: "vboxvideo" [19.703] (II) Unloading vboxvideo [19.703] (EE) Failed to load module "vboxvideo" (module requirement mismatch, 0) [19.703] (II) LoadModule: "vboxmouse" [20.140] (WW) Warning, couldn't open module vboxmouse [20.140] (II) UnloadModule: "vboxmouse" [20.140] (II) Unloading vboxmouse [20.140] (EE) Failed to load module "vboxmouse" (module does not exist, 0) [20.140] (EE) No drivers available. [20.140] Fatal server error: [20.140] no screens found ___ nix-dev mailing list nix-dev@lists.science.uu.nl http://lists.science.uu.nl/mailman/listinfo/nix-dev
[Nix-dev] Problem with git checkout in hydra
My hydra server can't use git://github.com/NixOS/nixpkgs.git as a "Git checkout" build input. Here is the evaluation error I get: error fetching latest change from git repo at `git:// github.com/NixOS/nixpkgs.git': fatal: Not a git repository (or any parent up to mount point /home) Stopping at filesystem boundary (GIT_DISCOVERY_ACROSS_FILESYSTEM not set). If I change the with the following git://github.com/maggesi/nixpkgs.git (i.e. NixOS -> maggesi) then it works just fine. I tried to manually check out (i.e. git clone) the repo and it works if I use it as a "Local Path" build input. I also made several other attempts but with no success. By the way: is it possible to specify a list of strings as build inputs? (It would be useful for values like supportedSystems). Thanks, Marco ___ nix-dev mailing list nix-dev@lists.science.uu.nl http://lists.science.uu.nl/mailman/listinfo/nix-dev
Re: [Nix-dev] Error deleting a jobset or a project in hydra
Thank you Eelco, it works. M. 2013/6/11 Eelco Dolstra > Hi Marco, > > On 11/06/13 16:18, Marco Maggesi wrote: > > > it seems that the mechanism for deleting a jobset or a project from > hydra is > > currently broken. > > I just committed a fix for this. However, depending on the number of > builds in > the project or jobset, it's still possible that deletion may fail due to a > HTTP > timeout. > > -- > Eelco Dolstra | LogicBlox, Inc. | http://nixos.org/~eelco/ > ___ > nix-dev mailing list > nix-dev@lists.science.uu.nl > http://lists.science.uu.nl/mailman/listinfo/nix-dev > ___ nix-dev mailing list nix-dev@lists.science.uu.nl http://lists.science.uu.nl/mailman/listinfo/nix-dev
[Nix-dev] Error deleting a jobset or a project in hydra
Hi, it seems that the mechanism for deleting a jobset or a project from hydra is currently broken. Can you confirm this bug? Is this something broken in my hydra server only? Actually, I don't bother to really remove the project, but I would like to regain the associated storage since my hydra server is running out of space. Can you suggest a safe workaround for this. This is the error I get when I click on "Delete this project". 500 Internal Server Error DBIx::Class::Storage::DBI::_dbh_execute(): DBI Exception: DBD::Pg::st execute failed: ERROR: update or delete on table "projects" violates foreign key constraint "builds_project_fkey" on table "builds" DETAIL: Key (name)=(wims) is still referenced from table "builds". [for Statement "DELETE FROM Projects WHERE ( name = ? )" with ParamValues: 1='wims'] at /nix/store/cg05ggc4mw416jkbw6kiqk08l3q21452-hydra-0.1pre1353-40debf1/libexec/hydra/lib/Hydra/Controller/Project.pm line 49 ___ nix-dev mailing list nix-dev@lists.science.uu.nl http://lists.science.uu.nl/mailman/listinfo/nix-dev
[Nix-dev] Unintended spam from my hydra server
Hi, some of you might have received a mail from my hydra server. This was caused by a test where I inadvertently queued the full jobset of nixpkgs. I apologize for the noise. I just stopped the build process by disabling the jobset so I think you should not receive further messages. Now I have a problem, how I can remove all jobs from the queue? I tried with Admin -> Clear all non-running old jobs from the queue but it doesn't work. M. ___ nix-dev mailing list nix-dev@lists.science.uu.nl http://lists.science.uu.nl/mailman/listinfo/nix-dev
Re: [Nix-dev] Hydra upgrade
It works. Thank you. M. 2013/4/12 Rob Vermaas : > The hydra manual at > http://hydra.nixos.org/job/hydra/trunk/tarball/latest/download-by-type/doc/manual > says in 2.5: > > > If you're upgrading Hydra from a previous version, you should do the > following to perform any > necessary database schema migrations: > > $ hydra-init > ... > > Hope that helps, > Cheers, > Rob > > > On Fri, Apr 12, 2013 at 4:49 PM, Marco Maggesi > wrote: >> >> Hi, >> >> I'm trying to upgrade my hydra server from an old version (3/4 months). >> I successfully migrated the nix configuration but it seems that I need >> to upgrade the database schema. >> >> Can you suggest what I have to do in detail? >> >> Here is the error I get >> >> DBIx::Class::ResultSet::search(): DBI Exception: DBD::Pg::st execute >> failed: ERROR: column me.triggertime does not exist LINE 1: ...h, >> me.errormsg, me.errortime, me.lastcheckedtime, me.trigger... ^ [for >> Statement "SELECT me.name, me.project, me.description, >> me.nixexprinput, me.nixexprpath, me.errormsg, me.errortime, >> me.lastcheckedtime, me.triggertime, me.enabled, me.enableemail, >> me.hidden, me.emailoverride, me.keepnr, (select count(*) from Builds >> as a where a.finished = 0 and me.project = a.project and me.name = >> a.jobset and a.isCurrent = 1), (select count(*) from Builds as a where >> a.finished = 1 and me.project = a.project and me.name = a.jobset and >> buildstatus <> 0 and a.isCurrent = 1), (select count(*) from Builds as >> a where a.finished = 1 and me.project = a.project and me.name = >> a.jobset and buildstatus = 0 and a.isCurrent = 1), (select count(*) >> from Builds as a where me.project = a.project and me.name = a.jobset >> and a.isCurrent = 1) FROM Jobsets me WHERE ( ( hidden = ? AND >> me.project = ? ) ) ORDER BY name" with ParamValues: 1='0', 2='udini'] >> at >> /nix/store/chdvwyw98yj1w2nny3mgh40c37x5cp2k-hydra-0.1pre1271-9f027b2/libexec/hydra/lib/Hydra/Helper/Nix.pm >> line 170 >> >> Thanks in advance. >> Marco >> ___ >> nix-dev mailing list >> nix-dev@lists.science.uu.nl >> http://lists.science.uu.nl/mailman/listinfo/nix-dev > > > > > -- > Rob Vermaas > > [email] rob.verm...@gmail.com ___ nix-dev mailing list nix-dev@lists.science.uu.nl http://lists.science.uu.nl/mailman/listinfo/nix-dev
[Nix-dev] Hydra upgrade
Hi, I'm trying to upgrade my hydra server from an old version (3/4 months). I successfully migrated the nix configuration but it seems that I need to upgrade the database schema. Can you suggest what I have to do in detail? Here is the error I get DBIx::Class::ResultSet::search(): DBI Exception: DBD::Pg::st execute failed: ERROR: column me.triggertime does not exist LINE 1: ...h, me.errormsg, me.errortime, me.lastcheckedtime, me.trigger... ^ [for Statement "SELECT me.name, me.project, me.description, me.nixexprinput, me.nixexprpath, me.errormsg, me.errortime, me.lastcheckedtime, me.triggertime, me.enabled, me.enableemail, me.hidden, me.emailoverride, me.keepnr, (select count(*) from Builds as a where a.finished = 0 and me.project = a.project and me.name = a.jobset and a.isCurrent = 1), (select count(*) from Builds as a where a.finished = 1 and me.project = a.project and me.name = a.jobset and buildstatus <> 0 and a.isCurrent = 1), (select count(*) from Builds as a where a.finished = 1 and me.project = a.project and me.name = a.jobset and buildstatus = 0 and a.isCurrent = 1), (select count(*) from Builds as a where me.project = a.project and me.name = a.jobset and a.isCurrent = 1) FROM Jobsets me WHERE ( ( hidden = ? AND me.project = ? ) ) ORDER BY name" with ParamValues: 1='0', 2='udini'] at /nix/store/chdvwyw98yj1w2nny3mgh40c37x5cp2k-hydra-0.1pre1271-9f027b2/libexec/hydra/lib/Hydra/Helper/Nix.pm line 170 Thanks in advance. Marco ___ nix-dev mailing list nix-dev@lists.science.uu.nl http://lists.science.uu.nl/mailman/listinfo/nix-dev
Re: [Nix-dev] Network problems
Hi, I was able to generate a core dump. Here is the output of the command: $ nix-env -i emacs ... *** Downloading ‘http://nixos.org/binary-cache/nar/1g14fszfd2986sjcjyhn16vimcirm8chsxc1j3f9v71mysx96l0q.nar.bz2’ to ‘/nix/store/jpxj8z3mc7fjdnby58001k8icisjiis0-lzo-2.06’... % Total% Received % Xferd Average Speed TimeTime Time Current Dload Upload Total SpentLeft Speed 100 78256 100 782560 0 344k 0 --:--:-- --:--:-- --:--:-- 347k fetching path `/nix/store/jpxj8z3mc7fjdnby58001k8icisjiis0-lzo-2.06' failed due to signal 11 (Segmentation fault) fetching path `/nix/store/0pdfk07adfpjxx0hjgdb3mk3qya1kxlg-libungif-4.1.4.tar.gz'... killing process 700 error: some substitutes for the outputs of derivation `/nix/store/jq8qd6484m700f19ym1ssk85hh3v4qiv-lzo-2.06.drv' failed; try `--fallback' Actually I got two files (I expected only one), I don't know why: # ls -la /cores/ total 1267808 drwxrwxrwt@ 4 root admin136 Mar 28 08:37 . drwxrwxr-x 38 root admin 1360 Mar 28 08:11 .. -r 1 root admin 324558848 Mar 28 08:37 core.688 -r 1 root admin 324558848 Mar 28 08:37 core.694 But now I don't know how to get the stack trace. I assume I should run $ gdb (gdb) bt But who is ? I can send you the core dumps. Or I can test some commands if you give me more suggestions. Hope this can be useful, Marco 2013/3/25 Eelco Dolstra : > Hi, > > On 25/03/13 12:26, Marco Maggesi wrote: > >> on OSX I keep getting strange problems when downloading binary substitutes. >> Usually I have to rerun several time the same command until it succeeds. >> E.g., >> >> $ nix-build -I nixpkgs=~/Devel/nixpkgs >> fetching path `/nix/store/zy27vsm8q6pqjb8pipfhimq3k891lj2v-diffutils-3.2'... >> >> *** Downloading >> ‘http://nixos.org/binary-cache/nar/14sg6fz38x5in70w2cjd5qnca83m4z1xa8cfpk4wpn6mhkw0rjaq.nar.bz2’ >> to ‘/nix/store/zy27vsm8q6pqjb8pipfhimq3k891lj2v-diffutils-3.2’... >> % Total% Received % Xferd Average Speed TimeTime Time >> Current >> Dload Upload Total SpentLeft Speed >> 100 201k 100 201k0 0 309k 0 --:--:-- --:--:-- --:--:-- >> 309k >> >> fetching path `/nix/store/zy27vsm8q6pqjb8pipfhimq3k891lj2v-diffutils-3.2' > > Hm, very strange that it's saying "fetching path" again. Can you get a stack > trace (ulimit -c, gdb, ...)? > > -- > Eelco Dolstra | LogicBlox, Inc. | http://nixos.org/~eelco/ > ___ > nix-dev mailing list > nix-dev@lists.science.uu.nl > http://lists.science.uu.nl/mailman/listinfo/nix-dev ___ nix-dev mailing list nix-dev@lists.science.uu.nl http://lists.science.uu.nl/mailman/listinfo/nix-dev
[Nix-dev] Network problems
Hi, on OSX I keep getting strange problems when downloading binary substitutes. Usually I have to rerun several time the same command until it succeeds. E.g., $ nix-build -I nixpkgs=~/Devel/nixpkgs fetching path `/nix/store/zy27vsm8q6pqjb8pipfhimq3k891lj2v-diffutils-3.2'... *** Downloading ‘http://nixos.org/binary-cache/nar/14sg6fz38x5in70w2cjd5qnca83m4z1xa8cfpk4wpn6mhkw0rjaq.nar.bz2’ to ‘/nix/store/zy27vsm8q6pqjb8pipfhimq3k891lj2v-diffutils-3.2’... % Total% Received % Xferd Average Speed TimeTime Time Current Dload Upload Total SpentLeft Speed 100 201k 100 201k0 0 309k 0 --:--:-- --:--:-- --:--:-- 309k fetching path `/nix/store/zy27vsm8q6pqjb8pipfhimq3k891lj2v-diffutils-3.2' failed due to signal 11 (Segmentation fault) error: some substitutes for the outputs of derivation `/nix/store/mqjm1nxxa6f9lnmdinxapam0xdwcqj5r-stdenv.drv' failed; try `--fallback' (use `--show-trace' to show detailed location information) It might be unrelated, but I often get other kinds of network errors under nixos. E.g., sometimes ping to github works but git is not able to connect. Often the connection resumes after a few seconds. Does anybody encounter the same problem? Thanks, Marco ___ nix-dev mailing list nix-dev@lists.science.uu.nl http://lists.science.uu.nl/mailman/listinfo/nix-dev
[Nix-dev] pathExists
Hello,
I'm trying to create a pdf as follows
let
pkgs = import {};
in
pkgs.texFunctions.runLaTeX {
rootFile = ./strengthened.tex;
}
And I get the following error:
...
while evaluating the function at
`/Users/maggesi/Devel/nixpkgs/pkgs/tools/typesetting/tex/nix/default.nix:68:40':
while evaluating the builtin function `pathExists':
string `/nix/store/6x6mcjdj07kwxnhwmcy62slih3pdvkv8-HOAT/article.cls'
cannot refer to other paths
What does it mean "cannot refer to other paths" in this case?
Thanks?
Marco
___
nix-dev mailing list
nix-dev@lists.science.uu.nl
http://lists.science.uu.nl/mailman/listinfo/nix-dev
Re: [Nix-dev] services.mingetty.ttys
Hi Kevin, I'll try your suggestion on monday when I will be back in my office. Thanks for now! Marco 2013/2/16 Kevin Quick : > Marco, > > I ran into that the other day and sent a note to the list. That setting > is no longer supported. Until the upstream changes, copy the contents of > the xen-domU.nix into your configuration.nix... minus that line. > > Regards, >Kevin > > On Sat, 16 Feb 2013 03:38:00 -0700, Marco Maggesi > wrote: > >> Hi, >> >> I'm trying to update one of my xen virtual servers. >> When I launch nixos-rebuild I get the following error >> >> ... >> user-thrown exception: >> Option 'services.mingetty.ttys' defined without option declaration. >> The error may come from the following files: >> /nix/var/nix/profiles/per-user/root/channels/nixos/nixos/modules/virtualisation/xen-domU.nix >> >> Can someone enlighten me on what are the changes related to this? >> (Or even, fix the xen-domU module accordingly). >> >> Thanks. >> Marco >> ___ >> nix-dev mailing list >> nix-dev@lists.science.uu.nl >> http://lists.science.uu.nl/mailman/listinfo/nix-dev > > > -- > -KQ > ___ > nix-dev mailing list > nix-dev@lists.science.uu.nl > http://lists.science.uu.nl/mailman/listinfo/nix-dev ___ nix-dev mailing list nix-dev@lists.science.uu.nl http://lists.science.uu.nl/mailman/listinfo/nix-dev
[Nix-dev] services.mingetty.ttys
Hi, I'm trying to update one of my xen virtual servers. When I launch nixos-rebuild I get the following error ... user-thrown exception: Option 'services.mingetty.ttys' defined without option declaration. The error may come from the following files: /nix/var/nix/profiles/per-user/root/channels/nixos/nixos/modules/virtualisation/xen-domU.nix Can someone enlighten me on what are the changes related to this? (Or even, fix the xen-domU module accordingly). Thanks. Marco ___ nix-dev mailing list nix-dev@lists.science.uu.nl http://lists.science.uu.nl/mailman/listinfo/nix-dev
[Nix-dev] Intrinsically impure build process
Hi everybody,
I would like to use Nix to prepare prebuilt checkpointed binaries for
the HOL Light theorem prover. (Ideally I would like to prepare a
virtualbox appliance with HOL Light and all the related software ready
and configured.)
[Short explanation: Checkpointing means to "freeze" a running process
(i.e., unix program) and save its status in a binary file (the
ckecpointed binary) which can be later used to restart the process at
the point it has been originally interrupted. HOL Light is an OCaml
script. HOL Light needs this "freezing" mechanism because it has no
built functionality for saving its status. For this and other reason,
HOL Light is troublesome for its installation, but otherwise a great
software and I use it for teaching.]
I use BLCR to checkpoint HOL Light on NixOS. I have a proof of
concept script (attached to this message) which works very well in
practice. But I have a problem due to the impurity of this process.
This impurity is due to the fact that, in general, the checkpoint
binaries are not portable across different version of the kernel and
the BLCR module where the checkpoint has been performed. This means
that the checkpointed binaries have to be regenerated each time we
reboot the system with a different kernel.
I artificially inject this impure dependency by passing to the
derivations two things:
1. the string `uname -a`, this should help take into account the
version of the running kernel
2. the path to the BLCR commands, this should help to take into
account the version of the installed BLCR module.
Thus my nix expression starts as follows:
let
sysver = builtins.getEnv "SYSVER";
cr_checkpoint = ;
cr_run = ;
cr_restart = ;
pkgs = import {};
I call this expression as follows:
export SYSVER=$(uname -a)
nix-build \
--show-trace \
-I "blcr=/run/current-system/sw/bin" \
-A hol_light_core \
-o ~/bin/hol_light_core
which is quite involute. (Actually I have small a bash script to
perform this call).
Can you suggest a better way to do the same?
Thanks,
Marco
default.nix
Description: Binary data
___
nix-dev mailing list
nix-dev@lists.science.uu.nl
http://lists.science.uu.nl/mailman/listinfo/nix-dev
Re: [Nix-dev] Can't understand how pull requests work
2012/12/23 Michael Raskin <7c6f4...@mail.ru>: >>I submitted this pull request last week >> >>https://github.com/NixOS/nixpkgs/pull/216 >> >>I cannot understand how this request could be marked as merged and >>closed by me (I don't have commit access on the nixpkgs project, i >>think). >> >>Also I noticed that no commit is associated to this pull request. >>Can someone enlighten what actually happened? > > I am not sure, but my working hypothesis would be that someone silently > picked your commit into master without using GitHub UI. Probably myself. But what I don't understand is that github declares that the commit has been merged from maggesi:master into NixOS:master. > Now, you have asked to pull branch X which is now a subset of master, > so there are no commits to show. Oh, but empty pull request can be > closed, noticed Github. Hm, maggesi is the only user associated with > request — let's declare that the request is closed by maggesi. Yes, this make sense. > Am I right that HOL Light _is_ updated in master? My original commit was (by mistake) in the "master" branch of my nixpkgs repo, which is probably a bad idea. Anyway, now I resubmitted a pull request (from a different branch). Thanks, Marco ___ nix-dev mailing list nix-dev@lists.science.uu.nl http://lists.science.uu.nl/mailman/listinfo/nix-dev
[Nix-dev] Can't understand how pull requests work
I submitted this pull request last week https://github.com/NixOS/nixpkgs/pull/216 I cannot understand how this request could be marked as merged and closed by me (I don't have commit access on the nixpkgs project, i think). Also I noticed that no commit is associated to this pull request. Can someone enlighten what actually happened? Thansk, M. ___ nix-dev mailing list nix-dev@lists.science.uu.nl http://lists.science.uu.nl/mailman/listinfo/nix-dev
Re: [Nix-dev] end-of-life kernels
For the record, I still use 2.6.35 which is the newest kernel supporting BLCR presently available in NixoOS (BLCR needs kernels <= 2.6.38). By the way, for what I can say, this makes NixOS the only distribution which currently supports easily BLCR (just add two lines in configuration.nix). Seems that the development of BLCR has been resumed recently, but it still difficult to predict when there will be a new version that supports 3.x.y kernels. M. 2012/11/19 Eelco Dolstra : > Hi, > > On 18/11/12 20:58, Mathijs Kwik wrote: > >> Indeed I didn't think about 2.6.35 being our current headers, so >> indeed we should keep 2.6.35 until stdenv-upgrades. > > FWIW, the stdenv branch already uses Linux 3.5.x for the kernel headers. > > -- > Eelco Dolstra | LogicBlox, Inc. | http://nixos.org/~eelco/ > ___ > nix-dev mailing list > nix-dev@lists.science.uu.nl > http://lists.science.uu.nl/mailman/listinfo/nix-dev ___ nix-dev mailing list nix-dev@lists.science.uu.nl http://lists.science.uu.nl/mailman/listinfo/nix-dev
[Nix-dev] uncaught impurity(?)
I have nix+nixpkgs installed on an ubuntu machine. Today an update of the underling ubuntu os broke something in the nix installation, e.g.: root@bantu:~# nix-channel --update /nix/store/xh2349hvdvkvazh0fn9dz4z7za35iig4-curl-7.22.0/bin/curl: /nix/store/6cgraa4mxbg1gfi95a4yhxq6yzb56s4v-glibc-2.13/lib/libc.so.6: version `GLIBC_2.14' not found (required by /lib/x86_64-linux-gnu/libpthread.so.0) My understanding is that curl has a dependency outside of the /nix/store Marco ___ nix-dev mailing list nix-dev@lists.science.uu.nl http://lists.science.uu.nl/mailman/listinfo/nix-dev
Re: [Nix-dev] xen on nixos
Hi Jan, thank you for your answer (BTW: I was a little distracted by other tasks and I didn't notice this message until now). I'm trying again to install xen but I still have problems: Following the usual instructions I get the following error: builder for `/nix/store/bmr08239ljmcbws3xm6wvsmgp3mz4a1n-linux-2.6.32.24-xen-179eca5' failed Then I added the following line to configuratio.nix boot.kernelPackages = pkgs.linuxPackages_3_2_xen; but then I get another error: Checking that all programs call by absolute paths in udev rules exist ... FAIL /etc/xen/scripts/blktap is called in udev rules but not installed by udev builder for `/nix/store/vbqrjkgha77ik3gwxghfx91bxnag3dqd-udev-rules.drv' failed with exit code 1 Does anybody have a working xen-enabled configuration.nix that works? Thanks again, Marco 2012/9/2 Jan Malakhovski : > Hi Marco, > > This happens because xend hangs at startup. > Try applying patches from this pull request for nixpkgs (not merged into > master for a month without a reason): > https://github.com/NixOS/nixpkgs/pull/93 > Pull request comments and changeset comments elaborate on the problem. > > Best regards, > Jan > > On Fri, 24 Aug 2012 11:06:29 +0200 > Marco Maggesi wrote: > >> Hi, >> >> I'm trying to setup a xen on nixos. I added the following lines to >> configuration.nix: >> >> boot.kernelPackages = pkgs.linuxPackages_3_2_xen; >> virtualisation.xen.enable = true; >> virtualisation.xen.domain0MemorySize = 512; >> >> nixos-rebuild works without problems and I can see xend running: >> >> # ps -u root | grep xend >> 2296 ?00:00:00 .xend-wrapped >> 2451 ?00:00:00 .xend-wrapped >> 2452 ?00:00:00 .xend-wrapped >> 2454 ?00:00:48 .xend-wrapped >> >> However, xm do not work: >> >> # xm list >> Error: Unable to connect to xend: No such file or directory. Is xend >> running? >> >> Looking at the output of >> # strace xm list >> the problem seems to be related to the creation of the communication socket >> (/var/run/xend/xmlrpc.sock) >> >> Can somebody already solved this? >> >> Thanks, >> Marco >> ___ >> nix-dev mailing list >> nix-dev@lists.science.uu.nl >> http://lists.science.uu.nl/mailman/listinfo/nix-dev > ___ > nix-dev mailing list > nix-dev@lists.science.uu.nl > http://lists.science.uu.nl/mailman/listinfo/nix-dev ___ nix-dev mailing list nix-dev@lists.science.uu.nl http://lists.science.uu.nl/mailman/listinfo/nix-dev
[Nix-dev] xen on nixos
Hi, I'm trying to setup a xen on nixos. I added the following lines to configuration.nix: boot.kernelPackages = pkgs.linuxPackages_3_2_xen; virtualisation.xen.enable = true; virtualisation.xen.domain0MemorySize = 512; nixos-rebuild works without problems and I can see xend running: # ps -u root | grep xend 2296 ?00:00:00 .xend-wrapped 2451 ?00:00:00 .xend-wrapped 2452 ?00:00:00 .xend-wrapped 2454 ?00:00:48 .xend-wrapped However, xm do not work: # xm list Error: Unable to connect to xend: No such file or directory. Is xend running? Looking at the output of # strace xm list the problem seems to be related to the creation of the communication socket (/var/run/xend/xmlrpc.sock) Can somebody already solved this? Thanks, Marco ___ nix-dev mailing list nix-dev@lists.science.uu.nl http://lists.science.uu.nl/mailman/listinfo/nix-dev
Re: [Nix-dev] corrupted manifest?
By the way, nix-store --verify --check-contents says checking hashes... path `/nix/store/fkp6f4kdn8a3qpjdx2v8hf4a8mra4vyj-MANIFEST.bz2' was modified! expected hash `9f8e66e683a2de341b801ae24d5d03b4de3e29c98bfbd8c06f562c03550eb209', got `0c04804fa7a75716ef0134c7a06d0171f59c2a3b5e35e7c1040c352719f54cd6' How can fix this? Thanks, M. 2012/8/14 Marco Maggesi > Hi, > on one of my computer I cannot update the channels: > > [root@neve:~]# nix-channel --update > fetching list of Nix archives at ` > http://nixos.org/releases/nixos/nixos-0.1pre3901_a025e84-50cc562/MANIFEST.bz2'. > .. > % Total% Received % Xferd Average Speed TimeTime Time > Current > Dload Upload Total SpentLeft > Speed > 0 00 00 0 0 0 --:--:-- --:--:-- > --:--:-- 0 > caching /nix/store/fkp6f4kdn8a3qpjdx2v8hf4a8mra4vyj-MANIFEST.bz2... > DBD::SQLite::db do failed: database disk image is malformed at > /nix/store/layshf3qdfp4dwd31f7m05fwam0z51i6-nix-1.1/lib/perl5/site_perl/5.14.2/i686-linux-thread-multi/Nix/Manifest.pm > line 356. > cannot pull manifest from ` > http://nixos.org/releases/nixos/nixos-0.1pre3901_a025e84-50cc562' > > > I tried to remove the channel and rollback the configuration but without > success. > > Do you have any suggestions? > > Thanks, > Marco > ___ nix-dev mailing list nix-dev@lists.science.uu.nl http://lists.science.uu.nl/mailman/listinfo/nix-dev
[Nix-dev] corrupted manifest?
Hi, on one of my computer I cannot update the channels: [root@neve:~]# nix-channel --update fetching list of Nix archives at ` http://nixos.org/releases/nixos/nixos-0.1pre3901_a025e84-50cc562/MANIFEST.bz2'. .. % Total% Received % Xferd Average Speed TimeTime Time Current Dload Upload Total SpentLeft Speed 0 00 00 0 0 0 --:--:-- --:--:-- --:--:-- 0 caching /nix/store/fkp6f4kdn8a3qpjdx2v8hf4a8mra4vyj-MANIFEST.bz2... DBD::SQLite::db do failed: database disk image is malformed at /nix/store/layshf3qdfp4dwd31f7m05fwam0z51i6-nix-1.1/lib/perl5/site_perl/5.14.2/i686-linux-thread-multi/Nix/Manifest.pm line 356. cannot pull manifest from ` http://nixos.org/releases/nixos/nixos-0.1pre3901_a025e84-50cc562' I tried to remove the channel and rollback the configuration but without success. Do you have any suggestions? Thanks, Marco ___ nix-dev mailing list nix-dev@lists.science.uu.nl http://lists.science.uu.nl/mailman/listinfo/nix-dev
[Nix-dev] Agda standard library
Hi, I'm trying to figure out how to to install the Agda standard library using cabal2nix. Here is my first attempt: nix-env -iA haskellPackages.cabal2nix cabal2nix http://www.cse.chalmers.se/~nad/repos/lib/lib.cabal (In the --help message cabal2nix advises as recognized URI schemes http://host/path) But I get the following error: curl: (22) The requested URL returned error: 404 /Users/maggesi/.nix-profile/bin/nix-prefetch-url: download of ‘ http://hackage.haskell.org/packages/archive/lib/0.1/lib-0.1.tar.gz’ failed cabal2nix: readProcess: bash "-c" "exec nix-prefetch-url 2>/dev/tty http://hackage.haskell.org/packages/archive/lib/0.1/lib-0.1.tar.gz"; (exit 22): failed Thanks, Marco ___ nix-dev mailing list nix-dev@lists.science.uu.nl http://lists.science.uu.nl/mailman/listinfo/nix-dev
Re: [Nix-dev] Problem with ATI graphics card
As suggested in the discussion of the issue I circumvented the problem by setting radeon.modeset=0. Thank you for the reference. Marco 2012/7/31 Cillian de Róiste > On Tue, Jul 31, 2012 at 11:23 AM, Marco Maggesi > wrote: > > Hi, > > > > I'm trying to reinstall nixos on an my desktop computer (after an HD > > replacement due to a bad corruption). > > The installation process goes smoothly, but after reboot (during Stage 2) > > the screen become unreadable (a set of randomly distributed coloured > > pixels). > > > > This happens under various different configurations: > > - with my old configuration.nix > > - with a brand new configuration.nix created by the installation scripts > > - with xserver enabled and disabled > > > > When booted from the installation/rescue CD the graphics card works > > normally, either in text mode and with x11. > > > > Here is the line of output of lspci that describe the graphics card: > > > > 01:00.0 VGA compatible controller: ATI Technologies Inc RV610 video > device > > [Radeon HD 2400 PRO] > > > > What could I do? > > I guess it's missing the firmware, there is a work around: > https://github.com/NixOS/nixos/issues/6 > > Cheers, > Cillian > > > Thanks, > > Marco > > > > ___ > > nix-dev mailing list > > nix-dev@lists.science.uu.nl > > http://lists.science.uu.nl/mailman/listinfo/nix-dev > > > ___ > nix-dev mailing list > nix-dev@lists.science.uu.nl > http://lists.science.uu.nl/mailman/listinfo/nix-dev > ___ nix-dev mailing list nix-dev@lists.science.uu.nl http://lists.science.uu.nl/mailman/listinfo/nix-dev
[Nix-dev] Problem with ATI graphics card
Hi, I'm trying to reinstall nixos on an my desktop computer (after an HD replacement due to a bad corruption). The installation process goes smoothly, but after reboot (during Stage 2) the screen become unreadable (a set of randomly distributed coloured pixels). This happens under various different configurations: - with my old configuration.nix - with a brand new configuration.nix created by the installation scripts - with xserver enabled and disabled When booted from the installation/rescue CD the graphics card works normally, either in text mode and with x11. Here is the line of output of lspci that describe the graphics card: 01:00.0 VGA compatible controller: ATI Technologies Inc RV610 video device [Radeon HD 2400 PRO] What could I do? Thanks, Marco ___ nix-dev mailing list nix-dev@lists.science.uu.nl http://lists.science.uu.nl/mailman/listinfo/nix-dev
Re: [Nix-dev] Problems using git on darwin
2012/7/25 Florian Friesdorf > On Wed, 25 Jul 2012 21:41:14 +0200, Marco Maggesi > wrote: > > > > $ git push origin > > $ curl https://github.com/maggesi/nixpkgs.git > > Are you sure git and curl are coming from nix? Yes: $ type -p curl /Users/maggesi/.nix-profile/bin/curl $ type -p git /Users/maggesi/.nix-profile/bin/git ___ nix-dev mailing list nix-dev@lists.science.uu.nl http://lists.science.uu.nl/mailman/listinfo/nix-dev
[Nix-dev] NIX_REMOTE
Hi! In the the nix manual (sec 3.4.1 Single-user mode) suggests to chown the store to normal user account. However, in the present nix version, /etc/profile.d/nix.sh uses the following logic to set NIX_REMOTE # Set up secure multi-user builds: non-root users build through the # Nix daemon. if test "$USER" != root; then export NIX_REMOTE=daemon else unset NIX_REMOTE fi As a consequence, those that want to setup nix as unprivileged user needs to issue unset NIX_REMOTE otherwise the get a pretty indecipherable error like cannot connect to daemon at `/nix/var/nix/daemon-socket/socket': No such file or directory at /nix/store/rxaasfq7k5lr4mxvp3wcc0lg3z0iasbw-nix-1.1/bin/nix-prefetch-url line 100. I suggest to update the documentation or to change the behavior for setting NIX_REMOTE in nix.sh. Marco ___ nix-dev mailing list nix-dev@lists.science.uu.nl http://lists.science.uu.nl/mailman/listinfo/nix-dev
Re: [Nix-dev] Problems using git on darwin
Yes, this solves my problem. Thank you again. Marco 2012/7/25 Eelco Dolstra > Hi, > > On 25/07/12 15:41, Marco Maggesi wrote: > > > Hi Eelco, > > thank you for your help, but apparently this doesn't work. > > > > Here is what I did (in case someone can spot an error): > > I installed cacert from nixpkgs and I set > > > > $ export > > > OPENSSL_X509_CERT_FILE=/nix/store/0gyh9310jyp8q424g35lig7fp08n6mhm-cacert-20120628/etc/ca-bundle.crt > > Try setting $GIT_SSL_CAINFO to the same value. Might be that it doesn't > fall > back to $OPENSSL_X509_CERT_FILE. > > -- > Eelco Dolstra | LogicBlox, Inc. | http://nixos.org/~eelco/ > ___ > nix-dev mailing list > nix-dev@lists.science.uu.nl > http://lists.science.uu.nl/mailman/listinfo/nix-dev > ___ nix-dev mailing list nix-dev@lists.science.uu.nl http://lists.science.uu.nl/mailman/listinfo/nix-dev
Re: [Nix-dev] Problems using git on darwin
Yes, indeed I already use plain http for fetching from public repositories. But I also would like to pull from my repositories. M. 2012/7/24 Vladimír Čunát > On 22 July 2012 17:55, Marco Maggesi wrote: > > https://github.com/maggesi/nixpkgs.git/info/refs > > I sometimes have this problem with github, but using http instead of > https has always solved it for me. I don't need safe fetching. > > Vlada > ___ > nix-dev mailing list > nix-dev@lists.science.uu.nl > http://lists.science.uu.nl/mailman/listinfo/nix-dev > ___ nix-dev mailing list nix-dev@lists.science.uu.nl http://lists.science.uu.nl/mailman/listinfo/nix-dev
Re: [Nix-dev] Problems using git on darwin
Hi Eelco, thank you for your help, but apparently this doesn't work. Here is what I did (in case someone can spot an error): I installed cacert from nixpkgs and I set $ export OPENSSL_X509_CERT_FILE=/nix/store/0gyh9310jyp8q424g35lig7fp08n6mhm-cacert-20120628/etc/ca-bundle.crt $ head -n4 $OPENSSL_X509_CERT_FILE ## ## ca-bundle.crt -- Bundle of CA Root Certificates ## ## Certificate data from Mozilla as of: Thu Jun 28 15:03:08 2012 But I still get the same error: $ git push origin error: SSL certificate problem: unable to get local issuer certificate while accessing https://github.com/maggesi/nixpkgs.git/info/refs fatal: HTTP request failed The same problem arise with other tools, e.g. $ curl https://github.com/maggesi/nixpkgs.git curl: (60) SSL certificate problem: unable to get local issuer certificate More details here: http://curl.haxx.se/docs/sslcerts.html However the certificate bundle seems valid: $ curl --cacert $OPENSSL_X509_CERT_FILE https://github.com/maggesi/nixpkgs.git 301 Moved Permanently 301 Moved Permanently nginx/1.0.13 2012/7/22 Eelco Dolstra > Hi, > > (resend to list) > > On 22/07/12 11:55, Marco Maggesi wrote: > > > I installed git with nix on darwin. > > When I try to use remote (github) repositories I get an SSL error: > > > > soyuz:nixpkgs maggesi$ git pull > > error: SSL certificate problem: unable to get local issuer certificate > while > > accessing https://github.com/maggesi/nixpkgs.git/info/refs > > fatal: HTTP request failed > > OpenSSL in Nixpkgs expects the environment variable > $OPENSSL_X509_CERT_FILE to > point to an SSL certificate bundle. On NixOS this is > /etc/ssl/certs/ca-bundle.crt. If you don't have a similar file on Mac OS > X, you > can install the cacert package from Nixpkgs. > > -- > Eelco Dolstra | LogicBlox, Inc. | http://nixos.org/~eelco/ > ___ > nix-dev mailing list > nix-dev@lists.science.uu.nl > http://lists.science.uu.nl/mailman/listinfo/nix-dev > ___ nix-dev mailing list nix-dev@lists.science.uu.nl http://lists.science.uu.nl/mailman/listinfo/nix-dev
[Nix-dev] Problems using git on darwin
Hello, I installed git with nix on darwin. When I try to use remote (github) repositories I get an SSL error: soyuz:nixpkgs maggesi$ git pull error: SSL certificate problem: unable to get local issuer certificate while accessing https://github.com/maggesi/nixpkgs.git/info/refs fatal: HTTP request failed Can you help to solve this problem? Thanks, Marco ___ nix-dev mailing list nix-dev@lists.science.uu.nl http://lists.science.uu.nl/mailman/listinfo/nix-dev
Re: [Nix-dev] Missing archive
2012/6/12 Eelco Dolstra : > You may have an old manifest that refers to files that have been deleted from > the server since. Try deleting the files in /nix/var/nix/manifests. It works, thank you. M. ___ nix-dev mailing list nix-dev@lists.science.uu.nl http://lists.science.uu.nl/mailman/listinfo/nix-dev
[Nix-dev] Missing archive
Hi, I get an error (see below) during the installation of TimeDate on Darwin. If I understand correctly what is going on, a derivation that is supposed to be available in binary form it is not actually available for download. Is this a bug? Thank you. M. soyuz-2:~ maggesi$ nix-env -f ~/Devel/nixpkgs -iA gitAndTools.gitAnnex installing `git-annex-3.20120605' fetching path `/nix/store/4g84m81x8g3g8r2g2q502spzbnh522k9-TimeDate-1.16.tar.gz'... *** Trying to download/patch `/nix/store/4g84m81x8g3g8r2g2q502spzbnh522k9-TimeDate-1.16.tar.gz' *** Step 1/1: downloading `http://nixos.org/releases/nars/sha256_7cceeb4fad16e7575a632959dc64a6cab0ea0fd03eb17fba12e3e3312bd28b22' into `/nix/store/4g84m81x8g3g8r2g2q502spzbnh522k9-TimeDate-1.16.tar.gz' downloading archive... % Total% Received % Xferd Average Speed TimeTime Time Current Dload Upload Total SpentLeft Speed 0 00 00 0 0 0 --:--:-- --:--:-- --:--:-- 0 curl: (22) The requested URL returned error: 404 /nix/store/xdxmfsbk6jc1k0r6x50d1qx2clwcsfby-nix-1.0/bin/nix-prefetch-url: download of ‘http://nixos.org/releases/nars/sha256_7cceeb4fad16e7575a632959dc64a6cab0ea0fd03eb17fba12e3e3312bd28b22’ failed download of `http://nixos.org/releases/nars/sha256_7cceeb4fad16e7575a632959dc64a6cab0ea0fd03eb17fba12e3e3312bd28b22' failed fetching path `/nix/store/4g84m81x8g3g8r2g2q502spzbnh522k9-TimeDate-1.16.tar.gz' failed with exit code 22 fetching path `/nix/store/pz8d5fbwia7ymglxmsvmgkxdzigiirbp-haskell-parsec-ghc7.4.1-3.1.2'... killing process 392 error: some substitutes for the outputs of derivation `/nix/store/gnbahs797b5vkcpyjlgm9af3fza8x5lj-TimeDate-1.16.tar.gz.drv' failed; try `--fallback' ___ nix-dev mailing list nix-dev@lists.science.uu.nl http://lists.science.uu.nl/mailman/listinfo/nix-dev
Re: [Nix-dev] emacsPackages
And the same is for ocamlPackages, which I created imitating emacsPackages M. 2012/6/11 Peter Simons : > Hi Florian, > > > To understand the situation: with python we have the same problem, or? > > yes, exactly. > > Take care, > Peter > > ___ > nix-dev mailing list > nix-dev@lists.science.uu.nl > http://lists.science.uu.nl/mailman/listinfo/nix-dev ___ nix-dev mailing list nix-dev@lists.science.uu.nl http://lists.science.uu.nl/mailman/listinfo/nix-dev
Re: [Nix-dev] HYDRA_DATA
Hi Rob,
I added
environment.shellInit = ''
export HYDRA_DATA=/home/hydra/data
export HYDRA_DBI="dbi:Pg:dbname=hydra;host=localhost;user=hydra;";
'';
and it seems to work perfectly.
Thank you,
Marco
2012/6/9 Rob Vermaas :
> Hi Marco,
>
>> I just updated my hydra server with
>> nix-channel --update
>> nix-env --always -u \*
>> nixos-rebuild switch
>>
>> If I run hydra-update-gc-roots I get the following error
>>
>> [hydra@o0dom0:/root]$ hydra-update-gc-roots
>> The HYDRA_DATA directory (/var/lib/hydra) does not exist!
>> Compilation failed in require at
>> /nix/store/lrmjyz3lbv54ym3fbbrb01isq3yzm1hr-hydra-0.1pre1059-ab4f091/libexec/hydra/lib/Hydra/Helper/Nix.pm
>> line 8.
>> BEGIN failed--compilation aborted at
>> /nix/store/lrmjyz3lbv54ym3fbbrb01isq3yzm1hr-hydra-0.1pre1059-ab4f091/libexec/hydra/lib/Hydra/Helper/Nix.pm
>> line 8.
>> Compilation failed in require at
>> /nix/store/lrmjyz3lbv54ym3fbbrb01isq3yzm1hr-hydra-0.1pre1059-ab4f091/bin/.hydra-update-gc-roots-wrapped
>> line 8.
>> BEGIN failed--compilation aborted at
>> /nix/store/lrmjyz3lbv54ym3fbbrb01isq3yzm1hr-hydra-0.1pre1059-ab4f091/bin/.hydra-update-gc-roots-wrapped
>> line 8.
>>
>> I'm pretty sure that it worked without errors before the update.
>> Hydra is configured through the nixos module as follows:
>>
>> services.hydra = {
>> enable = true;
>> hydra =
>> /nix/store/2a49h1zc3cydy97dyrv3ycfia087wwcy-hydra-0.1pre1058-fdf441a;
>> hydraURL = "http://o0dom0.math.unifi.it/";ww
>> notificationSender = "magg...@math.unifi.it";
>> user = "hydra";
>> baseDir = "/home/hydra";
>> dbi = "dbi:Pg:dbname=hydra;host=localhost;user=hydra;";
>> minimumDiskFree = 3;
>> minimumDiskFreeEvaluator = 1;
>> #tracker = "Dipartimento di Matematica Ulisse Dini";
>> autoStart = true;
>> };
>>
>> (I manually set the exact path to the hydra derivation, i.e.,
>> /nix/store/2a49h1zc3cydy97dyrv3ycfia087wwcy-hydra-0.1pre1058-fdf441a
>> by looking at the installed default user environment after nix-env
>> --always -u \* )
>>
>> I tried to define HYDRA_DATA but then I got another error
>>
>> [hydra@o0dom0:~]$ export HYDRA_DATA=/home/hydra/data/
>>
>> [hydra@o0dom0:~]$ hydra-update-gc-roots
>> *** reading current roots...
>> *** looking for release members
>> DBIx::Class::ResultSet::search_literal(): DBI Exception:
>> DBD::SQLite::db prepare_cached failed: no such table: Builds [for
>> Statement "SELECT me.id, me.finished, me.timestamp, me.project,
>> me.jobset, me.job, me.nixname, me.description, me.drvpath, me.outpath,
>> me.system, me.longdescription, me.license, me.homepage,
>> me.maintainers, me.maxsilent, me.timeout, me.iscurrent,
>> me.nixexprinput, me.nixexprpath, me.priority, me.busy, me.locker,
>> me.logfile, me.disabled, me.starttime, me.stoptime, me.iscachedbuild,
>> me.buildstatus, me.errormsg, me.logsize, me.size, me.closuresize,
>> me.releasename, me.keep FROM Builds me WHERE ( exists (select 1 from
>> releasemembers where build = me.id) ) ORDER BY project, jobset, job,
>> id"] at
>> /nix/store/lrmjyz3lbv54ym3fbbrb01isq3yzm1hr-hydra-0.1pre1059-ab4f091/bin/.hydra-update-gc-roots-wrapped
>> line 59
>>
>> Can you help me understand?
>
> It looks like the environment variables for the hydra login are not
> set properly in the nixos module. I can see this, as it is trying to
> use sqlite, which is the default database backend when no HYDRA_DBI is
> provided. The upstart jobs and cronjob shoudl get the appropriate
> environment variables. I haven't tested this, but you can probably
> use:
>
> environment.shellInit = env;
>
> in the hydra-module.nix that is part of hydra. Let me know if this
> works for you, then we can add it to the module.
>
> Cheers,
> Rob
>
>
> --
> Rob Vermaas
>
> [email] rob.verm...@gmail.com
___
nix-dev mailing list
nix-dev@lists.science.uu.nl
http://lists.science.uu.nl/mailman/listinfo/nix-dev
[Nix-dev] HYDRA_DATA
Hi,
I just updated my hydra server with
nix-channel --update
nix-env --always -u \*
nixos-rebuild switch
If I run hydra-update-gc-roots I get the following error
[hydra@o0dom0:/root]$ hydra-update-gc-roots
The HYDRA_DATA directory (/var/lib/hydra) does not exist!
Compilation failed in require at
/nix/store/lrmjyz3lbv54ym3fbbrb01isq3yzm1hr-hydra-0.1pre1059-ab4f091/libexec/hydra/lib/Hydra/Helper/Nix.pm
line 8.
BEGIN failed--compilation aborted at
/nix/store/lrmjyz3lbv54ym3fbbrb01isq3yzm1hr-hydra-0.1pre1059-ab4f091/libexec/hydra/lib/Hydra/Helper/Nix.pm
line 8.
Compilation failed in require at
/nix/store/lrmjyz3lbv54ym3fbbrb01isq3yzm1hr-hydra-0.1pre1059-ab4f091/bin/.hydra-update-gc-roots-wrapped
line 8.
BEGIN failed--compilation aborted at
/nix/store/lrmjyz3lbv54ym3fbbrb01isq3yzm1hr-hydra-0.1pre1059-ab4f091/bin/.hydra-update-gc-roots-wrapped
line 8.
I'm pretty sure that it worked without errors before the update.
Hydra is configured through the nixos module as follows:
services.hydra = {
enable = true;
hydra =
/nix/store/2a49h1zc3cydy97dyrv3ycfia087wwcy-hydra-0.1pre1058-fdf441a;
hydraURL = "http://o0dom0.math.unifi.it/";ww
notificationSender = "magg...@math.unifi.it";
user = "hydra";
baseDir = "/home/hydra";
dbi = "dbi:Pg:dbname=hydra;host=localhost;user=hydra;";
minimumDiskFree = 3;
minimumDiskFreeEvaluator = 1;
#tracker = "Dipartimento di Matematica Ulisse Dini";
autoStart = true;
};
(I manually set the exact path to the hydra derivation, i.e.,
/nix/store/2a49h1zc3cydy97dyrv3ycfia087wwcy-hydra-0.1pre1058-fdf441a
by looking at the installed default user environment after nix-env
--always -u \* )
I tried to define HYDRA_DATA but then I got another error
[hydra@o0dom0:~]$ export HYDRA_DATA=/home/hydra/data/
[hydra@o0dom0:~]$ hydra-update-gc-roots
*** reading current roots...
*** looking for release members
DBIx::Class::ResultSet::search_literal(): DBI Exception:
DBD::SQLite::db prepare_cached failed: no such table: Builds [for
Statement "SELECT me.id, me.finished, me.timestamp, me.project,
me.jobset, me.job, me.nixname, me.description, me.drvpath, me.outpath,
me.system, me.longdescription, me.license, me.homepage,
me.maintainers, me.maxsilent, me.timeout, me.iscurrent,
me.nixexprinput, me.nixexprpath, me.priority, me.busy, me.locker,
me.logfile, me.disabled, me.starttime, me.stoptime, me.iscachedbuild,
me.buildstatus, me.errormsg, me.logsize, me.size, me.closuresize,
me.releasename, me.keep FROM Builds me WHERE ( exists (select 1 from
releasemembers where build = me.id) ) ORDER BY project, jobset, job,
id"] at
/nix/store/lrmjyz3lbv54ym3fbbrb01isq3yzm1hr-hydra-0.1pre1059-ab4f091/bin/.hydra-update-gc-roots-wrapped
line 59
Can you help me understand?
M.
___
nix-dev mailing list
nix-dev@lists.science.uu.nl
http://lists.science.uu.nl/mailman/listinfo/nix-dev
Re: [Nix-dev] nixos-install
Yes, indeed. I was not aware of the migration. My fault, probably, I read the nix-dev mailing list discontinuously. M. 2012/6/7 Kirill Elagin : > 2012/5/10 Marco Maggesi >> >> The directory >> /nix/var/nix/profiles/per-user/root >> is empty on my system. >> >> What is wrong? >> > > That's wrong. You are probably using old-style /etc/nixos stuff. Migrate to > nix channels. > > -- > Кирилл Елагин > > ___ > nix-dev mailing list > nix-dev@lists.science.uu.nl > http://lists.science.uu.nl/mailman/listinfo/nix-dev > ___ nix-dev mailing list nix-dev@lists.science.uu.nl http://lists.science.uu.nl/mailman/listinfo/nix-dev
Re: [Nix-dev] Specific git branch as a hydra jobset input
Was too easy ;-) Thank you, it works! M. 2012/6/1 Rob Vermaas : > Hi Marco, > > yes, you can add the branch name as input value after the git repo, > e.g. 'git://github.com/NixOS/charon.git python' (where python is > branch name) in stead of 'git://github.com/NixOS/charon.git' > > Cheers, > Rob > > On Fri, Jun 1, 2012 at 4:40 PM, Marco Maggesi wrote: >> Hi, >> is it possible to specify a branch different from refs/heads/master as >> an input of for a hydra jobset? >> Thanks, >> M. >> ___ >> nix-dev mailing list >> nix-dev@lists.science.uu.nl >> http://lists.science.uu.nl/mailman/listinfo/nix-dev > > > > -- > Rob Vermaas > > [email] rob.verm...@gmail.com > ___ > nix-dev mailing list > nix-dev@lists.science.uu.nl > http://lists.science.uu.nl/mailman/listinfo/nix-dev ___ nix-dev mailing list nix-dev@lists.science.uu.nl http://lists.science.uu.nl/mailman/listinfo/nix-dev
[Nix-dev] Specific git branch as a hydra jobset input
Hi, is it possible to specify a branch different from refs/heads/master as an input of for a hydra jobset? Thanks, M. ___ nix-dev mailing list nix-dev@lists.science.uu.nl http://lists.science.uu.nl/mailman/listinfo/nix-dev
Re: [Nix-dev] Removed a generation by mistake.
Ah, nice! It works. I misunderstood the mechanism. I thought the "roots" were every single link in itself, not the whole directory. Thanks for the clarification. Marco 2012/5/29 Lluís Batlle i Rossell : > On Tue, May 29, 2012 at 01:56:45PM +0200, Marco Maggesi wrote: >> Hi, >> I removed a generation by mistake from /nix/var/nix/profile. >> But I din't yet run GC and I know the original path in /nix/store >> Can I use nix-store to restore the link (and register the the root)? > > 'register the root' is simply making a symlink like those in > /nix/var/nix/profile. The whole /nix/var/nix/profile is pointed as gcroot, > iirc. > ___ > nix-dev mailing list > nix-dev@lists.science.uu.nl > http://lists.science.uu.nl/mailman/listinfo/nix-dev ___ nix-dev mailing list nix-dev@lists.science.uu.nl http://lists.science.uu.nl/mailman/listinfo/nix-dev
[Nix-dev] Removed a generation by mistake.
Hi, I removed a generation by mistake from /nix/var/nix/profile. But I din't yet run GC and I know the original path in /nix/store Can I use nix-store to restore the link (and register the the root)? Thanks, M. ___ nix-dev mailing list nix-dev@lists.science.uu.nl http://lists.science.uu.nl/mailman/listinfo/nix-dev
[Nix-commits] SVN commit: nix - r34260 - nixpkgs/trunk/pkgs/development/ocaml-modules/pcre
Author: maggesi
Date: Mon May 28 14:14:35 2012
New Revision: 34260
URL: https://nixos.org/websvn/nix/?rev=34260&sc=1
Log:
Fix hash change of ocaml-pcre sources
Modified:
nixpkgs/trunk/pkgs/development/ocaml-modules/pcre/default.nix
Modified: nixpkgs/trunk/pkgs/development/ocaml-modules/pcre/default.nix
==
--- nixpkgs/trunk/pkgs/development/ocaml-modules/pcre/default.nix Mon May
28 13:46:05 2012(r34259)
+++ nixpkgs/trunk/pkgs/development/ocaml-modules/pcre/default.nix Mon May
28 14:14:35 2012(r34260)
@@ -10,7 +10,7 @@
src = fetchurl {
url = "http://www.ocaml.info/ocaml_sources/pcre-ocaml-${version}.tar.gz";;
-sha256 =
"f1774028a4525d22d1f4cf4ce0121c99d85a75aed7a498c3e8ab0f5e39888e47";
+sha256 =
"33ec646d8f35770e90ec333b0d4910a88668be3d53c17f227428c82c5c3c3eb7";
};
buildInputs = [ocaml findlib];
___
nix-commits mailing list
nix-comm...@lists.science.uu.nl
http://lists.science.uu.nl/mailman/listinfo/nix-commits
[Nix-commits] SVN commit: nix - r34259 - configurations/trunk/misc/z77z
Author: maggesi
Date: Mon May 28 13:46:05 2012
New Revision: 34259
URL: https://nixos.org/websvn/nix/?rev=34259&sc=1
Log:
Update configuration of elio
Modified:
configurations/trunk/misc/z77z/elio.nix
Modified: configurations/trunk/misc/z77z/elio.nix
==
--- configurations/trunk/misc/z77z/elio.nix Mon May 28 11:14:19 2012
(r34258)
+++ configurations/trunk/misc/z77z/elio.nix Mon May 28 13:46:05 2012
(r34259)
@@ -2,6 +2,7 @@
let
hydrapkg =
/nix/store/v70gk4mjqkyp2l4k73pxrbixinvzzsxr-hydra-0.1pre1051-4ad8912;
+ #hydrapkg =
/nix/store/2a49h1zc3cydy97dyrv3ycfia087wwcy-hydra-0.1pre1058-fdf441a;
in
{
require = [
@@ -35,7 +36,9 @@
environment.systemPackages =
with pkgs;
[ emacs screen mosh
- mercurial darcs git fossil mtr
+ #emacsPackages.magit
+ #emacsPackages.ocamlMode
+ mercurial darcs gitFull fossil mtr
lynx links w3m
ocaml coq
pkgs.firefoxWrapper
@@ -45,7 +48,7 @@
services.hydra = {
enable = true;
hydra = hydrapkg;
-#hydraURL = https://elio.math.unifi.it/;
+hydraURL = "http://elio.math.unifi.it/";;
notificationSender = "magg...@math.unifi.it";
user = "hydra";
baseDir = "/home/hydra";
@@ -60,7 +63,7 @@
services.locate.period = "40 3 * * *";
services.openssh.enable = true;
- services.openafsClient.enable = true;
+ #services.openafsClient.enable = true;
services.openafsClient.cellName = "math.unifi.it";
services.postgresql.enable = true;
@@ -72,8 +75,8 @@
documentRoot = "/var/www";
#enableSSL = true;
-sslServerCert = "/root/ssl-secrets/elio.crt";
-sslServerKey = "/root/ssl-secrets/elio.key";
+#sslServerCert = "/root/ssl-secrets/elio.crt";
+#sslServerKey = "/root/ssl-secrets/elio.key";
enableUserDir = true;
@@ -83,18 +86,21 @@
];
extraConfig = ''
- #RewriteEngine on
- #RewriteRule ^/(.*) http://localhost:3000/$1 [P,L]
-'';
+ProxyPreserveHost on
+RewriteEngine on
+RewriteRule ^/(.*) http://localhost:3000/$1 [P,L]
+ '';
};
time.timeZone = "Europe/Rome";
- krb5.enable = true;
+ #krb5.enable = true;
krb5.defaultRealm = "MATH.UNIFI.IT";
krb5.kdc = "kerberos.math.unifi.it";
krb5.kerberosAdminServer = "kerberos.math.unifi.it";
+ nix.maxJobs = 1;
+
users.extraUsers =
[ { name = "maggesi";
description = "Marco Maggesi";
___
nix-commits mailing list
nix-comm...@lists.science.uu.nl
http://lists.science.uu.nl/mailman/listinfo/nix-commits
[Nix-commits] SVN commit: nix - r34177 - in configurations/trunk/misc/z77z: . modules
Author: maggesi
Date: Fri May 18 20:21:43 2012
New Revision: 34177
URL: https://nixos.org/websvn/nix/?rev=34177&sc=1
Log:
z77z configs: update release.nix and include missing files
Added:
configurations/trunk/misc/z77z/modules/
configurations/trunk/misc/z77z/modules/hydra.nix
Modified:
configurations/trunk/misc/z77z/build-releases
configurations/trunk/misc/z77z/release.nix
Modified: configurations/trunk/misc/z77z/build-releases
==
--- configurations/trunk/misc/z77z/build-releases Fri May 18 19:40:49
2012(r34176)
+++ configurations/trunk/misc/z77z/build-releases Fri May 18 20:21:43
2012(r34177)
@@ -1,4 +1,11 @@
#!/bin/sh
-nix-build -o neve-sys -A system -I
configuration=/etc/nixos/z77z/neve/configuration.nix release.nix --show-trace
-nix-build -o virtux-sys -A system -I configuration=/etc/nixos/z77z/virtux.nix
release.nix --show-trace
-nix-build -o dolly-sys -A system -I configuration=/etc/nixos/z77z/dolly.nix
release.nix --show-trace
\ No newline at end of file
+
+NIX_PATH=
+
+nix-build \
+ -o systems-result \
+ -I configuration=/etc/nixos/systems/elio.nix \
+ -I nixpkgs=/etc/nixos/nixpkgs/ \
+ -I nixos=/etc/nixos/nixos/ \
+ release.nix \
+ --show-trace
Added: configurations/trunk/misc/z77z/modules/hydra.nix
==
--- /dev/null 00:00:00 1970 (empty, because file is newly added)
+++ configurations/trunk/misc/z77z/modules/hydra.nixFri May 18 20:21:43
2012(r34177)
@@ -0,0 +1,228 @@
+{ config, pkgs, ... }:
+
+with pkgs.lib;
+
+let
+ cfg = config.services.hydra;
+
+ hydraConf = pkgs.writeScript "hydra.conf"
+''
+ using_frontend_proxy 1
+ base_uri ${cfg.hydraURL}
+ notification_sender ${cfg.notificationSender}
+ max_servers 25
+'';
+
+ env = ''export NIX_REMOTE=daemon ''
+ + ''HYDRA_DBI="${cfg.dbi}" ''
+ + ''HYDRA_CONFIG=${cfg.baseDir}/data/hydra.conf ''
+ + ''HYDRA_DATA=${cfg.baseDir}/data ''
+ + ''HYDRA_PORT="${toString cfg.port}" ''
+ + (if cfg.logo != null
+ then ''HYDRA_LOGO="${cfg.logo}" ''
+ else "")
+ + ''HYDRA_TRACKER="${cfg.tracker}" ;'';
+
+in
+
+{
+ ## interface
+ options = {
+services.hydra = rec {
+
+ enable = mkOption {
+default = false;
+description = ''
+ Whether to run Hydra services.
+'';
+ };
+
+ baseDir = mkOption {
+default = "/home/${user.default}";
+description = ''
+ The directory holding configuration, logs and temporary files.
+'';
+ };
+
+ user = mkOption {
+default = "hydra";
+description = ''
+ The user the Hydra services should run as.
+'';
+ };
+
+ dbi = mkOption {
+default = "dbi:Pg:dbname=hydra;host=localhost;user=root;";
+example = "dbi:SQLite:/home/hydra/db/hydra.sqlite";
+description = ''
+ The DBI string for Hydra database connection.
+'';
+ };
+
+ hydra = mkOption {
+#default = pkgs.hydra;
+description = ''
+ Location of hydra
+'';
+ };
+
+ hydraURL = mkOption {
+default = "http://hydra.nixos.org";;
+description = ''
+ The base URL for the Hydra webserver instance. Used for links in
emails.
+'';
+ };
+
+ port = mkOption {
+default = 3000;
+description = ''
+ TCP port the web server should listen to.
+'';
+ };
+
+ minimumDiskFree = mkOption {
+default = 5;
+description = ''
+ Threshold of minimum disk space (G) to determine if queue runner
should run or not.
+'';
+ };
+
+ minimumDiskFreeEvaluator = mkOption {
+default = 2;
+description = ''
+ Threshold of minimum disk space (G) to determine if evaluator should
run or not.
+'';
+ };
+
+ notificationSender = mkOption {
+default = "e.dols...@tudelft.nl";
+description = ''
+ Sender email address used for email notifications.
+'';
+ };
+
+ tracker = mkOption {
+default = "";
+description = ''
+ Piece of HTML that is included on all pages.
+'';
+ };
+
+ logo = mkOption {
+default = null;
+description = ''
+ File name of an alternate logo to be displayed on the web pages.
+'';
+ };
+
+ autoStart = mkOption {
+default = true;
+description = ''
+ If hydra upstart jobs should start automatically.
+'';
+ };
+
+};
+
+ };
+
+
+ ## implementation
+
+ config = mkIf cfg.enable {
+environment.systemPackages = [ cfg.hydra ];
+
+users.extraUsers = [
+ { name = cfg.user;
+description = "Hydra";
+
[Nix-commits] SVN commit: nix - r34173 - configurations/trunk/misc/z77z
Author: maggesi
Date: Fri May 18 19:13:31 2012
New Revision: 34173
URL: https://nixos.org/websvn/nix/?rev=34173&sc=1
Log:
Add configuration for elio.
Added:
configurations/trunk/misc/z77z/elio.nix
- copied, changed from r34140, configurations/trunk/misc/z77z/dolly.nix
Copied and modified: configurations/trunk/misc/z77z/elio.nix (from r34140,
configurations/trunk/misc/z77z/dolly.nix)
==
--- configurations/trunk/misc/z77z/dolly.nixWed May 16 20:30:44 2012
(r34140, copy source)
+++ configurations/trunk/misc/z77z/elio.nix Fri May 18 19:13:31 2012
(r34173)
@@ -1,14 +1,21 @@
{ config, pkgs, modulesPath, ... }:
+let
+ hydrapkg =
/nix/store/v70gk4mjqkyp2l4k73pxrbixinvzzsxr-hydra-0.1pre1051-4ad8912;
+in
{
- require = [ "${modulesPath}/virtualisation/xen-domU.nix" ];
+ require = [
+"${modulesPath}/virtualisation/xen-domU.nix"
+./modules/hydra.nix
+ ];
fileSystems = [ { mountPoint = "/"; label = "nixos"; } ];
swapDevices = [ { device = "/dev/xvda1"; } ];
networking = {
-hostName = "dolly";
-nameservers = [ "150.217.34.1" "150.217.34.211" ];
+hostName = "elio";
+domain = "math.unifi.it";
+nameservers = [ "150.217.34.129" "150.217.34.211" ];
defaultMailServer.directDelivery = true;
defaultMailServer.hostName = "mail.math.unifi.it";
@@ -16,7 +23,9 @@
interfaces =
[ { name = "eth0";
ipAddress = "150.217.34.130";
- subnetMask = "255.255.255.128"; } ];
+ subnetMask = "255.255.255.128";
+}
+ ];
defaultGateway = "150.217.34.129";
extraHosts = ''
150.217.33.145 neve
@@ -26,8 +35,26 @@
environment.systemPackages =
with pkgs;
[ emacs screen mosh
- mercurial darcs git fossil
- ocaml coq ];
+ mercurial darcs git fossil mtr
+ lynx links w3m
+ ocaml coq
+ pkgs.firefoxWrapper
+ pkgs.chromeWrapper
+];
+
+ services.hydra = {
+enable = true;
+hydra = hydrapkg;
+#hydraURL = https://elio.math.unifi.it/;
+notificationSender = "magg...@math.unifi.it";
+user = "hydra";
+baseDir = "/home/hydra";
+dbi = "dbi:Pg:dbname=hydra;host=localhost;user=hydra;";
+minimumDiskFree = 3;
+minimumDiskFreeEvaluator = 1;
+#tracker = "Dipartimento di Matematica Ulisse Dini";
+autoStart = true;
+ };
services.locate.enable = true;
services.locate.period = "40 3 * * *";
@@ -38,24 +65,28 @@
services.postgresql.enable = true;
- services.httpd =
-{ enable = true;
- hostName = "localhost";
- adminAddr = "magg...@math.unifi.it";
- documentRoot = "/var/www";
- enableUserDir = true;
- /*
- servedDirs =
-[ { dir = "/home/maggesi/Devel"; urlPath = "/devo"; }
- { dir = "/nix/store"; urlPath = "/store"; } ];
- extraModules =
-[ { name = "php5";
-path = "${pkgs.php}/modules/libphp5.so"; } ];
- extraConfig = ''
-ScriptAlias /cgi-bin/ /var/www/cgi-bin/
- '';
- */
-};
+ services.httpd = {
+enable = true;
+hostName = "elio.math.unifi.it";
+adminAddr = "magg...@math.unifi.it";
+documentRoot = "/var/www";
+
+#enableSSL = true;
+sslServerCert = "/root/ssl-secrets/elio.crt";
+sslServerKey = "/root/ssl-secrets/elio.key";
+
+enableUserDir = true;
+
+extraModules = [
+ Questi non servono, sono caricaty per default
+ # "rewrite" "proxy"
+];
+
+extraConfig = ''
+ #RewriteEngine on
+ #RewriteRule ^/(.*) http://localhost:3000/$1 [P,L]
+'';
+ };
time.timeZone = "Europe/Rome";
@@ -63,4 +94,15 @@
krb5.defaultRealm = "MATH.UNIFI.IT";
krb5.kdc = "kerberos.math.unifi.it";
krb5.kerberosAdminServer = "kerberos.math.unifi.it";
+
+ users.extraUsers =
+[ { name = "maggesi";
+description = "Marco Maggesi";
+home = "/home/maggesi";
+group = "users";
+extraGroups = [ "wheel" ];
+createHome = true;
+useDefaultShell = true;
+ }
+];
}
___
nix-commits mailing list
nix-comm...@lists.science.uu.nl
http://lists.science.uu.nl/mailman/listinfo/nix-commits
Re: [Nix-dev] Can't see the errror
Nevermind, I was able to isolate the error.
In short, configuraitonSrc must be a string.
Thanks,
M.
2012/5/18 Marco Maggesi :
> Hi,
>
> I'm trying to configure a jobset on my hydra system, but I get the
> following error
>
> at `system' [system = "i686-linux", nixosSrc = ..., nixpkgsSrc =
> ..., configurationSrc = ...]:
> user-thrown exception: Not defined.
>
> and I can't understand why.
>
> My release.nix is the following:
>
> [root@elio:/etc/nixos/systems]# cat release.nix
> { nixpkgsSrc ?
> , nixosSrc ?
> , configurationSrc ?
> , system ? "i686-linux"
> }:
>
> let
> pkgs = import nixpkgsSrc { inherit system; };
> eval = import (nixosSrc + "/lib/eval-config.nix")
> { inherit pkgs system;
> modules = [ configurationSrc ];
> };
> in
> {
> system = eval.config.system.build.toplevel;
> }
>
> I manually tested this expression with the following script:
>
> [root@elio:/etc/nixos/systems]# cat build-elio
> #!/bin/sh
>
> NIX_PATH=
>
> exec nix-build \
> -o elio-sys \
> -A system \
> -I configuration=/etc/nixos/systems/elio.nix \
> -I nixpkgs=/etc/nixos/nixpkgs/ \
> -I nixos=/etc/nixos/nixos/ \
> release.nix \
> --show-trace
>
> And I configured the jobset accordingly as follows:
> Input name Type Values
> configurationSrc Local path /etc/nixos/systems/elio.nix
> nixosSrc Local path /etc/nixos/nixos/
> nixpkgsSrc Local path /etc/nixos/nixpkgs/
> system String value "i686-linux"
> systems Local path /etc/nixos/systems/
>
> I would expect that my script would be equivalent to the hydra invocation.
> I suspect that I mixing paths and import expressions but I after many
> attempts I was not able to find the right combination.
>
> Can you help my to debug this.
> Thanks in advance,
> Marco
___
nix-dev mailing list
nix-dev@lists.science.uu.nl
http://lists.science.uu.nl/mailman/listinfo/nix-dev
[Nix-dev] Can't see the errror
Hi,
I'm trying to configure a jobset on my hydra system, but I get the
following error
at `system' [system = "i686-linux", nixosSrc = ..., nixpkgsSrc =
..., configurationSrc = ...]:
user-thrown exception: Not defined.
and I can't understand why.
My release.nix is the following:
[root@elio:/etc/nixos/systems]# cat release.nix
{ nixpkgsSrc ?
, nixosSrc ?
, configurationSrc ?
, system ? "i686-linux"
}:
let
pkgs = import nixpkgsSrc { inherit system; };
eval = import (nixosSrc + "/lib/eval-config.nix")
{ inherit pkgs system;
modules = [ configurationSrc ];
};
in
{
system = eval.config.system.build.toplevel;
}
I manually tested this expression with the following script:
[root@elio:/etc/nixos/systems]# cat build-elio
#!/bin/sh
NIX_PATH=
exec nix-build \
-o elio-sys \
-A system \
-I configuration=/etc/nixos/systems/elio.nix \
-I nixpkgs=/etc/nixos/nixpkgs/ \
-I nixos=/etc/nixos/nixos/ \
release.nix \
--show-trace
And I configured the jobset accordingly as follows:
Input name TypeValues
configurationSrc Local path /etc/nixos/systems/elio.nix
nixosSrc Local path /etc/nixos/nixos/
nixpkgsSrc Local path /etc/nixos/nixpkgs/
system String value"i686-linux"
systems Local path /etc/nixos/systems/
I would expect that my script would be equivalent to the hydra invocation.
I suspect that I mixing paths and import expressions but I after many
attempts I was not able to find the right combination.
Can you help my to debug this.
Thanks in advance,
Marco
___
nix-dev mailing list
nix-dev@lists.science.uu.nl
http://lists.science.uu.nl/mailman/listinfo/nix-dev
Re: [Nix-dev] xen host
Ok, thank you for your clarification.
I will make an attempt to get xen working with 3.x.x kernels on nixos.
M.
2012/5/17 Eelco Dolstra :
> Hi,
>
> On 17/05/12 10:10, Marco Maggesi wrote:
>
>> My understanding was that Xen were actively employed by the Xen
>> developers, at least at a give time in the past
>> Is it still true?
>
> I guess you mean "by the NixOS developers". We did run a Xen machine until
> recently ("mrhankey" if you're looking for the config). However, I stopped
> using Xen because libvirt + QEMU/KVM is, IMHO, simpler and works just as well.
> ("Simpler" because a KVM VM is just a normal user process, and you don't need
> to
> run a non-default kernel on the host.) Example machine:
>
> https://nixos.org/repos/nix/configurations/trunk/tud/stan.nix
>
> It would be great to have Xen working again, though. From what I understand,
> Linux 3.0 and higher can run as Dom0, so you can probably get rid of the
> 2.6.32-xen kernel. The kernel will probably need some configuration options
> to
> enable Dom0 support though.
___
nix-dev mailing list
nix-dev@lists.science.uu.nl
http://lists.science.uu.nl/mailman/listinfo/nix-dev
[Nix-dev] xen host
Hi, I was already able to successfully build and deploy a Nixos Xen guest after some attempts. Now I'm trying to install a Xen server with NixOS. The Xen kernel in nixpkgs doesn't build at the present time (http://hydra.nixos.org/job/nixpkgs/trunk/linux_2_6_32_xen) Also I was not able to find examples of xen host configurations in svn. My understanding was that Xen were actively employed by the Xen developers, at least at a give time in the past Is it still true? Which are the "preferred" virtualization mechanism utilized by you guys? (If any). Thanks, Marco ___ nix-dev mailing list nix-dev@lists.science.uu.nl http://lists.science.uu.nl/mailman/listinfo/nix-dev
[Nix-commits] SVN commit: nix - r34140 - configurations/trunk/misc/z77z
Author: maggesi
Date: Wed May 16 20:30:44 2012
New Revision: 34140
URL: https://nixos.org/websvn/nix/?rev=34140&sc=1
Log:
Changed swap device for dolly
Modified:
configurations/trunk/misc/z77z/dolly.nix
Modified: configurations/trunk/misc/z77z/dolly.nix
==
--- configurations/trunk/misc/z77z/dolly.nixWed May 16 20:04:56 2012
(r34139)
+++ configurations/trunk/misc/z77z/dolly.nixWed May 16 20:30:44 2012
(r34140)
@@ -4,7 +4,7 @@
require = [ "${modulesPath}/virtualisation/xen-domU.nix" ];
fileSystems = [ { mountPoint = "/"; label = "nixos"; } ];
- swapDevices = [ { device = "/dev/xvdb1"; } ];
+ swapDevices = [ { device = "/dev/xvda1"; } ];
networking = {
hostName = "dolly";
___
nix-commits mailing list
nix-comm...@lists.science.uu.nl
http://lists.science.uu.nl/mailman/listinfo/nix-commits
[Nix-commits] SVN commit: nix - r34134 - nixpkgs/trunk/pkgs/os-specific/linux/blcr
Author: maggesi
Date: Wed May 16 08:44:20 2012
New Revision: 34134
URL: https://nixos.org/websvn/nix/?rev=34134&sc=1
Log:
BLCR fix arsert to include kernel versions 2.6.38.x
Modified:
nixpkgs/trunk/pkgs/os-specific/linux/blcr/default.nix
Modified: nixpkgs/trunk/pkgs/os-specific/linux/blcr/default.nix
==
--- nixpkgs/trunk/pkgs/os-specific/linux/blcr/default.nix Wed May 16
00:03:44 2012(r34133)
+++ nixpkgs/trunk/pkgs/os-specific/linux/blcr/default.nix Wed May 16
08:44:20 2012(r34134)
@@ -1,6 +1,8 @@
{ stdenv, fetchurl, kernel, perl, makeWrapper }:
-assert stdenv.isLinux && builtins.compareVersions kernel.version "2.6.38" != 1;
+# BLCR 0.8.4 works for kernel version up to 2.6.38 (including 2.6.38.x)
+assert stdenv.isLinux;
+assert builtins.compareVersions "2.6.39" kernel.version == 1;
stdenv.mkDerivation {
name = "blcr-0.8.4-${kernel.version}";
___
nix-commits mailing list
nix-comm...@lists.science.uu.nl
http://lists.science.uu.nl/mailman/listinfo/nix-commits
[Nix-commits] SVN commit: nix - r34126 - configurations/trunk/misc/z77z
Author: maggesi
Date: Tue May 15 21:17:53 2012
New Revision: 34126
URL: https://nixos.org/websvn/nix/?rev=34126&sc=1
Log:
Add a simple script to generate my system configurations
Added:
configurations/trunk/misc/z77z/build-releases (contents, props changed)
configurations/trunk/misc/z77z/release.nix
Added: configurations/trunk/misc/z77z/build-releases
==
--- /dev/null 00:00:00 1970 (empty, because file is newly added)
+++ configurations/trunk/misc/z77z/build-releases Tue May 15 21:17:53
2012(r34126)
@@ -0,0 +1,4 @@
+#!/bin/sh
+nix-build -o neve-sys -A system -I
configuration=/etc/nixos/z77z/neve/configuration.nix release.nix --show-trace
+nix-build -o virtux-sys -A system -I configuration=/etc/nixos/z77z/virtux.nix
release.nix --show-trace
+nix-build -o dolly-sys -A system -I configuration=/etc/nixos/z77z/dolly.nix
release.nix --show-trace
\ No newline at end of file
Added: configurations/trunk/misc/z77z/release.nix
==
--- /dev/null 00:00:00 1970 (empty, because file is newly added)
+++ configurations/trunk/misc/z77z/release.nix Tue May 15 21:17:53 2012
(r34126)
@@ -0,0 +1,14 @@
+{ nixpkgs ?
+, nixos ?
+, configuration ?
+}:
+
+let
+ pkgs = import nixpkgs { };
+ eval = import (nixos + "/lib/eval-config.nix") {
+inherit pkgs;
+modules = [ configuration ];
+ };
+in {
+ system = eval.config.system.build.toplevel;
+}
\ No newline at end of file
___
nix-commits mailing list
nix-comm...@lists.science.uu.nl
http://lists.science.uu.nl/mailman/listinfo/nix-commits
[Nix-commits] SVN commit: nix - r34123 - configurations/trunk/misc/z77z
Author: maggesi
Date: Tue May 15 21:04:19 2012
New Revision: 34123
URL: https://nixos.org/websvn/nix/?rev=34123&sc=1
Log:
Move to kernel 2.6.35 on virtux
Modified:
configurations/trunk/misc/z77z/virtux.nix
Modified: configurations/trunk/misc/z77z/virtux.nix
==
--- configurations/trunk/misc/z77z/virtux.nix Tue May 15 20:59:29 2012
(r34122)
+++ configurations/trunk/misc/z77z/virtux.nix Tue May 15 21:04:19 2012
(r34123)
@@ -23,7 +23,7 @@
loader.grub.device = "/dev/sda";
initrd.kernelModules = [ "ata_piix" "fuse" ];
initrd.enableSplashScreen = false;
-#kernelPackages = pkgs.linuxPackages_2_6_32; # For BLCR
+kernelPackages = pkgs.linuxPackages_2_6_35; # For BLCR
};
fileSystems = [ { label = "nixos"; mountPoint = "/"; } ];
___
nix-commits mailing list
nix-comm...@lists.science.uu.nl
http://lists.science.uu.nl/mailman/listinfo/nix-commits
[Nix-commits] SVN commit: nix - r34122 - configurations/trunk/misc/z77z
Author: maggesi
Date: Tue May 15 20:59:29 2012
New Revision: 34122
URL: https://nixos.org/websvn/nix/?rev=34122&sc=1
Log:
Enable krb5 and openafs on dolly
Modified:
configurations/trunk/misc/z77z/dolly.nix
Modified: configurations/trunk/misc/z77z/dolly.nix
==
--- configurations/trunk/misc/z77z/dolly.nixTue May 15 20:48:44 2012
(r34121)
+++ configurations/trunk/misc/z77z/dolly.nixTue May 15 20:59:29 2012
(r34122)
@@ -4,21 +4,24 @@
require = [ "${modulesPath}/virtualisation/xen-domU.nix" ];
fileSystems = [ { mountPoint = "/"; label = "nixos"; } ];
-
- networking =
-{ hostName = "dolly";
- nameservers = [ "150.217.34.1" "150.217.34.211" ];
- defaultMailServer.directDelivery = true;
- defaultMailServer.hostName = "mail.math.unifi.it";
+ swapDevices = [ { device = "/dev/xvdb1"; } ];
+
+ networking = {
+hostName = "dolly";
+nameservers = [ "150.217.34.1" "150.217.34.211" ];
+defaultMailServer.directDelivery = true;
+defaultMailServer.hostName = "mail.math.unifi.it";
- useDHCP = false;
- interfaces =
-[ { name = "eth0";
-ipAddress = "150.217.34.130";
-subnetMask = "255.255.255.128";
-} ];
- defaultGateway = "150.217.34.129";
-};
+useDHCP = false;
+interfaces =
+ [ { name = "eth0";
+ ipAddress = "150.217.34.130";
+ subnetMask = "255.255.255.128"; } ];
+defaultGateway = "150.217.34.129";
+extraHosts = ''
+ 150.217.33.145 neve
+'';
+ };
environment.systemPackages =
with pkgs;
@@ -30,7 +33,7 @@
services.locate.period = "40 3 * * *";
services.openssh.enable = true;
- services.openafsClient.enable = false;
+ services.openafsClient.enable = true;
services.openafsClient.cellName = "math.unifi.it";
services.postgresql.enable = true;
@@ -56,7 +59,7 @@
time.timeZone = "Europe/Rome";
- krb5.enable = false;
+ krb5.enable = true;
krb5.defaultRealm = "MATH.UNIFI.IT";
krb5.kdc = "kerberos.math.unifi.it";
krb5.kerberosAdminServer = "kerberos.math.unifi.it";
___
nix-commits mailing list
nix-comm...@lists.science.uu.nl
http://lists.science.uu.nl/mailman/listinfo/nix-commits
[Nix-commits] SVN commit: nix - r34118 - nixpkgs/trunk/pkgs/servers/openafs-client
Author: maggesi
Date: Tue May 15 19:36:39 2012
New Revision: 34118
URL: https://nixos.org/websvn/nix/?rev=34118&sc=1
Log:
Fix openafs hash
Modified:
nixpkgs/trunk/pkgs/servers/openafs-client/default.nix
Modified: nixpkgs/trunk/pkgs/servers/openafs-client/default.nix
==
--- nixpkgs/trunk/pkgs/servers/openafs-client/default.nix Tue May 15
17:57:50 2012(r34117)
+++ nixpkgs/trunk/pkgs/servers/openafs-client/default.nix Tue May 15
19:36:39 2012(r34118)
@@ -8,7 +8,7 @@
src = fetchurl {
url = http://www.openafs.org/dl/openafs/1.6.1/openafs-1.6.1-src.tar.bz2;
-sha256 = "1rj40qp30hswr08p69jigya78ggbn4dc7qnnw2sfjpv52ywa68p7";
+sha256 = "1c7mid0dwl2x0sikr70bi5cs881y6pa4dfwkdmr3jscvx3wgfpnh";
};
buildInputs = [ autoconf automake flex yacc ncurses perl which ];
___
nix-commits mailing list
nix-comm...@lists.science.uu.nl
http://lists.science.uu.nl/mailman/listinfo/nix-commits
[Nix-commits] SVN commit: nix - r34115 - nixpkgs/trunk/pkgs/servers/openafs-client
Author: maggesi
Date: Tue May 15 17:31:53 2012
New Revision: 34115
URL: https://nixos.org/websvn/nix/?rev=34115&sc=1
Log:
Blind attempt to update OpenAFS to version 1.6.1
Modified:
nixpkgs/trunk/pkgs/servers/openafs-client/default.nix
Modified: nixpkgs/trunk/pkgs/servers/openafs-client/default.nix
==
--- nixpkgs/trunk/pkgs/servers/openafs-client/default.nix Tue May 15
16:34:07 2012(r34114)
+++ nixpkgs/trunk/pkgs/servers/openafs-client/default.nix Tue May 15
17:31:53 2012(r34115)
@@ -4,10 +4,10 @@
assert stdenv.isLinux;
stdenv.mkDerivation {
- name = "openafs-1.6.0-${kernel.version}";
+ name = "openafs-1.6.1-${kernel.version}";
src = fetchurl {
-url = http://www.openafs.org/dl/openafs/1.6.0/openafs-1.6.0-src.tar.bz2;
+url = http://www.openafs.org/dl/openafs/1.6.1/openafs-1.6.1-src.tar.bz2;
sha256 = "1rj40qp30hswr08p69jigya78ggbn4dc7qnnw2sfjpv52ywa68p7";
};
___
nix-commits mailing list
nix-comm...@lists.science.uu.nl
http://lists.science.uu.nl/mailman/listinfo/nix-commits
[Nix-commits] SVN commit: nix - r34101 - configurations/trunk/misc/z77z
Author: maggesi
Date: Tue May 15 10:06:27 2012
New Revision: 34101
URL: https://nixos.org/websvn/nix/?rev=34101&sc=1
Log:
Reformatting dolly config
Modified:
configurations/trunk/misc/z77z/dolly.nix
Modified: configurations/trunk/misc/z77z/dolly.nix
==
--- configurations/trunk/misc/z77z/dolly.nixTue May 15 06:52:38 2012
(r34100)
+++ configurations/trunk/misc/z77z/dolly.nixTue May 15 10:06:27 2012
(r34101)
@@ -3,64 +3,51 @@
{
require = [ "${modulesPath}/virtualisation/xen-domU.nix" ];
- fileSystems =
-[ { mountPoint = "/";
-label = "nixos";
- }
-];
-
- networking = {
-hostName = "dolly";
-nameservers = [ "150.217.34.1" "150.217.34.211" ];
-defaultMailServer.directDelivery = true;
-defaultMailServer.hostName = "mail.math.unifi.it";
-
-useDHCP = false;
-interfaces = [ {
- name = "eth0";
- ipAddress = "150.217.34.130";
- subnetMask = "255.255.255.128";
-} ];
-defaultGateway = "150.217.34.129";
-
- };
-
- environment = {
-systemPackages = with pkgs; [
- emacs screen mosh
+ fileSystems = [ { mountPoint = "/"; label = "nixos"; } ];
+
+ networking =
+{ hostName = "dolly";
+ nameservers = [ "150.217.34.1" "150.217.34.211" ];
+ defaultMailServer.directDelivery = true;
+ defaultMailServer.hostName = "mail.math.unifi.it";
+
+ useDHCP = false;
+ interfaces =
+[ { name = "eth0";
+ipAddress = "150.217.34.130";
+subnetMask = "255.255.255.128";
+} ];
+ defaultGateway = "150.217.34.129";
+};
+
+ environment.systemPackages =
+with pkgs;
+[ emacs screen mosh
mercurial darcs git fossil
- ocaml
- coq
-];
- };
+ ocaml coq ];
services.locate.enable = true;
services.locate.period = "40 3 * * *";
services.openssh.enable = true;
+ services.openafsClient.enable = false;
+ services.openafsClient.cellName = "math.unifi.it";
-
-
- services.openafsClient = {
- enable = false;
- cellName = "math.unifi.it";
-};
services.postgresql.enable = true;
- services.httpd = {
- enable = true;
+ services.httpd =
+{ enable = true;
hostName = "localhost";
adminAddr = "magg...@math.unifi.it";
documentRoot = "/var/www";
enableUserDir = true;
/*
- servedDirs = [
-{ dir = "/home/maggesi/Devel"; urlPath = "/devo"; }
-{ dir = "/nix/store"; urlPath = "/store"; }
- ];
- extraModules = [
-{ name = "php5"; path = "${pkgs.php}/modules/libphp5.so"; }
- ];
+ servedDirs =
+[ { dir = "/home/maggesi/Devel"; urlPath = "/devo"; }
+ { dir = "/nix/store"; urlPath = "/store"; } ];
+ extraModules =
+[ { name = "php5";
+path = "${pkgs.php}/modules/libphp5.so"; } ];
extraConfig = ''
ScriptAlias /cgi-bin/ /var/www/cgi-bin/
'';
@@ -73,6 +60,4 @@
krb5.defaultRealm = "MATH.UNIFI.IT";
krb5.kdc = "kerberos.math.unifi.it";
krb5.kerberosAdminServer = "kerberos.math.unifi.it";
-
-
}
___
nix-commits mailing list
nix-comm...@lists.science.uu.nl
http://lists.science.uu.nl/mailman/listinfo/nix-commits
[Nix-commits] SVN commit: nix - r34100 - nixpkgs/trunk/pkgs/os-specific/linux/blcr
Author: maggesi
Date: Tue May 15 06:52:38 2012
New Revision: 34100
URL: https://nixos.org/websvn/nix/?rev=34100&sc=1
Log:
Typo
Modified:
nixpkgs/trunk/pkgs/os-specific/linux/blcr/default.nix
Modified: nixpkgs/trunk/pkgs/os-specific/linux/blcr/default.nix
==
--- nixpkgs/trunk/pkgs/os-specific/linux/blcr/default.nix Tue May 15
06:30:58 2012(r34099)
+++ nixpkgs/trunk/pkgs/os-specific/linux/blcr/default.nix Tue May 15
06:52:38 2012(r34100)
@@ -1,6 +1,6 @@
{ stdenv, fetchurl, kernel, perl, makeWrapper }:
-assert stdenv.isLinux && builtins.compareVersion kernel.version "2.6.38" != 1;
+assert stdenv.isLinux && builtins.compareVersions kernel.version "2.6.38" != 1;
stdenv.mkDerivation {
name = "blcr-0.8.4-${kernel.version}";
___
nix-commits mailing list
nix-comm...@lists.science.uu.nl
http://lists.science.uu.nl/mailman/listinfo/nix-commits
[Nix-commits] SVN commit: nix - r34099 - nixpkgs/trunk/pkgs/top-level
Author: maggesi
Date: Tue May 15 06:30:58 2012
New Revision: 34099
URL: https://nixos.org/websvn/nix/?rev=34099&sc=1
Log:
Removed dead code
Modified:
nixpkgs/trunk/pkgs/top-level/all-packages.nix
Modified: nixpkgs/trunk/pkgs/top-level/all-packages.nix
==
--- nixpkgs/trunk/pkgs/top-level/all-packages.nix Tue May 15 06:28:14
2012(r34098)
+++ nixpkgs/trunk/pkgs/top-level/all-packages.nix Tue May 15 06:30:58
2012(r34099)
@@ -5675,9 +5675,7 @@
callPackage ../os-specific/linux/aufs-util/3.nix { }
else null;
-blcr = callPackage ../os-specific/linux/blcr {
- #libtool = libtool_1_5; # libtool 2 causes a fork bomb
-};
+blcr = callPackage ../os-specific/linux/blcr { };
e1000e = callPackage ../os-specific/linux/e1000e {};
___
nix-commits mailing list
nix-comm...@lists.science.uu.nl
http://lists.science.uu.nl/mailman/listinfo/nix-commits
[Nix-commits] SVN commit: nix - r34098 - nixpkgs/trunk/pkgs/os-specific/linux/blcr
Author: maggesi
Date: Tue May 15 06:28:14 2012
New Revision: 34098
URL: https://nixos.org/websvn/nix/?rev=34098&sc=1
Log:
Add assertion: BLCR do not build on recent kernels
Modified:
nixpkgs/trunk/pkgs/os-specific/linux/blcr/default.nix
Modified: nixpkgs/trunk/pkgs/os-specific/linux/blcr/default.nix
==
--- nixpkgs/trunk/pkgs/os-specific/linux/blcr/default.nix Tue May 15
02:49:47 2012(r34097)
+++ nixpkgs/trunk/pkgs/os-specific/linux/blcr/default.nix Tue May 15
06:28:14 2012(r34098)
@@ -1,6 +1,6 @@
{ stdenv, fetchurl, kernel, perl, makeWrapper }:
-assert stdenv.isLinux;
+assert stdenv.isLinux && builtins.compareVersion kernel.version "2.6.38" != 1;
stdenv.mkDerivation {
name = "blcr-0.8.4-${kernel.version}";
___
nix-commits mailing list
nix-comm...@lists.science.uu.nl
http://lists.science.uu.nl/mailman/listinfo/nix-commits
[Nix-commits] SVN commit: nix - r34092 - configurations/trunk/misc/z77z
Author: maggesi
Date: Mon May 14 21:00:57 2012
New Revision: 34092
URL: https://nixos.org/websvn/nix/?rev=34092&sc=1
Log:
Update configuration of dolly
Modified:
configurations/trunk/misc/z77z/dolly.nix
Modified: configurations/trunk/misc/z77z/dolly.nix
==
--- configurations/trunk/misc/z77z/dolly.nixMon May 14 20:55:38 2012
(r34091)
+++ configurations/trunk/misc/z77z/dolly.nixMon May 14 21:00:57 2012
(r34092)
@@ -26,13 +26,53 @@
};
environment = {
-systemPackages = [
- pkgs.emacs
- pkgs.screen
- pkgs.mosh
+systemPackages = with pkgs; [
+ emacs screen mosh
+ mercurial darcs git fossil
+ ocaml
+ coq
];
};
-services.openssh.enable = true;
+ services.locate.enable = true;
+ services.locate.period = "40 3 * * *";
+ services.openssh.enable = true;
+
+
+
+
+ services.openafsClient = {
+ enable = false;
+ cellName = "math.unifi.it";
+};
+ services.postgresql.enable = true;
+
+ services.httpd = {
+ enable = true;
+ hostName = "localhost";
+ adminAddr = "magg...@math.unifi.it";
+ documentRoot = "/var/www";
+ enableUserDir = true;
+ /*
+ servedDirs = [
+{ dir = "/home/maggesi/Devel"; urlPath = "/devo"; }
+{ dir = "/nix/store"; urlPath = "/store"; }
+ ];
+ extraModules = [
+{ name = "php5"; path = "${pkgs.php}/modules/libphp5.so"; }
+ ];
+ extraConfig = ''
+ScriptAlias /cgi-bin/ /var/www/cgi-bin/
+ '';
+ */
+};
+
+ time.timeZone = "Europe/Rome";
+
+ krb5.enable = false;
+ krb5.defaultRealm = "MATH.UNIFI.IT";
+ krb5.kdc = "kerberos.math.unifi.it";
+ krb5.kerberosAdminServer = "kerberos.math.unifi.it";
+
}
___
nix-commits mailing list
nix-comm...@lists.science.uu.nl
http://lists.science.uu.nl/mailman/listinfo/nix-commits
[Nix-commits] SVN commit: nix - r34091 - configurations/trunk/misc/z77z/neve
Author: maggesi
Date: Mon May 14 20:55:38 2012
New Revision: 34091
URL: https://nixos.org/websvn/nix/?rev=34091&sc=1
Log:
Add configuration for neve
Added:
configurations/trunk/misc/z77z/neve/
configurations/trunk/misc/z77z/neve/configuration.nix
Added: configurations/trunk/misc/z77z/neve/configuration.nix
==
--- /dev/null 00:00:00 1970 (empty, because file is newly added)
+++ configurations/trunk/misc/z77z/neve/configuration.nix Mon May 14
20:55:38 2012(r34091)
@@ -0,0 +1,192 @@
+### ===
+### Configuration file for "neve" ("nix" in italian ;-) (PC desktop).
+### ===
+
+{ pkgs, config, ...}:
+
+let
+ texLivePaths = with pkgs; [
+texLive texLiveExtra texLiveCMSuper
+texLiveBeamer lmodern texLiveContext
+ ];
+ myTexLive = pkgs.texLiveAggregationFun { paths = texLivePaths; };
+in
+{
+ boot = {
+loader.grub.enable = true;
+loader.grub.device = "/dev/sdb3";
+#initrd.kernelModules = [];
+kernelPackages = pkgs.linuxPackages_2_6_35;
+#kernelPackages = pkgs.linuxPackages_2_6_32_xen;
+initrd.enableSplashScreen = false;
+ };
+
+ fileSystems = [
+{ label = "nixos"; mountPoint = "/"; }
+{ device = "/dev/sdb1"; mountPoint = "/mnt/ubuntu"; }
+{ device = "/dev/sda1"; mountPoint = "/mnt/windows"; }
+ ];
+
+ swapDevices = [ { label = "swap"; } ];
+
+ networking = {
+hostName = "neve";
+nameservers = [ "150.217.33.11" "150.217.1.32" ];
+defaultMailServer.directDelivery = true;
+defaultMailServer.hostName = "mail.math.unifi.it";
+/*
+useDHCP = false;
+interfaces = [ {
+ name = "eth0";
+ ipAddress = "150.217.33.145";
+ subnetMask = "255.255.255.0";
+} ];
+defaultGateway = "150.217.33.1";
+*/
+ };
+
+ environment = {
+systemPackages = [
+ pkgs.emacs
+ pkgs.firefoxWrapper
+ pkgs.chromeWrapper
+ pkgs.mc
+ pkgs.screen
+ pkgs.subversion
+ pkgs.texmacs
+ myTexLive
+
+ pkgs.gnumake
+ pkgs.diffutils
+ pkgs.file
+ pkgs.manpages
+ pkgs.patch
+ pkgs.which
+
+ # Science/logic
+ pkgs.coq
+ pkgs.cvc3
+ pkgs.eprover
+ pkgs.hol
+ pkgs.hol_light
+ pkgs.iprover
+ pkgs.isabelle
+ pkgs.leo2
+ pkgs.matita
+ pkgs.minisat
+ pkgs.opensmt
+ pkgs.prover9
+ pkgs.satallax
+ pkgs.spass
+
+ # Science/math
+ #pkgs.content
+ pkgs.maxima
+ pkgs.pari
+ #pkgs.scilab
+ pkgs.singular
+ pkgs.wxmaxima
+ pkgs.yacas
+
+ # OCaml
+ pkgs.ocamlPackages_3_12_1.ocaml
+ pkgs.ocamlPackages_3_12_1.findlib
+ pkgs.ocamlPackages_3_12_1.ounit
+ pkgs.ocamlPackages_3_12_1.camlp5_strict
+];
+
+/*
+kdePackages = with pkgs.kde4; [
+ kdeadmin kdeartwork kdebindings kdeedu kdegraphics kdemultimedia
+ kdenetwork kdepim
+ kdeplasma_addons kdetoys kdeutils
+];
+*/
+
+blcr = {
+ enable = true;
+ autorun = true;
+};
+
+ };
+
+ nix = {
+maxJobs = 3;
+
+extraOptions = ''
+ gc-keep-outputs = true
+ gc-keep-derivations = true
+'';
+
+useChroot = false;
+ };
+
+ nixpkgs.config = {
+git.guiSupport = true;
+git.svnSupport = true;
+subversion.perlBindings = true;
+firefox = {
+ enableRealPlayer = true;
+ jre = true;
+};
+ };
+
+ powerManagement.enable = true;
+
+ services = {
+acpid.enable = true;
+openssh.enable = true;
+# atd.enable = false;
+
+locate.enable = true;
+locate.period = "40 3 * * *";
+
+gpm.enable = true;
+printing.enable = true; # http://localhost:631/ per configurare.
+
+xserver = {
+ enable = true;
+ exportConfiguration = true;
+ #desktopManager.default = "kde4";
+ desktopManager.default = "xfce";
+ desktopManager.kde4.enable = true;
+ desktopManager.xfce.enable = true;
+ driSupport = true;
+};
+
+openafsClient = {
+ enable = true;
+ cellName = "math.unifi.it";
+};
+
+ttyBackgrounds.enable = false;
+ };
+
+ security.setuidPrograms = [
+"reboot"
+"halt"
+ ];
+ time.timeZone = "Europe/Rome";
+
+ krb5 = {
+enable = true;
+defaultRealm = "MATH.UNIFI.IT";
+kdc = "kerberos.math.unifi.it";
+kerberosAdminServer = "kerberos.math.unifi.it";
+ };
+
+ users.extraUsers = [
+{
+ name = "maggesi";
+ description = "Marco Maggesi";
+ home = "/home/maggesi&q
[Nix-commits] SVN commit: nix - r34089 - configurations/trunk/misc/z77z
Author: maggesi
Date: Mon May 14 16:41:57 2012
New Revision: 34089
URL: https://nixos.org/websvn/nix/?rev=34089&sc=1
Log:
Add configuration for dolly
Added:
configurations/trunk/misc/z77z/dolly.nix
Added: configurations/trunk/misc/z77z/dolly.nix
==
--- /dev/null 00:00:00 1970 (empty, because file is newly added)
+++ configurations/trunk/misc/z77z/dolly.nixMon May 14 16:41:57 2012
(r34089)
@@ -0,0 +1,38 @@
+{ config, pkgs, modulesPath, ... }:
+
+{
+ require = [ "${modulesPath}/virtualisation/xen-domU.nix" ];
+
+ fileSystems =
+[ { mountPoint = "/";
+label = "nixos";
+ }
+];
+
+ networking = {
+hostName = "dolly";
+nameservers = [ "150.217.34.1" "150.217.34.211" ];
+defaultMailServer.directDelivery = true;
+defaultMailServer.hostName = "mail.math.unifi.it";
+
+useDHCP = false;
+interfaces = [ {
+ name = "eth0";
+ ipAddress = "150.217.34.130";
+ subnetMask = "255.255.255.128";
+} ];
+defaultGateway = "150.217.34.129";
+
+ };
+
+ environment = {
+systemPackages = [
+ pkgs.emacs
+ pkgs.screen
+ pkgs.mosh
+];
+ };
+
+services.openssh.enable = true;
+
+}
___
nix-commits mailing list
nix-comm...@lists.science.uu.nl
http://lists.science.uu.nl/mailman/listinfo/nix-commits
[Nix-dev] nixos-install
Hi, I'm trying to build a xen guest image with nixos. The command nixos-install fails with the following message error: selector `nixos' matches no derivations The source of the problem is the following command found in the script nixos-install srcs=$(nix-env -p /nix/var/nix/profiles/per-user/root/channels -q nixos --no-name --out-path) The directory /nix/var/nix/profiles/per-user/root is empty on my system. What is wrong? Thank you for your help, Marco ___ nix-dev mailing list nix-dev@lists.science.uu.nl http://lists.science.uu.nl/mailman/listinfo/nix-dev
Re: [Nix-dev] xen nixos guest on a debian host
Hi, for the problem on the xen host, i found this explanation from https://bbs.archlinux.org/viewtopic.php?id=119341 '' I had the exact same problem when trying to compile a 2.6.28 vanilla kernel with gcc 4.6. The problem is that gcc 4.6 doesn't support anymore linker-style architecture options. Apply the following changes to solve the problem: In arch/x86/vdso/Makefile : replace "-m elf_x86_64" by "-m64" on the line starting with VDSO_LDFLAGS_vdso.lds replace "-m elf_x86" by "-m32" on the line starting with VDSO_LDFLAGS_vdso32.lds '' Can someone can take care of this? I would be happy to produce a patch myself for this, but I'm lost in the details of the kernel deployment. For a start, how this tarball http://nixos.org/tarballs/linux-2.6.32.24-xen-179eca5.tar.bz2 is produced? It is taken from somewhere in the web or it is made specifically for nixos? Should I provide a patch for this? By the way, are there a specific kernel version that you would suggest for running a xen host? Thank you, Marco 2012/5/3 Marco Maggesi : > Hello, > > I'm trying to use xen on nixos. > I have two problems one for the host, one for the guest: > > For the host: I have a 32 bit machine. When I try to install a nixos > xen host I get the following error during nixos-rebuild > > [pbuilding arch/x86/vdso/vdso32/vdso32.lds > LDS arch/x86/vdso/vdso32/vdso32.lds > [q [pbuilding arch/x86/vdso/vdso32/note.o > AS arch/x86/vdso/vdso32/note.o > [q [pbuilding arch/x86/vdso/vdso32/int80.o > AS arch/x86/vdso/vdso32/int80.o > [q [pbuilding arch/x86/vdso/vdso32-int80.so.dbg > VDSO arch/x86/vdso/vdso32-int80.so.dbg > gcc: error: elf_i386: No such file or directory > make[2]: *** [arch/x86/vdso/vdso32-int80.so.dbg] Error 1 > [qmake[1]: *** [arch/x86/vdso] Error 2 > [qmake: *** [arch/x86] Error 2 > [q [q [qbuilder for > `/nix/store/kn86s2slq3ad2ykqpwac9xzkx4aj2764-linux-2.6.32.24-xen-179eca5.drv' > failed with exit code 2 > cannot build derivation > `/nix/store/7x0n34dyhhrzqwhm10llba89r36q04nx-nixos-0.1pre-svn.drv': 1 > dependencies couldn't be built > error: build of > `/nix/store/7x0n34dyhhrzqwhm10llba89r36q04nx-nixos-0.1pre-svn.drv' > failed > > For the guest: When I try to install the nixos xen guest the > nixos-install scripts fails with the message: > > error: selector `nixos' matches no derivations > > Thanks, > Marco > > > 2012/4/27 Eelco Dolstra : >> Hi, >> >> On 27/04/12 14:41, Marco Maggesi wrote: >> >>> the subject basically says everything. >>> I would like to run a xen virtual appliance hosted by a debian machines. >>> I already have a debian configured guest (it is an empty scratchy >>> machine that I can erase) and I would like to turn it into a nixos >>> guest. >>> Can you see an easy way to do this? >>> My first attempt is: bootstrap the guest with the nixos minimal CD iso >>> image and make a new installation. >>> However, the kernel available on the CD do not have a kernel that >>> understand xen paravitualization. >> >> See "Creating NixOS guests" in http://nixos.org/wiki/NixOS_and_Xen. The >> "nixos-install" call assumes that you're running NixOS, so you should do the >> image creation on a NixOS machine rather than in your Debian Dom0, then copy >> it >> over to the Debian machine. >> >> -- >> Eelco Dolstra | http://www.st.ewi.tudelft.nl/~dolstra/ >> ___ >> nix-dev mailing list >> nix-dev@lists.science.uu.nl >> http://lists.science.uu.nl/mailman/listinfo/nix-dev ___ nix-dev mailing list nix-dev@lists.science.uu.nl http://lists.science.uu.nl/mailman/listinfo/nix-dev
[Nix-commits] SVN commit: nix - r33992 - nixpkgs/trunk/pkgs/applications/science/logic/hol_light
Author: maggesi
Date: Sat May 5 16:46:53 2012
New Revision: 33992
URL: https://nixos.org/websvn/nix/?rev=33992&sc=1
Log:
Update HOL Light to r134
Modified:
nixpkgs/trunk/pkgs/applications/science/logic/hol_light/default.nix
Modified: nixpkgs/trunk/pkgs/applications/science/logic/hol_light/default.nix
==
--- nixpkgs/trunk/pkgs/applications/science/logic/hol_light/default.nix Sat May
5 15:50:31 2012(r33991)
+++ nixpkgs/trunk/pkgs/applications/science/logic/hol_light/default.nix Sat May
5 16:46:53 2012(r33992)
@@ -9,11 +9,11 @@
in
stdenv.mkDerivation {
- name = "hol_light-20120312";
+ name = "hol_light-20120427";
src = fetchsvn {
url = http://hol-light.googlecode.com/svn/trunk;
-rev = "128";
-sha256 =
"35dc164c05b07663bf596ea9553209087c1538dea87a04c23f01d5423b23dbfe";
+rev = "134";
+sha256 =
"91e7575eeac37a1fbd127eabe99f736b9e1a19fb7b1a0fa27cf31b66edad4b17";
};
buildInputs = [ ocaml findlib camlp5 ];
___
nix-commits mailing list
nix-comm...@lists.science.uu.nl
http://lists.science.uu.nl/mailman/listinfo/nix-commits
Re: [Nix-dev] xen nixos guest on a debian host
Hello, I'm trying to use xen on nixos. I have two problems one for the host, one for the guest: For the host: I have a 32 bit machine. When I try to install a nixos xen host I get the following error during nixos-rebuild [pbuilding arch/x86/vdso/vdso32/vdso32.lds LDS arch/x86/vdso/vdso32/vdso32.lds [q[pbuilding arch/x86/vdso/vdso32/note.o AS arch/x86/vdso/vdso32/note.o [q[pbuilding arch/x86/vdso/vdso32/int80.o AS arch/x86/vdso/vdso32/int80.o [q[pbuilding arch/x86/vdso/vdso32-int80.so.dbg VDSOarch/x86/vdso/vdso32-int80.so.dbg gcc: error: elf_i386: No such file or directory make[2]: *** [arch/x86/vdso/vdso32-int80.so.dbg] Error 1 [qmake[1]: *** [arch/x86/vdso] Error 2 [qmake: *** [arch/x86] Error 2 [q[q[qbuilder for `/nix/store/kn86s2slq3ad2ykqpwac9xzkx4aj2764-linux-2.6.32.24-xen-179eca5.drv' failed with exit code 2 cannot build derivation `/nix/store/7x0n34dyhhrzqwhm10llba89r36q04nx-nixos-0.1pre-svn.drv': 1 dependencies couldn't be built error: build of `/nix/store/7x0n34dyhhrzqwhm10llba89r36q04nx-nixos-0.1pre-svn.drv' failed For the guest: When I try to install the nixos xen guest the nixos-install scripts fails with the message: error: selector `nixos' matches no derivations Thanks, Marco 2012/4/27 Eelco Dolstra : > Hi, > > On 27/04/12 14:41, Marco Maggesi wrote: > >> the subject basically says everything. >> I would like to run a xen virtual appliance hosted by a debian machines. >> I already have a debian configured guest (it is an empty scratchy >> machine that I can erase) and I would like to turn it into a nixos >> guest. >> Can you see an easy way to do this? >> My first attempt is: bootstrap the guest with the nixos minimal CD iso >> image and make a new installation. >> However, the kernel available on the CD do not have a kernel that >> understand xen paravitualization. > > See "Creating NixOS guests" in http://nixos.org/wiki/NixOS_and_Xen. The > "nixos-install" call assumes that you're running NixOS, so you should do the > image creation on a NixOS machine rather than in your Debian Dom0, then copy > it > over to the Debian machine. > > -- > Eelco Dolstra | http://www.st.ewi.tudelft.nl/~dolstra/ > ___ > nix-dev mailing list > nix-dev@lists.science.uu.nl > http://lists.science.uu.nl/mailman/listinfo/nix-dev ___ nix-dev mailing list nix-dev@lists.science.uu.nl http://lists.science.uu.nl/mailman/listinfo/nix-dev
[Nix-dev] xen nixos guest on a debian host
Hi, the subject basically says everything. I would like to run a xen virtual appliance hosted by a debian machines. I already have a debian configured guest (it is an empty scratchy machine that I can erase) and I would like to turn it into a nixos guest. Can you see an easy way to do this? My first attempt is: bootstrap the guest with the nixos minimal CD iso image and make a new installation. However, the kernel available on the CD do not have a kernel that understand xen paravitualization. I'm trying to use xen full virtualization but this is a source of many small problems. Do you have other ideas? M. ___ nix-dev mailing list nix-dev@lists.science.uu.nl http://lists.science.uu.nl/mailman/listinfo/nix-dev
