Skip to content

Commit 437db19

Browse files
AlizterAlizter
committed
testing native config
Signed-off-by: Ali Caglayan <alizter@gmail.com>
1 parent 6cde214 commit 437db19

File tree

3 files changed

+133
-3
lines changed

3 files changed

+133
-3
lines changed

‎.github/workflows/nix-action-8.17.yml‎

Lines changed: 128 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -1,4 +1,45 @@
11
jobs:
2+
HoTT:
3+
needs:
4+
- coq
5+
runs-on: ubuntu-latest
6+
steps:
7+
- name: Determine which commit to test
8+
run: "if [ ${{ github.event_name }} = \"push\" ]; then\n echo \"tested_commit=${{\
9+
\ github.sha }}\" >> $GITHUB_ENV\nelse\n merge_commit=$(git ls-remote ${{\
10+
\ github.event.repository.html_url }} refs/pull/${{ github.event.number }}/merge\
11+
\ | cut -f1)\n if [ -z \"$merge_commit\" ]; then\n echo \"tested_commit=${{\
12+
\ github.event.pull_request.head.sha }}\" >> $GITHUB_ENV\n else\n echo\
13+
\ \"tested_commit=$merge_commit\" >> $GITHUB_ENV\n fi\nfi\n"
14+
- name: Git checkout
15+
uses: actions/checkout@v2
16+
with:
17+
fetch-depth: 0
18+
ref: ${{ env.tested_commit }}
19+
- name: Cachix install
20+
uses: cachix/install-nix-action@v20
21+
with:
22+
nix_path: nixpkgs=channel:nixpkgs-unstable
23+
- name: Cachix setup coq-community
24+
uses: cachix/cachix-action@v12
25+
with:
26+
authToken: ${{ secrets.CACHIX_AUTH_TOKEN }}
27+
extraPullNames: coq, math-comp
28+
name: coq-community
29+
- id: stepCheck
30+
name: Checking presence of CI target HoTT
31+
run: "nb_dry_run=$(NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link \\\n --argstr\
32+
\ bundle \"8.17\" --argstr job \"HoTT\" \\\n --dry-run 2>&1 > /dev/null)\n\
33+
echo $nb_dry_run\necho ::set-output name=status::$(echo $nb_dry_run | grep\
34+
\ \"built:\" | sed \"s/.*/built/\")\n"
35+
- if: steps.stepCheck.outputs.status == 'built'
36+
name: 'Building/fetching previous CI target: coq'
37+
run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle "8.17" --argstr
38+
job "coq"
39+
- if: steps.stepCheck.outputs.status == 'built'
40+
name: Building/fetching current CI target
41+
run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle "8.17" --argstr
42+
job "HoTT"
243
ITree:
344
needs:
445
- coq
@@ -209,6 +250,52 @@ jobs:
209250
name: Building/fetching current CI target
210251
run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle "8.17" --argstr
211252
job "coq-ext-lib"
253+
coq-lsp:
254+
needs:
255+
- coq
256+
- serapi
257+
runs-on: ubuntu-latest
258+
steps:
259+
- name: Determine which commit to test
260+
run: "if [ ${{ github.event_name }} = \"push\" ]; then\n echo \"tested_commit=${{\
261+
\ github.sha }}\" >> $GITHUB_ENV\nelse\n merge_commit=$(git ls-remote ${{\
262+
\ github.event.repository.html_url }} refs/pull/${{ github.event.number }}/merge\
263+
\ | cut -f1)\n if [ -z \"$merge_commit\" ]; then\n echo \"tested_commit=${{\
264+
\ github.event.pull_request.head.sha }}\" >> $GITHUB_ENV\n else\n echo\
265+
\ \"tested_commit=$merge_commit\" >> $GITHUB_ENV\n fi\nfi\n"
266+
- name: Git checkout
267+
uses: actions/checkout@v2
268+
with:
269+
fetch-depth: 0
270+
ref: ${{ env.tested_commit }}
271+
- name: Cachix install
272+
uses: cachix/install-nix-action@v20
273+
with:
274+
nix_path: nixpkgs=channel:nixpkgs-unstable
275+
- name: Cachix setup coq-community
276+
uses: cachix/cachix-action@v12
277+
with:
278+
authToken: ${{ secrets.CACHIX_AUTH_TOKEN }}
279+
extraPullNames: coq, math-comp
280+
name: coq-community
281+
- id: stepCheck
282+
name: Checking presence of CI target coq-lsp
283+
run: "nb_dry_run=$(NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link \\\n --argstr\
284+
\ bundle \"8.17\" --argstr job \"coq-lsp\" \\\n --dry-run 2>&1 > /dev/null)\n\
285+
echo $nb_dry_run\necho ::set-output name=status::$(echo $nb_dry_run | grep\
286+
\ \"built:\" | sed \"s/.*/built/\")\n"
287+
- if: steps.stepCheck.outputs.status == 'built'
288+
name: 'Building/fetching previous CI target: coq'
289+
run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle "8.17" --argstr
290+
job "coq"
291+
- if: steps.stepCheck.outputs.status == 'built'
292+
name: 'Building/fetching previous CI target: serapi'
293+
run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle "8.17" --argstr
294+
job "serapi"
295+
- if: steps.stepCheck.outputs.status == 'built'
296+
name: Building/fetching current CI target
297+
run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle "8.17" --argstr
298+
job "coq-lsp"
212299
coq-shell:
213300
needs:
214301
- coq
@@ -1575,6 +1662,47 @@ jobs:
15751662
name: Building/fetching current CI target
15761663
run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle "8.17" --argstr
15771664
job "pocklington"
1665+
serapi:
1666+
needs:
1667+
- coq
1668+
runs-on: ubuntu-latest
1669+
steps:
1670+
- name: Determine which commit to test
1671+
run: "if [ ${{ github.event_name }} = \"push\" ]; then\n echo \"tested_commit=${{\
1672+
\ github.sha }}\" >> $GITHUB_ENV\nelse\n merge_commit=$(git ls-remote ${{\
1673+
\ github.event.repository.html_url }} refs/pull/${{ github.event.number }}/merge\
1674+
\ | cut -f1)\n if [ -z \"$merge_commit\" ]; then\n echo \"tested_commit=${{\
1675+
\ github.event.pull_request.head.sha }}\" >> $GITHUB_ENV\n else\n echo\
1676+
\ \"tested_commit=$merge_commit\" >> $GITHUB_ENV\n fi\nfi\n"
1677+
- name: Git checkout
1678+
uses: actions/checkout@v2
1679+
with:
1680+
fetch-depth: 0
1681+
ref: ${{ env.tested_commit }}
1682+
- name: Cachix install
1683+
uses: cachix/install-nix-action@v20
1684+
with:
1685+
nix_path: nixpkgs=channel:nixpkgs-unstable
1686+
- name: Cachix setup coq-community
1687+
uses: cachix/cachix-action@v12
1688+
with:
1689+
authToken: ${{ secrets.CACHIX_AUTH_TOKEN }}
1690+
extraPullNames: coq, math-comp
1691+
name: coq-community
1692+
- id: stepCheck
1693+
name: Checking presence of CI target serapi
1694+
run: "nb_dry_run=$(NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link \\\n --argstr\
1695+
\ bundle \"8.17\" --argstr job \"serapi\" \\\n --dry-run 2>&1 > /dev/null)\n\
1696+
echo $nb_dry_run\necho ::set-output name=status::$(echo $nb_dry_run | grep\
1697+
\ \"built:\" | sed \"s/.*/built/\")\n"
1698+
- if: steps.stepCheck.outputs.status == 'built'
1699+
name: 'Building/fetching previous CI target: coq'
1700+
run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle "8.17" --argstr
1701+
job "coq"
1702+
- if: steps.stepCheck.outputs.status == 'built'
1703+
name: Building/fetching current CI target
1704+
run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle "8.17" --argstr
1705+
job "serapi"
15781706
stdpp:
15791707
needs:
15801708
- coq

‎.nix/fallback-config.nix‎

Lines changed: 2 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -21,9 +21,11 @@ with (import (import ./nixpkgs.nix) {}).lib;
2121
bundles = (genAttrs [ "8.10" "8.11" "8.12" "8.13" "8.14" "8.15" "8.16" "8.17" ]
2222
(v: {
2323
coqPackages.coq.override.version = v;
24+
coqPackages.coq.override.native-compiler = true;
2425
})) // {
2526
master = {
2627
coqPackages.coq.override.version = "master";
28+
coqPackages.coq.override.native-compiler = true;
2729
coqPackages.heq.job = false;
2830
};
2931
};

‎.nix/nixpkgs.nix‎

Lines changed: 3 additions & 3 deletions
Original file line numberDiff line numberDiff line change
@@ -1,4 +1,4 @@
11
fetchTarball {
2-
url = https://github.com/NixOS/nixpkgs/archive/0dffd5039b951bb03537c9a66f980c74f50ac38b.tar.gz;
3-
sha256 = "19hdbn80grs65rdq1aalakrkr9pagvpnsidz501iimm15g241kb5";
4-
}
2+
url = https://github.com/Alizter/nixpkgs/archive/f49e3c377efc71510b5e2e96eb13d2a383245933.tar.gz;
3+
sha256 = "1hav75scrrigfkcs8nyg74wksj6pdsi7xn23ra9h53sfcpw1ag1q";
4+
}

0 commit comments

Comments
 (0)