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 < sorawee.pw...@gmail.com> 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 <kwmaen...@gmail.com> 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 racket-users+unsubscr...@googlegroups.com. >> 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 racket-users+unsubscr...@googlegroups.com. To view this discussion on the web visit https://groups.google.com/d/msgid/racket-users/CADcuegun78mkN4TFx84sTE7TXbt8rsbgeMtGWbtYFvJvg4UaPQ%40mail.gmail.com.
