Repository navigation
Tags
Tags
Merge branch 'release-3.10'. Close Copilot-Language#356. **Description** Version 3.10 of Copilot is ready and should be closed and published on Hackage. **Type** - Management: release and publication. **Additional context** None. **Requester** - Ivan Perez. **Method to check presence of bug** The following docker image installs copilot enforcing the new version via compiler constraints. It prints the message "Success" at the end if all completes correctly, and shows an error message otherwise. ```Dockerfile FROM ubuntu:focal RUN apt-get update RUN apt-get install --yes libz-dev RUN apt-get install --yes git RUN apt-get install --yes wget RUN mkdir -p $HOME/.ghcup/bin RUN wget https://downloads.haskell.org/~ghcup/0.1.17.7/x86_64-linux-ghcup-0.1.17.7 -O $HOME/.ghcup/bin/ghcup RUN chmod a+x $HOME/.ghcup/bin/ghcup ENV PATH=$PATH:/root/.ghcup/bin/ ENV PATH=$PATH:/root/.cabal/bin/ RUN apt-get install --yes curl RUN apt-get install --yes gcc make libgmp3-dev RUN ghcup install ghc 9.0 RUN ghcup install cabal 3.4 RUN ghcup set ghc 9.0.2 RUN cabal update SHELL ["/bin/bash", "-c"] CMD git clone $REPO \ && cd $NAME \ && git checkout $COMMIT \ && cabal install --lib copilot**/ \ --constraint="copilot==3.10" \ --constraint="copilot-c99==3.10" \ --constraint="copilot-core==3.10" \ --constraint="copilot-language==3.10" \ --constraint="copilot-libraries==3.10" \ --constraint="copilot-theorem==3.10" \ && echo Success ``` Command (substitute variables based on new path after merge): ``` $ docker run -e "REPO=https://github.com/Copilot-Language/copilot" -e "NAME=copilot" -e "COMMIT=<HASH>" -it copilot-verify-356 ``` **Expected result** - Cabal files indicate new version number, constraints are adjusted as needed, commit is tagged with version number, and packages are published on hackage. - Using the above image to install completes successfully. Modifying the command so that copilot is installed directly from hackage also completes successfully. **Solution implemented** - Cabal files indicate new version number, constraints are adjusted as needed, commit is tagged with version number, and packages are published on hackage. **Further notes** - New version published on hackage.
Merge branch 'release-3.9'. Close Copilot-Language#320. **Description** Version 3.9 of Copilot is ready and should be closed and published on Hackage. **Type** - Management: release and publication. **Additional context** None. **Requester** - Ivan Perez. **Method to check presence of bug** Not applicable (not a bug). **Expected result** - Cabal files indicate new version number, constraints are adjusted as needed, commit is tagged with version number, and packages are published on hackage. **Solution implemented** - Cabal files indicate new version number, constraints are adjusted as needed, commit is tagged with version number, and packages are published on hackage. **Further notes** - New version published on hackage.
PreviousNext