Installation info is missed.

[Navy Xie]

Hello,

I am trying to integrate OscaR into my project, however I found the installation info is missed.

Here is the page about the installation, https://www.info.ucl.ac.be/~pschaus/oscardoc/intro.html#install-oscar. 

It provides a link to a wiki that is empty, https://bitbucket.org/oscarlib/oscar/wiki/oscar-cp-userinstall

Please help take a look. Thank you.

Have a good day.

Navy Xie

[Pierre Schaus]

Hi Navy,

Indeed we moved to git recently and haven’t migrated yet our wiki.

I just did an automated migration: https://bitbucket.org/oscarlib/oscar/wiki/Home

For the rest the project is using SBT. I hope you are familiar with it.

The artifactory with the build is here: http://artifactory.info.ucl.ac.be/artifactory/webapp/#/artifacts/browse/tree/General/libs-snapshot-local/oscar

We also removed the data-files from the project, you can download them here:

https://uclouvain-my.sharepoint.com/:f:/g/personal/guillaume_derval_uclouvain_be/EsHcG_exO_BCsAD9fFdlQa8BbjFwQTeGb1eZJtL504xVZw?e=YAERpF

We may give you more info depending on the library of Oscar you want to use (CP, CBLS, …)

Best regards,

Pierre

On 20 Mar 2020, at 07:49, Navy Xie <navy...@gmail.com> wrote:

Hello,

I am trying to integrate OscaR into my project, however I found the installation info is missed.

Here is the page about the installation, https://www.info.ucl.ac.be/~pschaus/oscardoc/intro.html#install-oscar. 

<Screen Shot 2020-03-20 at 2.48.17 PM.png>

It provides a link to a wiki that is empty, https://bitbucket.org/oscarlib/oscar/wiki/oscar-cp-userinstall

<Screen Shot 2020-03-20 at 2.47.56 PM.png>

Please help take a look. Thank you.

Have a good day.

Navy Xie

--

---
You received this message because you are subscribed to the Google Groups "OscaR" group.
To unsubscribe from this group and stop receiving emails from it, send an email to oscar-user+...@googlegroups.com.
To view this discussion on the web visit https://groups.google.com/d/msgid/oscar-user/66073e25-fe32-48b1-9159-796862bbaafd%40googlegroups.com.
<Screen Shot 2020-03-20 at 2.48.17 PM.png><Screen Shot 2020-03-20 at 2.47.56 PM.png>