Thank you for your help! It is working nicely.

2021년 8월 18일 수요일 오후 6시 8분 15초 UTC-4에 [email protected]님이 작성:

> 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/9f6a847d-eb1e-4c6b-b0b3-bd8567e72101n%40googlegroups.com.

Reply via email to