~ruther/guix-local

ref: 5b05dce74783e59c23ea0e3dc21386f1cca83ff1 guix-local/bootstrap -rwxr-xr-x 69 bytes
5b05dce7 — Jan Nieuwenhuizen gnu: Add mcrl2. 8 years ago 
                                                                                
1
2
3
4
5

#!/bin/sh
# Create the build system.

set -e -x
exec autoreconf -vfi