Browse Source

Add more ocaml stuff

master
Taylor Bockman 8 years ago
parent
commit
075813cd48
  1. 5
      dotfiles/ocamlinit
  2. 48
      nix/development/default.nix

5
dotfiles/ocamlinit

@ -0,0 +1,5 @@
#use "topfind";;
#thread;;
#camlp4o;;
#require "core.top";;
#require "core.syntax";;

48
nix/development/default.nix

@ -7,29 +7,31 @@
}; };
systemPackages = with pkgs; [ systemPackages = with pkgs; [
bar-xft # Lightweight xcb based bar bar-xft # Lightweight xcb based bar
cabal-install # Haskell package installer cabal-install # Haskell package installer
coreutils # GNU coreutils coreutils # GNU coreutils
cmake # CMake tool cmake # CMake tool
curl # Tool for general HTTP, FTP, etc work curl # Tool for general HTTP, FTP, etc work
freetype # Library to render fonts required by some packages freetype # Library to render fonts required by some packages
gcc # GNU Compiler Collection gcc # GNU Compiler Collection
ghc # Haskell compiler ghc # Haskell compiler
gnumake # GNU Make gnumake # GNU Make
git # Source control git # Source control
libev # Event loop library libev # Event loop library
libpng # PNG library libpng # PNG library
m4 # GNU Macro Processor m4 # GNU Macro Processor
neovim # Better vim neovim # Better vim
ocaml # OCaml language ocaml # OCaml language
ocamlPackages.ocaml_lwt # OCaml LWT Library - Saves time otherwise spent fighting with opam ocamlPackages.findlib # OCaml findlib
ocamlPackages.utop # Much better top-level for OCaml ocamlPackages.ocaml_lwt # OCaml LWT Library - Saves time otherwise spent fighting with opam
opam # OCaml package manager ocamlPackages.ocaml_oasis # OASIS Project Architecture Tool for OCaml
python3 # Python 3 ocamlPackages.utop # Much better top-level for OCaml
python34Packages.setuptools # Python setuptools opam # OCaml package manager
silver-searcher # Better than grep python3 # Python 3
vim # Regular ole' vim python34Packages.setuptools # Python setuptools
wget # Standard GNU package for HTTP, FTP, etc file retrieval silver-searcher # Better than grep
vim # Regular ole' vim
wget # Standard GNU package for HTTP, FTP, etc file retrieval
]; ];
}; };
} }

Loading…
Cancel
Save