Can raco install old packages with a specific version?

[Kiwan]

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

[Sorawee Porncharoenwase]

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

--
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...@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.

[Sorawee Porncharoenwase]

Oh, and to install from source, go in the project directory, which could contain the file info.rkt. Run raco pkg install.

[Sorawee Porncharoenwase]

s/could/should/

[Kiwan]

Thank you for your help! It is working nicely.

2021년 8월 18일 수요일 오후 6시 8분 15초 UTC-4에 sorawe...@gmail.com님이 작성: