Browse Source

Add more ocaml stuff

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

Loading…
Cancel
Save