Browse Source

Add a bunch of stuff for Ocaml

master
Taylor Bockman 9 years ago
parent
commit
afacbcd402
  1. 5
      dotfiles/config/nvim/init.vim
  2. 10
      nix/development/default.nix
  3. 9
      nix/development/env/python/default.nix
  4. 3
      nix/software/default.nix

5
dotfiles/config/nvim/init.vim

@ -50,6 +50,7 @@ Plug 'mxw/vim-jsx'
Plug 'digitaltoad/vim-jade' Plug 'digitaltoad/vim-jade'
Plug 'wavded/vim-stylus' Plug 'wavded/vim-stylus'
Plug 'raichoo/haskell-vim' Plug 'raichoo/haskell-vim'
Plug 'OCamlPro/ocp-indent'
" Org Mode " Org Mode
Plug 'jceb/vim-orgmode' Plug 'jceb/vim-orgmode'
@ -164,6 +165,10 @@ endif
" Color customizations " Color customizations
" let g:indentLine_color_term=### " let g:indentLine_color_term=###
" Merlin for OCaml
let g:opamshare = substitute(system('opam config var share'),'\n$','','''')
execute "set rtp+=" . g:opamshare . "/merlin/vim"
" Fugitive bindings " Fugitive bindings
nnoremap <Leader>gs :Gstatus<CR> nnoremap <Leader>gs :Gstatus<CR>
nnoremap <Leader>gd :Gdiff<CR> nnoremap <Leader>gd :Gdiff<CR>

10
nix/development/default.nix

@ -1,6 +1,7 @@
{ config, pkgs, ... }: { config, pkgs, ... }:
{ {
environment = { environment = {
# LIBEV_LIBS is used to specify where libev is so opam can find it.
variables = { variables = {
EDITOR = "nvim"; EDITOR = "nvim";
}; };
@ -8,13 +9,22 @@
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
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
git # Source control git # Source control
libev # Event loop library
libpng # PNG library libpng # PNG library
m4 # GNU Macro Processor
neovim # Better vim 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 python3 # Python 3
python34Packages.setuptools # Python setuptools python34Packages.setuptools # Python setuptools
silver-searcher # Better than grep silver-searcher # Better than grep

9
nix/development/env/python/default.nix vendored

@ -8,7 +8,6 @@ with pkgs.python3Packages;
buildPythonPackage { buildPythonPackage {
name = "pythonEnv"; name = "pythonEnv";
buildInputs = [ buildInputs = [
cython # Cython
freetype freetype
gcc # GNU Compiler Collection gcc # GNU Compiler Collection
gfortran gfortran
@ -28,13 +27,15 @@ buildPythonPackage {
python3Packages.setuptools python3Packages.setuptools
stdenv stdenv
which which
zlib ]; zlib
zsh # ZSH because I develop in ZSH
];
src = null; src = null;
# Environment variables for scipy builds # Environment variables for scipy builds
ATLAS = atlas; ATLAS = atlas;
BLAS = blas; # BLAS = openblas;
LAPACK = liblapack; # LAPACK = liblapack;
# When used as `nix-shell --pure` # When used as `nix-shell --pure`
shellHook = '' shellHook = ''

3
nix/software/default.nix

@ -2,11 +2,14 @@
{ {
environment.systemPackages = with pkgs; [ environment.systemPackages = with pkgs; [
byzanz # Screen recording software byzanz # Screen recording software
calibre # Ebook reader
chromium # Browser chromium # Browser
gtk # For GTK+ themes gtk # For GTK+ themes
htop # System monitor htop # System monitor
libreoffice # Libreoffice libreoffice # Libreoffice
mplayer # Video player mplayer # Video player
nox # Better nix package search
unzip # Unzipper
xdotool # Diagnostic tool for mouse and keyboard xdotool # Diagnostic tool for mouse and keyboard
]; ];

Loading…
Cancel
Save