remove optional universal quantifiers #111
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| # This workflow will build a Java project with Ant | |
| # For more information see: https://docs.github.com/en/actions/automating-builds-and-tests/building-and-testing-java-with-ant | |
| name: Java CI | |
| on: | |
| push: | |
| branches: [ "master", "main" ] | |
| pull_request: | |
| branches: [ "master", "main" ] | |
| env: | |
| DEFAULT_DOCKER_ACCOUNT: apease | |
| jobs: | |
| build: | |
| runs-on: ubuntu-latest | |
| container: | |
| image: apease/sigma-ci:latest | |
| steps: | |
| - name: checkout sigmakee | |
| uses: actions/checkout@v3 | |
| with: | |
| path: sigmakee | |
| - name: checkout TPTP-ANTLR | |
| uses: actions/checkout@v3 | |
| with: | |
| repository: 'ontologyportal/TPTP-ANTLR' | |
| path: TPTP-ANTLR | |
| - name: checkout SigmaUtils | |
| uses: actions/checkout@v3 | |
| with: | |
| repository: 'ontologyportal/SigmaUtils' | |
| path: SigmaUtils | |
| - name: checkout sumo | |
| uses: actions/checkout@v3 | |
| with: | |
| repository: 'ontologyportal/sumo' | |
| path: sumo | |
| - name: Setup SigmaKEE | |
| env: | |
| SIGMA_HOME: ${{ github.workspace }}/sigmakee-runtime | |
| SIGMA_SRC: ${{ github.workspace }}/sigmakee | |
| ONTOLOGYPORTAL_GIT: ${{ github.workspace }} | |
| working-directory: ${{ github.workspace }} | |
| run: | | |
| echo "SIGMA_HOME: $SIGMA_HOME" | |
| echo "SIGMA_SRC: $SIGMA_SRC" | |
| echo "ONTOLOGYPORTAL_GIT: $ONTOLOGYPORTAL_GIT" | |
| mkdir -p $SIGMA_HOME/KBs/WordNetMappings | |
| cp $SIGMA_SRC/config.xml $SIGMA_HOME/KBs | |
| cp -R $ONTOLOGYPORTAL_GIT/sumo/* $SIGMA_HOME/KBs | |
| cp /opt/WordNet-3.0/dict/* $SIGMA_HOME/KBs/WordNetMappings/ | |
| sed -i "s|/home/theuser/.sigmakee|$SIGMA_HOME|g" $SIGMA_HOME/KBs/config.xml | |
| sed -i "s|/home/theuser/workspace/sumo|$ONTOLOGYPORTAL_GIT/sumo|g" $SIGMA_HOME/KBs/config.xml | |
| sed -i "s|/home/theuser/E/bin/e_ltb_runner|/usr/local/bin/e_ltb_runner|g" $SIGMA_HOME/KBs/config.xml | |
| - name: Build with Ant | |
| env: | |
| SIGMA_HOME: ${{ github.workspace }}/sigmakee-runtime | |
| SIGMA_SRC: ${{ github.workspace }}/sigmakee | |
| ONTOLOGYPORTAL_GIT: ${{ github.workspace }} | |
| run: ant -noinput -buildfile build.xml | |
| working-directory: ./sigmakee | |
| - name: Prepare test env | |
| env: | |
| SIGMA_HOME: ${{ github.workspace }}/sigmakee-runtime | |
| SIGMA_SRC: ${{ github.workspace }}/sigmakee | |
| ONTOLOGYPORTAL_GIT: ${{ github.workspace }} | |
| working-directory: ./sigmakee | |
| run: | | |
| sed -i "s|/home/apease/.sigmakee|$SIGMA_HOME|g" $SIGMA_SRC/test/unit/java/resources/config_topOnly.xml | |
| sed -i "s|/home/apease/workspace/sumo|$ONTOLOGYPORTAL_GIT/sumo|g" $SIGMA_SRC/test/unit/java/resources/config_topOnly.xml | |
| sed -i "s|/home/apease/E/bin/e_ltb_runner|/usr/local/bin/e_ltb_runner|g" $SIGMA_SRC/test/unit/java/resources/config_topOnly.xml | |
| sed -i "s|/home/apease/workspace/vampire/vampire|/usr/local/bin/vampire|g" $SIGMA_SRC/test/unit/java/resources/config_topOnly.xml | |
| - name: Run unit tests | |
| env: | |
| SIGMA_HOME: ${{ github.workspace }}/sigmakee-runtime | |
| SIGMA_SRC: ${{ github.workspace }}/sigmakee | |
| ONTOLOGYPORTAL_GIT: ${{ github.workspace }} | |
| working-directory: ./sigmakee | |
| run: | | |
| java -Xmx8g -classpath $SIGMA_SRC/build/sigmakee.jar:$SIGMA_SRC/build/lib/* org.junit.runner.JUnitCore com.articulate.sigma.UnitTestSuite | |
| - name: Setup SIGMA_HOME for integration tests | |
| env: | |
| SIGMA_HOME: ${{ github.workspace }}/sigmakee-runtime | |
| SIGMA_SRC: ${{ github.workspace }}/sigmakee | |
| ONTOLOGYPORTAL_GIT: ${{ github.workspace }} | |
| working-directory: ${{ github.workspace }} | |
| run: | | |
| find $SIGMA_HOME/KBs -name '*.ser' -delete | |
| cp $SIGMA_SRC/config.xml $SIGMA_HOME/KBs | |
| sed -i "s|/home/theuser/.sigmakee|$SIGMA_HOME|g" $SIGMA_HOME/KBs/config.xml | |
| sed -i "s|/home/theuser/workspace/sumo|$ONTOLOGYPORTAL_GIT/sumo|g" $SIGMA_HOME/KBs/config.xml | |
| sed -i "s|/home/theuser/E/bin/e_ltb_runner|/usr/local/bin/e_ltb_runner|g" $SIGMA_HOME/KBs/config.xml | |
| sed -i "s|/home/theuser/workspace/vampire/vampire|/usr/local/bin/vampire|g" $SIGMA_HOME/KBs/config.xml | |
| sed -i '/<kb name/,/<\/kb>/d' $SIGMA_HOME/KBs/config.xml | |
| - name: Setup KB for integration tests | |
| env: | |
| SIGMA_HOME: ${{ github.workspace }}/sigmakee-runtime | |
| SIGMA_SRC: ${{ github.workspace }}/sigmakee | |
| ONTOLOGYPORTAL_GIT: ${{ github.workspace }} | |
| working-directory: ${{ github.workspace }} | |
| run: > | |
| sed -i '/<\/configuration>/i\ | |
| <kb name="SUMO">\n | |
| <constituent filename="Merge.kif"\/>\n | |
| <constituent filename="Mid-level-ontology.kif"\/>\n | |
| <constituent filename="english_format.kif"\/>\n | |
| <constituent filename="domainEnglishFormat.kif"\/>\n | |
| <\/kb>' $SIGMA_HOME/KBs/config.xml | |
| - name: Run integration tests | |
| env: | |
| SIGMA_HOME: ${{ github.workspace }}/sigmakee-runtime | |
| SIGMA_SRC: ${{ github.workspace }}/sigmakee | |
| ONTOLOGYPORTAL_GIT: ${{ github.workspace }} | |
| working-directory: ./sigmakee | |
| run: | | |
| java -Xmx8g -classpath $SIGMA_SRC/build/sigmakee.jar:$SIGMA_SRC/build/lib/* org.junit.runner.JUnitCore com.articulate.sigma.IntegrationTestSuite | |
| - name: Prune KB after integration tests | |
| env: | |
| SIGMA_HOME: ${{ github.workspace }}/sigmakee-runtime | |
| working-directory: ${{ github.workspace }} | |
| run: | | |
| find $SIGMA_HOME/KBs -name '*.ser' -delete | |
| rm -rf $SIGMA_HOME/KBs/tests | |
| - name: Upload sigmakee jars | |
| uses: actions/upload-artifact@v3 | |
| with: | |
| path: | | |
| ./sigmakee/build/lib/*.jar | |
| ./sigmakee/build/sigmakee.jar | |
| ./sigmakee/config.xml | |
| ./sigmakee-runtime | |
| - name: Upload sigmakee war | |
| uses: actions/upload-artifact@v3 | |
| with: | |
| name: sigma-webapp | |
| path: /usr/local/tomcat/webapps/sigma.war | |
| build-sumo-ci: | |
| runs-on: ubuntu-latest | |
| needs: build | |
| steps: | |
| - name: Checkout | |
| uses: actions/checkout@v3 | |
| - name: Login to Docker Hub | |
| if: github.event_name == 'push' | |
| uses: docker/login-action@v2 | |
| with: | |
| username: ${{ secrets.DOCKERHUB_USERNAME }} | |
| password: ${{ secrets.DOCKERHUB_TOKEN }} | |
| - name: Set up Docker Buildx | |
| uses: docker/setup-buildx-action@v2 | |
| - name: Download artifact | |
| uses: actions/download-artifact@v3 | |
| with: | |
| name: artifact | |
| - name: Download artifact | |
| uses: actions/download-artifact@v3 | |
| with: | |
| name: sigma-webapp | |
| - name: Setup SigmaKEE | |
| run: | | |
| ls . | |
| sed -i "s|/home/theuser/.sigmakee|/root/sigmakee-runtime|g" ./sigmakee/config.xml | |
| sed -i "s|/home/theuser/workspace/vampire/vampire|/usr/local/bin/vampire|g" ./sigmakee/config.xml | |
| sed -i "s|/home/theuser/E/bin/e_ltb_runner|/usr/local/bin/e_ltb_runner|g" ./sigmakee/config.xml | |
| cp ./sigmakee/config.xml ./sigmakee-runtime/KBs | |
| - name: Set image account name | |
| env: | |
| DOCKER_ACCOUNT: ${{ secrets.DOCKERHUB_USERNAME }} | |
| run: | | |
| echo "IMAGE_ACCOUNT=${DOCKER_ACCOUNT:-$DEFAULT_DOCKER_ACCOUNT}" >> $GITHUB_ENV | |
| - name: Build and push sumo-ci | |
| uses: docker/build-push-action@v4 | |
| with: | |
| context: . | |
| file: docker/sumo-ci/Dockerfile | |
| build-args: | | |
| IMAGE_ACCOUNT=${{ env.IMAGE_ACCOUNT }} | |
| push: ${{ github.event_name == 'push' }} | |
| tags: ${{ env.IMAGE_ACCOUNT }}/sumo-ci:latest | |
| platforms: linux/amd64,linux/arm64 | |
| cache-from: type=gha | |
| cache-to: type=gha,mode=max | |
| - name: Build and push sigmakee | |
| uses: docker/build-push-action@v4 | |
| with: | |
| context: . | |
| file: docker/sigmakee/Dockerfile | |
| build-args: | | |
| IMAGE_ACCOUNT=${{ env.IMAGE_ACCOUNT }} | |
| push: ${{ github.event_name == 'push' }} | |
| tags: ${{ env.IMAGE_ACCOUNT }}/sigmakee:latest | |
| platforms: linux/amd64,linux/arm64 | |
| cache-from: type=gha | |
| cache-to: type=gha,mode=max |