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/CADcuegun78mkN4TFx84sTE7TXbt8rsbgeMtGWbtYFvJvg4UaPQ%40mail.gmail.com.
