dysinger

# -*- mode: ruby -*-
# vi: set ft=ruby :

site :opscode

# FIXME use github forks of community cookbooks until available upstream
cookbook 'ark',   github: 'Knewton/ark',   branch: 't/allow-both-append-and-prepend-to-env-path'
cookbook 'maven', github: 'Knewton/maven', branch: 't/prepend-to-env-path'

metadata

dysinger

# DOCKER
FROM ubuntu:12.04
MAINTAINER Tim Dysinger "tim@dysinger.net"
# UBUNTU
RUN apt-get update
RUN apt-get upgrade -qq
# CHEF
INSERT http://www.opscode.com/chef/install.sh /tmp/install.sh
# note: this next line bombs with an error "return non-zero exit code '5'"
RUN /bin/bash /tmp/install.sh

dysinger

# Copyright 2013, Knewton, Apache 2.0 License

# Licensed to the Apache Software Foundation (ASF) under one or more
# contributor license agreements.  See the NOTICE file distributed
# with this work for additional information regarding copyright
# ownership.  The ASF licenses this file to you under the Apache
# License, Version 2.0 (the "License"); you may not use this file
# except in compliance with the License.  You may obtain a copy of the
# License at

dysinger

# -*- mode: ruby -*-
# vi: set ft=ruby :

source 'https://rubygems.org'

gem('vagrant',
    git: 'http://github.com/mitchellh/vagrant.git',
    tag: 'v1.2.2')

gem('veewee',

dysinger

module CLI where

open import Data.Bool
open import Data.List
open import Data.Maybe
open import Data.Product
open import Data.String
open import IO.Primitive

-- Haskell Ints

dysinger

module CLI where

open import Data.Bool
open import Data.List
open import Data.Maybe
open import Data.Product
open import Data.String
open import IO.Primitive

-- Haskell Ints

dysinger

#!/bin/sh

# INSTALL
wget -O- http://hydra.nixos.org/build/4253979/download/1/nix-1.5.1-x86_64-linux.tar.bz2 \
    | tar xj -C /
sudo -i nix-finish-install

# DEFAULT PROFILE
ln -sf /nix/var/nix/profiles/default/etc/profile.d/nix.sh \
    /etc/profile.d/nix.sh

dysinger

vagrant@vagrant:/vagrant/src/hs/Cabal-1.16.0.3% cabal configure ; cabal build
Resolving dependencies...
Configuring Cabal-1.16.0.3...
Building Cabal-1.16.0.3...
Preprocessing library Cabal-1.16.0.3...
In-place registering Cabal-1.16.0.3...
vagrant@vagrant:/vagrant/src/hs/Cabal-1.16.0.3% ghc-pkg list|grep quickcheck2|grep test
/home/vagrant/.nix-profile/bin/../lib/ghc-pkgs/ghc-7.6.2/test-framework-quickcheck2-0.3.0.1.installedconf:
    test-framework-quickcheck2-0.3.0.1
/home/vagrant/.nix-profile/bin/../lib/ghc-pkgs/ghc-7.6.2/test-framework-quickcheck2-0.3.0.1.installedconf:

dysinger

vagrant@vagrant:/vagrant/src/hs/ghc-mod% cabal clean ; cabal configure ; cabal build
cleaning...
Resolving dependencies...
Configuring ghc-mod-1.12.4...
Building ghc-mod-1.12.4...
Preprocessing executable 'ghc-mod' for ghc-mod-1.12.4...
[ 1 of 18] Compiling GHCChoice        ( GHCChoice.hs, dist/build/ghc-mod/ghc-mod-tmp/GHCChoice.o )
[ 2 of 18] Compiling Gap              ( Gap.hs, dist/build/ghc-mod/ghc-mod-tmp/Gap.o )
[ 3 of 18] Compiling Doc              ( Doc.hs, dist/build/ghc-mod/ghc-mod-tmp/Doc.o )
[ 4 of 18] Compiling ErrMsg           ( ErrMsg.hs, dist/build/ghc-mod/ghc-mod-tmp/ErrMsg.o )

dysinger

vagrant@vagrant:/vagrant/src/hs/t% cabal list --installed|grep text
    Synopsis: Fast combinator parsing for bytestrings and text
* text
    Synopsis: An efficient packed Unicode text type.
    Homepage: https://github.com/bos/text
vagrant@vagrant:/vagrant/src/hs/t% ghc-pkg list|grep text
/home/vagrant/.nix-profile/bin/../lib/ghc-pkgs/ghc-7.6.2/text-0.11.2.3.installedconf:
    text-0.11.2.3
/home/vagrant/.nix-profile/bin/../lib/ghc-pkgs/ghc-7.6.2/text-0.11.2.3.installedconf:
    text-0.11.2.3