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/CADcueguqNOBBA8Hht7B7zNbHKtU%3DAms-sc9AyuNFBXKtCnuLSA%40mail.gmail.com.
