search

statebox / idris-stbx-core

Category theoretic semantics of glued open Petri nets in Idris
https://statebox.org/
1 stars 1 forks source link

add nix package & travis build #27

Closed tg-x closed 5 years ago

tg-x commented 5 years ago

see #23

tg-x commented 5 years ago

fails to build on osx due to https://github.com/NixOS/nixpkgs/issues/58028

tg-x commented 5 years ago

osx issue is supposed to be fixed, however travis still fails.. @epost can you try to nix-build this on osx and see what happens?

nix-build --show-trace

tg-x commented 5 years ago

was missing another commit, builds now. sometimes travis runs out of memory so had to restart the job a couple of times..

epost commented 5 years ago

thanks @tg-x! is that Travis CI - Pull Request failure a timeout?

@marcosh could you give this a spin on OSX?

marcosh commented 5 years ago

@epost sorry, I'm on linux, don't have any OSX machine available...

tg-x commented 5 years ago

no it's ghc running out of memory https://api.travis-ci.com/v3/job/187241007/log.txt?log.token=MGXuHG2bSI6CbmqO0Lvgqw

epost commented 5 years ago

@andrevidela then? 😥

epost commented 5 years ago

@tg-x are there settings that could be tweaked to fix this or something?

andrevidela commented 5 years ago

let me take a look

andrevidela commented 5 years ago

It works ™️

epost commented 5 years ago

This took 4 hours on André's machine apparently. 👴

epost commented 5 years ago

Note to self: we should add some instructions and caveats to the readme, esp. a pointer to the instructions in the Nix file, and a warning that building may take hours. Obviously such build times aren't what we want in the end, but this PR seems to do what was expected, which was to add a Nix (and Travis) build.

epost commented 5 years ago

Ah! On my macbook, the Nix finishes successfully works in a reasonable amount of time.

epost commented 5 years ago

The Nix build works! We'll sort out problems related to Travis+Nix under a separate issue. Thanks @tg-x ! 👍👍