Skip to content

Commit

Permalink
HACK
Browse files Browse the repository at this point in the history
  • Loading branch information
fingolfin committed Jun 16, 2019
1 parent e4f1e66 commit 285496e
Show file tree
Hide file tree
Showing 5 changed files with 8 additions and 7 deletions.
8 changes: 5 additions & 3 deletions .travis.yml
Original file line number Diff line number Diff line change
Expand Up @@ -7,7 +7,6 @@ env:
global:
- MAKEFLAGS="-j4"
- JULIA_TRACK_COVERAGE=yes
- GAPJL_DIR=${HOME}/.julia/packages/GAP
matrix:
- GAP=$HOME/.julia/gap.sh
GAP_INSTALL_PACKAGES=debug
Expand All @@ -31,15 +30,18 @@ branches:
- master

before_script:
- ls -F /home/travis/.julia
- ls -F /home/travis/.julia/*
- rm -rf /home/travis/.julia/packages/GAP
- unset JULIA_PROJECT
- printenv | sort
- git show --pretty=fuller -s
- mkdir -p coverage
- export CFLAGS=--coverage; export LDFLAGS=--coverage
- if [[ -v GAPROOT ]]; then etc/travis_install_gap.sh; fi
## Add the package so we can use it later
- julia -e 'import Pkg ; Pkg.add(Pkg.PackageSpec(url=pwd()))'
## Unset coverage to prevent Nemo C parts to be build with coverage
- julia -e 'import Pkg ; Pkg.instantiate(); Pkg.build(); Pkg.develop(Pkg.PackageSpec(url=pwd()))'
## Unset coverage to prevent Nemo C parts to be built with coverage
- unset CFLAGS; unset LDFLAGS
- julia -e 'import Pkg ; Pkg.add("Nemo")'

Expand Down
2 changes: 1 addition & 1 deletion etc/gather_coverage.jl
Original file line number Diff line number Diff line change
Expand Up @@ -6,7 +6,7 @@ using Coverage
import JSON

# gather coverage
data = Codecov.process_folder(ENV["GAPJL_DIR"])
data = Codecov.process_folder(pwd())
data_dict = Codecov.to_json(data)

# write it to a file for the upload script
Expand Down
1 change: 0 additions & 1 deletion etc/travis_test.sh
Original file line number Diff line number Diff line change
Expand Up @@ -27,7 +27,6 @@ cd ..
#
pwd
julia -e 'using Pkg ; Pkg.test("GAP"; coverage=true)' || AnyFailures=Yes
cd ..

if [ ${AnyFailures} = Yes ]
then
Expand Down
2 changes: 1 addition & 1 deletion pkg/GAPJulia/JuliaExperimental/PackageInfo.g
Original file line number Diff line number Diff line change
Expand Up @@ -10,7 +10,7 @@ SetPackageInfo( rec(

PackageName := "JuliaExperimental",
Subtitle := "Experimental code for the GAP Julia integration",
Version := "0.1",
Version := "0.2",
Date := "27/03/2018", # dd/mm/yyyy format

Persons := [
Expand Down
2 changes: 1 addition & 1 deletion pkg/GAPJulia/JuliaInterface/PackageInfo.g
Original file line number Diff line number Diff line change
Expand Up @@ -10,7 +10,7 @@ SetPackageInfo( rec(

PackageName := "JuliaInterface",
Subtitle := "Test interface to julia",
Version := "0.2",
Version := "0.3",
Date := "09/05/2017", # dd/mm/yyyy format

Persons := [
Expand Down

0 comments on commit 285496e

Please sign in to comment.