curry-tools merge requestshttps://git.ps.informatik.uni-kiel.de/curry/curry-tools/-/merge_requests2016-09-26T08:31:19Zhttps://git.ps.informatik.uni-kiel.de/curry/curry-tools/-/merge_requests/1Ensure ACY files are present for every module2016-09-26T08:31:19ZJonas OberschweiberEnsure ACY files are present for every moduleCurryDoc fails when the initial call to the frontend does not generate ACY files for all dependent modules. With this patch, CurryDoc checks for an ACY file before generating the documentation for a module. If the file is missing, it cal...CurryDoc fails when the initial call to the frontend does not generate ACY files for all dependent modules. With this patch, CurryDoc checks for an ACY file before generating the documentation for a module. If the file is missing, it calls the frontend to generate it.https://git.ps.informatik.uni-kiel.de/curry/curry-tools/-/merge_requests/2Merge in changes from curry package "socket"2019-04-04T07:39:40ZKai ProttMerge in changes from curry package "socket"Together with https://git.ps.informatik.uni-kiel.de/curry/kics2/merge_requests/2 this fixes the issues with network-3.0.0 in ghc >= 7.8
"cypm update" worked just fine, so it seems like everything is working correctlyTogether with https://git.ps.informatik.uni-kiel.de/curry/kics2/merge_requests/2 this fixes the issues with network-3.0.0 in ghc >= 7.8
"cypm update" worked just fine, so it seems like everything is working correctlyMichael HanusMichael Hanushttps://git.ps.informatik.uni-kiel.de/curry/curry-tools/-/merge_requests/3Update vendored System.CurryPath module with new curryrcFileName function2020-11-30T08:20:01ZFredrik WieczerkowskiUpdate vendored System.CurryPath module with new curryrcFileName functionUpdate the vendored `System.CurryPath` module with the newly defined `curryrcFileName` function.Update the vendored `System.CurryPath` module with the newly defined `curryrcFileName` function.https://git.ps.informatik.uni-kiel.de/curry/curry-tools/-/merge_requests/4WIP: Update vendored CPM dependencies for KiCS22021-03-16T23:23:57ZFredrik WieczerkowskiWIP: Update vendored CPM dependencies for KiCS2See curry-packages/read-legacy!1.See curry-packages/read-legacy!1.https://git.ps.informatik.uni-kiel.de/curry/curry-tools/-/merge_requests/5Apply KiCS2-specific fixes2021-03-22T15:08:30ZFredrik WieczerkowskiApply KiCS2-specific fixesThis branch applies
* curry-packages/socket!2
* curry-packages/io-extra!1
* curry-packages/directory!1
to the vendored packages.This branch applies
* curry-packages/socket!2
* curry-packages/io-extra!1
* curry-packages/directory!1
to the vendored packages.https://git.ps.informatik.uni-kiel.de/curry/curry-tools/-/merge_requests/6Clean up gitignore by ignoring all .cpm directories2023-08-03T16:28:36ZFredrik WieczerkowskiClean up gitignore by ignoring all .cpm directoriesThis is also consistent with the default `.gitignore` generated by `cypm init`.This is also consistent with the default `.gitignore` generated by `cypm init`.