libera/#clasp - IRC Chatlog
Search
19:30:15
yitzi
kpoeck: Just for the heck of it I am trying this: https://plaster.tymoon.eu/view/3126#3126
19:37:27
drmeister
I'm running the static analyzer for clasp+cando now - I'll get to the bottom of what's going on.
19:54:04
yitzi
drmeister: So I think this is a bug. https://github.com/clasp-developers/clasp/blob/0e207e7cfea6548d34635001477e1b7f01885147/src/koga/ninja.lisp#L704
20:01:54
Bike
ooh, there's an ErrorSimpleDepthCounter thing i missed, so there's all kinds of spurious warnings about error depth during the ansi tests
20:02:25
Bike
actually, is this something else we should remove? it again seems ot use a global variable instead of a threadlocal
20:13:36
drmeister
It looks like analyze in koga writes to clasp/src/clasp_gc.sif. It's not getting whatever clue I had waf pass to the static analyzer to put it in extensions/cando/src/clasp_gc_cando.sif
20:15:40
drmeister
yitzi: Yes - we need to tell it to put the clasp_gc_cando.sif file in the extensions/cando/src/ directory.
20:33:34
Bike
i'm inclined to simply remove ErrorSimpleDepthCounter, since we already have another depth counter for errors in general
20:39:43
yitzi
kpoeck: Can you try the unicode-3 branch when you have time? Testing on Linux now, but it passed on Mac here.
20:43:02
drmeister
yitzi: Could you change that so that it uses the name of the single extension if one exists to define the path and the name of the sif file?
20:44:56
yitzi
The `(extensions configuration)` is a keyword list of the extensions. Not sure what you would do with `:seqan-clasp`
20:46:56
yitzi
Plus, there is a lot places where `(member :cando (extensions configuration))` is treated specially. I get what you are saying, but changing the logic there is gonna really fix anything.
23:07:11
pfd
Fortunately, I discovered that Devuan Ceres contains clang/llvm 13.01.x. Therefore I'm converting my Devuan Chimaera system(s) to Devuan Ceres. Hopefully ./koga will be approve.
23:18:12
yitzi
drmeister: Two things occurred to about the static analyzer. First could we make the sif files generated by it composable? Basically have tags recognized by the scrapper that identifies which sif file the stuff from the analyzer goes in? Or if that doesn't work, maybe don't put clasp_gc_cando.sif in the cando folder. Instead put all of them in the clasp folder with a name concatenated from the extensions, i.e. `(format nil "src/clasp_gc~{_~a~}"
23:18:26
pfd
I'm still in the process of updating packages to reach llvm13, through apt in Devuan. Previously I tried building LLVM 13 and installing it afterwards, but the process didn't proceed due to my system's ID not being 'Debian' or 'Ubuntu'
23:21:23
pfd
Yes, but it's not smart enough to know that Devuan is virtually identical to Debian. It doesn't proceed with the sysId saying 'Devuan'
23:22:12
pfd
As I stated above the bleeding edge / rolling version of Devuan has LLVM 13 within APT.
23:24:35
pfd
I just changed my repos list to make this massive shift. I'll just have to ignore/be selective about a lot of updates, if I want to stay relatively stable.
23:26:41
yitzi
Well, I've already gone to the darkside with Arch long ago so the claims of "stability" with Debian are foreign to me. ;)
23:30:28
pfd
I also still use CMUCL with Hemlock. Debian/Devuan is closest and most dedicated to that project and to GNU Hurd, etc.
2:18:15
drmeister
yitzi: I'm not sure about composable. The static analyzer crawls through all the code and finds all classes that have smart_ptr in them and maps out their offset.
2:18:47
drmeister
If we have a class in clasp and we inherit from it in Cando - then we need the layout of the clasp part.
2:21:49
drmeister
We have been able to improve things. It used to be that we had to run the static analyzer for every combination of extensions. That was because back then the stamps were calculated by the static analyzer.
2:22:17
drmeister
Now we leave that for the scraper and it can merge the .sif files from each extension into a correct layout of every class.
2:30:29
Bike
like generate the clasp sif and the cando-clasp sif, and then take everything out of the cando-clasp sif that's in the clasp sif
2:30:47
Bike
or, somewhat more sophisticatedly, change the analyzer so you can give it an input base sif, and it won't bother recursing into anything in the base
2:31:04
Bike
then we could set the base as the clasp sif and run it on cando-clasp and just get the cando stuff
6:33:20
pfd
I just tried a (buildmode (:bitcode)) build with (:extensions (:cando :seqan-clasp)) and it failed at the same attempting Linking of:
6:33:21
pfd
Perhaps this is not just me. Maybe it's a current failpoint for others too. I say this only because I thought a noticed a discussion
6:33:22
pfd
earlier yesterday regarding this boehmprecise gc; or did I notice this discussion with rotateq in another chat group #phantomics (APRIL APL compiler to CL).