I guess I don't fully understand what you're trying to accomplish. In general, a Racket package might live inside some git repository on the file system, but Racket wouldn't necessarily know anything about that.
If you want "best-effort checksum associated with this code in some way" then combining the information from `pkg-info` with calling the git binary is probably necessary. If you want "the checksum used to install this package" then if the package checksum in #f it doesn't exist. Sam On Sun, Jun 16, 2019 at 10:11 PM Eric Eide <ee...@cs.utah.edu> wrote: > > Sam Tobin-Hochstadt <sa...@cs.indiana.edu> writes: > > > What do you need the hash for? Could you get the hash from the package > > system, for example: > > > >> (require pkg/lib) > >> (pkg-info-checksum (hash-ref (installed-pkg-table) "z3")) > > "84059a4428454cc6edd57865befaedb1d29dedce" > > This trick does not work (in my tests so far) when a git sandbox is linked as > a > package. When installed in that way, the package checksum is #f :-(. > > -- > ------------------------------------------------------------------------------- > Eric Eide <ee...@cs.utah.edu> . University of Utah School of > Computing > http://www.cs.utah.edu/~eeide/ . +1 (801) 585-5512 voice, +1 (801) 581-5843 > FAX > > -- > You received this message because you are subscribed to the Google Groups > "Racket Users" group. > To unsubscribe from this group and stop receiving emails from it, send an > email to racket-users+unsubscr...@googlegroups.com. > To view this discussion on the web visit > https://groups.google.com/d/msgid/racket-users/m1tvcpklkm.fsf%40cs.utah.edu. > For more options, visit https://groups.google.com/d/optout. -- You received this message because you are subscribed to the Google Groups "Racket Users" group. To unsubscribe from this group and stop receiving emails from it, send an email to racket-users+unsubscr...@googlegroups.com. To view this discussion on the web visit https://groups.google.com/d/msgid/racket-users/CAK%3DHD%2BYuiqwUoX_L6paQ%2BEf%2B7axS8JKao1N%3DBaCDrFpcLm189w%40mail.gmail.com. For more options, visit https://groups.google.com/d/optout.