ivanperez-keera
commented
5 months ago Change Manager: Verified that:
-
Solution is implemented:
- [X] The code proposed compiles passes the tests. Details:
- Build logs:
- Build log archives:
- [X] The solution proposed fixes the issues described.
The following docker image installs ogma enforcing the new version via compiler constraints.
FROM ubuntu:trusty
ENV DEBIAN_FRONTEND=noninteractive
RUN apt-get update
RUN apt-get install --yes software-properties-common RUN add-apt-repository ppa:hvr/ghc RUN apt-get update
RUN apt-get install --yes ghc-8.6.5 cabal-install-2.4 RUN apt-get install --yes libz-dev
ENV PATH=/opt/ghc/8.6.5/bin:/opt/cabal/2.4/bin:$PWD/.cabal-sandbox/bin:$PATH
RUN cabal update RUN cabal v1-sandbox init RUN cabal v1-install alex happy RUN apt-get install --yes git
We install the application first and then test it, in case any tests need to
run the tool.
CMD git clone $REPO && \ cd $NAME && \ git checkout $COMMIT && \ cd .. && \ cabal v1-install $NAME/$PAT/ --enable-tests \ --constraint="ogma-cli==1.4.0" \ --constraint="ogma-core==1.4.0" \ --constraint="ogma-language-smv==1.4.0" \ --constraint="ogma-language-copilot==1.4.0" \ --constraint="ogma-language-cocospec==1.4.0" \ --constraint="ogma-language-c==1.4.0" \ --constraint="ogma-language-jsonspec==1.4.0" \ --constraint="ogma-extra==1.4.0" \ --constraint="ogma-spec==1.4.0" \ && \ cabal v1-install $NAME/$PAT/ --enable-tests --run-tests -j1
Command:$ docker run -e "REPO=https://github.com/nasa/ogma" -e "NAME=ogma" -e PAT="ogma-" -e "COMMIT=2071ab0240eb7bb8863dc7cde2a935d5a96c095d" -it ogma-verify-145
- [X] Implementation is documented. Details: No need for updates to documentation.
- [X] Change history is clear.
- [X] Commit messages are clear.
- [X] Changelogs are updated.
- [X] Examples are updated. Details: No examples affected.
- [X] Required version bumps are evaluated. Details: No bump needed; bump executed.
Update version numbers of all packages and adjust dependencies, as prescribed in the solution proposed for #145.