Tim Reddehase 0robustus1
0robustus1
/ install_cabal_hets_deps.sh
Last active
August 29, 2015 13:56
Install Hets dependencies on Mac OS X
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| #!/bin/bash | |
| # adjusted from http://trac.informatik.uni-bremen.de:8080/hets/browser/trunk/utils/installHetsPkgs.sh?format=txt | |
| pre=`ghc --print-libdir | sed -e 's+/lib.*/.*++g'` | |
| opts="--enable-documentation -p --global --prefix=$pre" | |
| echo Installing libraries... | |
| cabal install aterm random utf8-string xml fgl HTTP haskeline HaXml \ | |
| hexpat uni-uDrawGraph parsec1 wai-extra warp tar glade $opts |
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| gem list --no-versions | gsed -re '/bigdecimal|psych|rdoc|minitest|io-console|json|rake|test-unit/d' | xargs gem uninstall '-Iax' |
0robustus1
/ Gemfile
Created
January 17, 2014 16:27
problematic Gemfile for bundler when using rbenv-gemset (see the [issue](https://github.com/jf/rbenv-gemset/issues/62))
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| source 'https://rubygems.org' | |
| gem 'rails', '~> 3.2.13' | |
| gem 'rack-protection' | |
| gem 'secure_headers' | |
| gem 'pry-rails' | |
| gem 'pg' | |
| gem 'foreigner' |
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| ;; ----------------------------------------------- ;; | |
| ;; My el-get packages ;; | |
| (setq | |
| my-package-list | |
| '(escreen | |
| switch-window | |
| auto-complete | |
| zencoding-mode | |
| evil | |
| color-theme |
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| \documentclass[a4paper,11pt,twoside]{scrartcl} | |
| \usepackage[utf8x]{inputenc} | |
| \usepackage[ngerman]{babel} | |
| \usepackage{longtable} | |
| %\usepackage{fancyhdr} | |
| \usepackage{graphicx} | |
| \usepackage{tabularx} | |
| \usepackage{amsmath} |
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| # Self | |
| .gitignore | |
| # Mac OS X | |
| .DS_Store | |
| # LaTeX | |
| *.acn | |
| *.acr | |
| *.alg |
NewerOlder