Last active
August 29, 2015 14:24
-
-
Save egisatoshi/193aa2d47885b97db30b to your computer and use it in GitHub Desktop.
Egison package for Mac
This file contains 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/sh | |
sudo rm -rf .cabal .ghc /Library/Egison | |
mkdir .ghc | |
cabal update | |
cp my-cabal/config .cabal/config | |
sudo cabal update | |
sudo cabal install egison egison-tutorial | |
sleep 3 | |
sudo rm -rf /Library/Egison/lib/ /Library/Egison/logs/ /Library/Egison/repo-cache/ |
This file contains 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
-- This is the configuration file for the 'cabal' command line tool. | |
-- The available configuration options are listed below. | |
-- Some of them have default values listed. | |
-- Lines (like this one) beginning with '--' are comments. | |
-- Be careful with spaces and indentation because they are | |
-- used to indicate layout for nested sections. | |
-- This configuration follows the layout of Haskell Platform on Mac OS X, | |
-- placing all installed package parts in the directories | |
-- /Library/Egison for packages installed --global | |
-- ~/Library/Egison for packages installed --user (the default) | |
-- === Built executables will be installed in: | |
-- ~/Library/Egison/bin | |
-- | |
-- You may wish to place this on your PATH by adding the following | |
-- line to your ~/.bash_profile: | |
-- export PATH="$HOME/Library/Egison/bin:$PATH" | |
-- === When documentation is built, a master index to all documentation | |
-- will be placed in: | |
-- ~/Library/Egison/doc/index.html | |
-- | |
-- You may wish to bookmark that file | |
remote-repo: hackage.haskell.org:http://hackage.haskell.org/packages/archive | |
remote-repo-cache: /Library/Egison/repo-cache | |
-- local-repo: | |
-- logs-dir: | |
world-file: /Library/Egison/logs/world | |
-- verbose: 1 | |
-- compiler: ghc | |
-- with-compiler: | |
-- with-hc-pkg: | |
-- scratchdir: | |
-- program-prefix: | |
-- program-suffix: | |
-- library-vanilla: True | |
library-profiling: False | |
-- shared: False | |
-- executable-dynamic: False | |
-- executable-profiling: False | |
-- optimization: True | |
-- library-for-ghci: False | |
-- split-objs: False | |
-- executable-stripping: True | |
-- user-install: True | |
-- package-db: | |
-- flags: | |
-- extra-include-dirs: | |
-- extra-lib-dirs: | |
extra-prog-path: /Library/Egison/bin | |
-- tests: False | |
-- library-coverage: False | |
-- benchmarks: False | |
-- cabal-lib-version: | |
-- constraint: | |
-- preference: | |
-- solver: choose | |
documentation: False | |
-- doc-index-file: $datadir/doc/index.html | |
-- max-backjumps: 2000 | |
-- reorder-goals: False | |
-- shadow-installed-packages: False | |
-- strong-flags: False | |
-- reinstall: False | |
-- avoid-reinstalls: False | |
-- force-reinstalls: False | |
-- upgrade-dependencies: False | |
root-cmd: sudo | |
-- symlink-bindir: | |
build-summary: /Library/Egison/logs/build.log | |
-- build-log: | |
remote-build-reporting: anonymous | |
-- one-shot: False | |
jobs: $ncpus | |
-- username: | |
-- password: | |
install-dirs user | |
prefix: /Library/Egison | |
-- bindir: $prefix/bin | |
libdir: $prefix/lib | |
libsubdir: $pkgid | |
-- libexecdir: $prefix/libexec | |
-- datadir: $prefix/share | |
datasubdir: $pkgid | |
docdir: $prefix/lib/$pkgid/doc | |
-- htmldir: $docdir/html | |
-- haddockdir: $htmldir | |
-- sysconfdir: $prefix/etc | |
install-dirs global | |
prefix: /Library/Egison | |
-- bindir: $prefix/bin | |
libdir: $prefix/lib | |
libsubdir: $pkgid | |
-- libexecdir: $prefix/libexec | |
-- datadir: $prefix/share | |
datasubdir: $pkgid | |
docdir: $prefix/lib/$pkgid/doc | |
-- htmldir: $docdir/html | |
-- haddockdir: $htmldir | |
-- sysconfdir: $prefix/etc | |
program-locations | |
-- alex-location: | |
-- ar-location: | |
-- c2hs-location: | |
-- cpphs-location: | |
-- ffihugs-location: | |
-- gcc-location: | |
-- ghc-location: | |
-- ghc-pkg-location: | |
-- greencard-location: | |
-- haddock-location: | |
-- happy-location: | |
-- hmake-location: | |
-- hpc-location: | |
-- hsc2hs-location: | |
-- hscolour-location: | |
-- hugs-location: | |
-- jhc-location: | |
-- ld-location: | |
-- lhc-location: | |
-- lhc-pkg-location: | |
-- nhc98-location: | |
-- pkg-config-location: | |
-- ranlib-location: | |
-- strip-location: | |
-- tar-location: | |
-- uhc-location: | |
program-default-options | |
-- alex-options: | |
-- ar-options: | |
-- c2hs-options: | |
-- cpphs-options: | |
-- ffihugs-options: | |
-- gcc-options: | |
-- ghc-options: | |
-- ghc-pkg-options: | |
-- greencard-options: | |
-- haddock-options: | |
-- happy-options: | |
-- hmake-options: | |
-- hpc-options: | |
-- hsc2hs-options: | |
-- hscolour-options: | |
-- hugs-options: | |
-- jhc-options: | |
-- ld-options: | |
-- lhc-options: | |
-- lhc-pkg-options: | |
-- nhc98-options: | |
-- pkg-config-options: | |
-- ranlib-options: | |
-- strip-options: | |
-- tar-options: | |
-- uhc-options: |
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment