Thank you for your help! It is working nicely. 2021년 8월 18일 수요일 오후 6시 8분 15초 UTC-4에 [email protected]님이 작성:
> s/could/should/ > > On Wed, Aug 18, 2021 at 3:07 PM Sorawee Porncharoenwase < > [email protected]> wrote: > >> Oh, and to install from source, go in the project directory, which could >> contain the file info.rkt. Run raco pkg install. >> >> >> On Wed, Aug 18, 2021 at 3:05 PM Sorawee Porncharoenwase < >> [email protected]> wrote: >> >>> Hi Kiwan, >>> >>> There are many possibilities that you can do. >>> >>> One is to download the source code of a version that you want from >>> https://github.com/emina/rosette/releases and then install from source. >>> >>> Another is to find a commit that you want from GitHub and use the >>> command line like raco pkg install >>> https://github.com/emina/rosette.git#bb08ef1a1bdc7232bbc857985aedba116fcecf47 >>> . >>> This bb08ef1a1 commit is the latest commit in Rosette 3, so you can >>> simply use it if you prefer to. >>> It might be a bit difficult to find a commit on your own though since >>> the history in the repo is kinda messed up. >>> >>> Hope this helps, >>> Sorawee >>> >>> >>> >>> >>> On Wed, Aug 18, 2021 at 2:52 PM Kiwan <[email protected]> wrote: >>> >>>> Hi, all. >>>> I am new to this community and new to Racket. >>>> So apology in advance if my question is inappropriate and please guide >>>> me to the right channel in that case. >>>> >>>> I am trying to run a codebase someone else wrote. It is based on Racket >>>> 7.5 w/ Rosette 3.x. >>>> When I try running it with Racket 8.2 w/ Rosette 4.0, the code does not >>>> run properly due to major syntatic changes between the versions >>>> (especially >>>> from Rosette). >>>> >>>> I am planning to port the codebase to the latest Racket/Rosette, but >>>> since I don't have a running version, I first want to make the code run as >>>> it is for reference purposes. >>>> I know that I can install Racket 7.5 by specifying its version. >>>> However, I am having a hard time figuring out how I can install the old >>>> Rosette 3.x with raco package manager. >>>> >>>> Is it possible to install old packages with raco (e.g., similar to how >>>> I would do apt-get install $pkg==$version)? Or should I compile the old >>>> Rosette from source? >>>> >>>> I would highly appreciate any help. >>>> Thank you, >>>> Best regards >>>> Kiwan >>>> >>>> -- >>>> 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 [email protected]. >>>> To view this discussion on the web visit >>>> https://groups.google.com/d/msgid/racket-users/a02da3b4-9965-4588-ae9e-e78010a2c283n%40googlegroups.com >>>> >>>> <https://groups.google.com/d/msgid/racket-users/a02da3b4-9965-4588-ae9e-e78010a2c283n%40googlegroups.com?utm_medium=email&utm_source=footer> >>>> . >>>> >>> -- 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 [email protected]. To view this discussion on the web visit https://groups.google.com/d/msgid/racket-users/9f6a847d-eb1e-4c6b-b0b3-bd8567e72101n%40googlegroups.com.

