clean-build merge requestshttps://gitlab.science.ru.nl/clean-and-itasks/clean-build/-/merge_requests2018-05-14T12:28:25+02:00https://gitlab.science.ru.nl/clean-and-itasks/clean-build/-/merge_requests/15Update for clean-test update2018-05-14T12:28:25+02:00Camil StapsUpdate for clean-test updateThis updates the clean-test build procedure to use clean-test's own makefile.
It also adds the new `makecleantest` program to `bin`. This (experimental) program can generate test programs from properties in documentation (as in clean-...This updates the clean-test build procedure to use clean-test's own makefile.
It also adds the new `makecleantest` program to `bin`. This (experimental) program can generate test programs from properties in documentation (as in clean-platform!131). Although no TCPIP/ArgEnv functionality is used, the dependencies are added because clean-test now depends on Cloogle libraries and the clean compiler, which need these libraries in the include path.
P.S. Could I get developer access to this repository?https://gitlab.science.ru.nl/clean-and-itasks/clean-build/-/merge_requests/81Update references2021-04-29T12:54:54+02:00Elroy JumpertzUpdate referencesSee https://gitlab.com/top-software/general/-/issues/33See https://gitlab.com/top-software/general/-/issues/33Erin van der VeenErin van der Veenhttps://gitlab.science.ru.nl/clean-and-itasks/clean-build/-/merge_requests/69update Tools/*.py scripts to python32021-03-19T15:36:08+01:00Mart Lubbersupdate Tools/*.py scripts to python3Closes #45Closes #45Bas LijnseBas Lijnsehttps://gitlab.science.ru.nl/clean-and-itasks/clean-build/-/merge_requests/35Update tools used on linux-x642018-11-13T16:03:59+01:00Camil StapsUpdate tools used on linux-x64Bas LijnseBas Lijnsehttps://gitlab.science.ru.nl/clean-and-itasks/clean-build/-/merge_requests/30Update two more cases to the new repo-branch directory structure2018-09-25T11:33:31+02:00Camil StapsUpdate two more cases to the new repo-branch directory structureThe one in the `if` statement wouldn't normally cause problems but the one for the `cd` caused issues with building for date.
I also updated the `.gitignore`.The one in the `if` statement wouldn't normally cause problems but the one for the `cd` caused issues with building for date.
I also updated the `.gitignore`.Bas LijnseBas Lijnsehttps://gitlab.science.ru.nl/clean-and-itasks/clean-build/-/merge_requests/58Use architecture dependent Unix Platform files2020-06-02T14:56:17+02:00Erin van der VeenUse architecture dependent Unix Platform filesThis modifies the buildscripts such that they work with:
https://gitlab.science.ru.nl/clean-and-itasks/clean-ide/-/merge_requests/28This modifies the buildscripts such that they work with:
https://gitlab.science.ru.nl/clean-and-itasks/clean-ide/-/merge_requests/28Camil StapsCamil Stapshttps://gitlab.science.ru.nl/clean-and-itasks/clean-build/-/merge_requests/20use clean-ide from git instead of svn2019-01-14T09:51:05+01:00Mart Lubbersuse clean-ide from git instead of svnBas LijnseBas Lijnsehttps://gitlab.science.ru.nl/clean-and-itasks/clean-build/-/merge_requests/112use curl -k on 32 bit windows2021-12-14T15:03:57+01:00John van Groningenuse curl -k on 32 bit windowsuse curl -k on 32 bit windows to be able to download zips from the ftp serveruse curl -k on 32 bit windows to be able to download zips from the ftp serverJohn van GroningenJohn van Groningenhttps://gitlab.science.ru.nl/clean-and-itasks/clean-build/-/merge_requests/71Use git rev-list --first-parent when checking out git repositories when CLEAN...2021-03-09T21:37:48+01:00Camil StapsUse git rev-list --first-parent when checking out git repositories when CLEANDATE is setThis way we only check out a previous state of the requested branch.
For example, if the history looks like:
```
* (merge) commit 4
|\
| * commit 3
| |
| * commit 2
|/
* commit 1
```
If a commit before 3 is requested, previously, com...This way we only check out a previous state of the requested branch.
For example, if the history looks like:
```
* (merge) commit 4
|\
| * commit 3
| |
| * commit 2
|/
* commit 1
```
If a commit before 3 is requested, previously, commit 2 would be
selected. With `--first-parent`, we only follow the left path, and commit
1 is selected. This avoids checking out the intermediate state on a
feature branch.Steffen MichelsSteffen Michelshttps://gitlab.science.ru.nl/clean-and-itasks/clean-build/-/merge_requests/45Use graph-copy from clean-libraries2019-03-22T11:11:03+01:00Camil StapsUse graph-copy from clean-librariesTo do:
- [x] Discuss the `graph_to_string_with_descriptors` module (can it be removed?)
- [x] Fix the win32 build script (probably add a makefile to clean-libraries)To do:
- [x] Discuss the `graph_to_string_with_descriptors` module (can it be removed?)
- [x] Fix the win32 build script (probably add a makefile to clean-libraries)Bas LijnseBas Lijnsehttps://gitlab.science.ru.nl/clean-and-itasks/clean-build/-/merge_requests/85use master branch for arm64 graphcopy and properly merge the abc interpreter ...2021-06-10T12:05:19+02:00Mart Lubbersuse master branch for arm64 graphcopy and properly merge the abc interpreter patcheshttps://gitlab.science.ru.nl/clean-and-itasks/clean-build/-/merge_requests/132use npm to download/update node modules instead of downloading artifact from ...2022-04-04T14:59:05+02:00Steffen Michelsuse npm to download/update node modules instead of downloading artifact from CI pipeline for Linux-x64This prevents outdated node package produced by the pipeline to be included and simplified the pipeline.This prevents outdated node package produced by the pipeline to be included and simplified the pipeline.Gijs AlbertsGijs Albertshttps://gitlab.science.ru.nl/clean-and-itasks/clean-build/-/merge_requests/50WIP: Remove clean-lib-sapl (build is broken because the compiler does not sup...2019-09-13T15:32:39+02:00Camil StapsWIP: Remove clean-lib-sapl (build is broken because the compiler does not support -sapl any more)To do:
- [ ] There is also Sapl stuff in `clean-classic`. I'm unsure what that distribution should look like.To do:
- [ ] There is also Sapl stuff in `clean-classic`. I'm unsure what that distribution should look like.https://gitlab.science.ru.nl/clean-and-itasks/clean-build/-/merge_requests/23WIP: Resolve "basicapiexamples.icl is not generated in the builds"2018-10-22T07:20:14+02:00Mart LubbersWIP: Resolve "basicapiexamples.icl is not generated in the builds"Closes #21
TODO
- [x] linux64
- [x] macos64
- [ ] windows64
- [ ] windows32Closes #21
TODO
- [x] linux64
- [x] macos64
- [ ] windows64
- [ ] windows32