Skip to content
This repository was archived by the owner on Apr 1, 2025. It is now read-only.

Commit 1932332

Browse files
author
Patrick Thomson
committed
Merge remote-tracking branch 'origin/master' into if-any-monad-is-not-freer-then-I-too-am-bound
2 parents d6bbcbb + d8342ed commit 1932332

File tree

2 files changed

+39
-2
lines changed

2 files changed

+39
-2
lines changed

.travis.yml

Lines changed: 37 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,37 @@
1+
language: c
2+
3+
cache:
4+
directories:
5+
- $HOME/.cabal/packages
6+
- $HOME/.cabal/store
7+
8+
before_cache:
9+
- rm -fv $HOME/.cabal/packages/hackage.haskell.org/build-reports.log
10+
# remove files that are regenerated by 'cabal update'
11+
- rm -fv $HOME/.cabal/packages/hackage.haskell.org/00-index.*
12+
- rm -fv $HOME/.cabal/packages/hackage.haskell.org/*.json
13+
- rm -fv $HOME/.cabal/packages/hackage.haskell.org/01-index.cache
14+
- rm -fv $HOME/.cabal/packages/hackage.haskell.org/01-index.tar
15+
- rm -fv $HOME/.cabal/packages/hackage.haskell.org/01-index.tar.idx
16+
17+
- rm -rfv $HOME/.cabal/packages/head.hackage
18+
19+
matrix:
20+
include:
21+
- compiler: "ghc-8.6.4"
22+
addons: {apt: {packages: [cabal-install-2.4,ghc-8.6.4], sources: [hvr-ghc]}}
23+
24+
before_install:
25+
- mkdir -p $HOME/.local/bin
26+
- "PATH=/opt/ghc/bin:$HOME/local/bin:$PATH"
27+
- ghc --version
28+
- cabal --version
29+
30+
install:
31+
- cabal new-update
32+
- cabal new-configure --enable-tests --write-ghc-environment-files=always
33+
- cabal new-build --only-dependencies -j
34+
35+
script:
36+
- cabal new-build -j
37+
- cabal new-test semantic:test

semantic.cabal

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -3,8 +3,8 @@ name: semantic
33
version: 0.6.0
44
synopsis: Framework and service for analyzing and diffing untrusted code.
55
description: Please see README.md
6-
homepage: http://github.com/github/semantic-open-source#readme
7-
author: Rob Rix, Josh Vera
6+
homepage: http://github.com/github/semantic#readme
7+
author: The Semantic authors
88
maintainer: [email protected]
99
license: MIT
1010
license-file: LICENSE

0 commit comments

Comments
 (0)