diff options
| author | tomsmeding <tom.smeding@gmail.com> | 2022-07-16 23:03:05 +0200 |
|---|---|---|
| committer | tomsmeding <tom.smeding@gmail.com> | 2022-07-16 23:03:05 +0200 |
| commit | 200440e8a437d1313e245d3728db6b69c4b03fb3 (patch) | |
| tree | 7aaca9a38ec14ff8c924530a6455844c7d5a4608 | |
| parent | 35a8d735cf66ac3a8867247b3f1a734af2add2ab (diff) | |
fix pwd
| -rw-r--r-- | notes.txt | 8 |
1 files changed, 5 insertions, 3 deletions
@@ -5,15 +5,17 @@ Be sure to have lots of free RAM; building the Cabal library from source takes r apt install ghc ghc-libs-static apt install cabal-install +I assume you're currently in $HOME/ghc-cabal-build. + Check using `dpkg -L ghc-libs-static' which libraries have static libs available -Copy the .conf files for just those libraries from /data/data/com.termux/files/usr/lib/ghc-8.10.7/package.conf.d/ into a new direcrory, ghc-boot-pkgdb +Copy the .conf files for just those libraries from /data/data/com.termux/files/usr/lib/ghc-8.10.7/package.conf.d/ into a new directory, ghc-boot-pkgdb In ghc-boot-pkgdb, run `ghc-pkg recache` cat >ghc-shim.sh <<EOF #!/usr/bin/env bash if [[ $# = 1 && $1 = --print-global-package-db ]]; then - echo /data/data/com.termux/files/home/ghc-boot-pkgdb + echo /data/data/com.termux/files/home/ghc-cabal-build/ghc-boot-pkgdb else #echo >/dev/tty "!! ghc $*" ghc "$@" @@ -29,7 +31,7 @@ for arg; do args[${#args[@]}]="$arg" fi done -ghc-pkg --package-db /data/data/com.termux/files/home/ghc-boot-pkgdb "${args[@]}" +ghc-pkg --package-db /data/data/com.termux/files/home/ghc-cabal-build/ghc-boot-pkgdb "${args[@]}" EOF Make a new directory 'cbl', and in that directory: |