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/CADcuegvMkZbSDK5UppS-JzjBAP2U%3DzebVnm0No2tFyRV%2Bb64_Q%40mail.gmail.com.
