aboutsummaryrefslogtreecommitdiff
path: root/bootstrap
blob: cb774bc737f8709cc80e1eebaf6cb94d8e152d08 (about) (plain)
1
2
3
4
5
#!/bin/sh
# Create the build system.

set -e -x
exec autoreconf -vfi
4d7ee4e29f91144576ca661'>build-system/haskell: Use 'strip-store-file-name'....Alex Vong 2018-10-01gnu: agda: Fix build....Ricardo Wurmus 2018-10-01gnu: agda: Update to 2.5.4.1....Timothy Sample 2018-10-01gnu: ghc-mtl: Remove built-in Haskell package....Timothy Sample 2018-07-29gnu: Add emacs-agda2-mode...Alex ter Weele 2018-07-29gnu: agda: Compile .agda files....Alex ter Weele 2018-02-26gnu: Add agda....Alex ter Weele