yices2_java_bindings/.github/workflows/ci.yml at 9ff6067a200c5cd5f7c049355875f068bb55eac7 · SRI-CSL/yices2_java_bindings · GitHub

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
name: CI

on:
  pull_request:
  push:

permissions:
  contents: read

env:
  FORCE_JAVASCRIPT_ACTIONS_TO_NODE24: "true"
  YICES_REF: yices-2.7.0

jobs:
  unix:
    name: ${{ matrix.os }}
    runs-on: ${{ matrix.os }}
    strategy:
      fail-fast: false
      matrix:
        os:
          - ubuntu-latest
          - macos-latest

    steps:
      - uses: actions/checkout@v5

      - name: Checkout Yices
        uses: actions/checkout@v5
        with:
          repository: SRI-CSL/yices2
          ref: ${{ env.YICES_REF }}
          path: y2
          fetch-depth: 1
          sparse-checkout: |
            Makefile
            Makefile.build
            configure
            configure.ac
            config.guess
            config.sub
            gmaketest
            install-sh
            make.include.in
            autoconf
            configs
            scripts
            src
            utils
          sparse-checkout-cone-mode: false

      - name: Set up Java
        uses: actions/setup-java@v5
        with:
          distribution: temurin
          java-version: "17"

      - name: Install Linux dependencies
        if: runner.os == 'Linux'
        run: |
          sudo apt-get update
          sudo apt-get install -y ant autoconf automake g++ gcc gperf libgmp-dev libtool m4 make pkg-config

      - name: Install macOS dependencies
        if: runner.os == 'macOS'
        env:
          HOMEBREW_NO_AUTO_UPDATE: "1"
        run: |
          brew install ant autoconf automake gmp gperf libtool make pkg-config

      - name: Build and test
        env:
          YICES_SRC: ${{ github.workspace }}/y2
          YICES_PREFIX: ${{ runner.temp }}/yices-install
        run: bash scripts/ci-build-test-unix.sh

  windows:
    name: windows-latest
    runs-on: windows-latest

    steps:
      - run: git config --system core.longpaths true

      - run: git config --global core.autocrlf false && git config --global core.eol lf

      - uses: actions/checkout@v5

      - name: Checkout Yices
        uses: actions/checkout@v5
        with:
          repository: SRI-CSL/yices2
          ref: ${{ env.YICES_REF }}
          path: y2
          fetch-depth: 1
          sparse-checkout: |
            Makefile
            Makefile.build
            configure
            configure.ac
            config.guess
            config.sub
            gmaketest
            install-sh
            make.include.in
            autoconf
            configs
            scripts
            src
            utils
          sparse-checkout-cone-mode: false

      - name: Set up Java
        uses: actions/setup-java@v5
        with:
          distribution: temurin
          java-version: "17"

      - name: Install Ant
        shell: powershell
        run: choco install ant -y

      - name: Install Cygwin dependencies
        uses: cygwin/cygwin-install-action@v4
        with:
          packages: |
            autoconf,
            automake,
            cmake,
            coreutils,
            curl,
            gperf,
            libtool,
            m4,
            make,
            mingw64-x86_64-gcc-core,
            mingw64-x86_64-gcc-g++,
            moreutils,
            wget

      - name: Build and test
        shell: bash
        env:
          CYGWIN: winsymlinks:native binmode
          YICES_SRC: ${{ github.workspace }}/y2
          YICES_PREFIX: /tmp/yices-install
        run: bash scripts/ci-build-test-windows.sh