How to include in my own projects?

[Nerotos]

Hello,

I wanted to ask what the best way to include these modules in my own projects would be? Given that the last release on Maven is a few years old, I guess you need to include the whole repository somehow? Thank you!

[xlgforever]

to build and publish it locally:

git clone https://github.com/ucb-bar/berkeley-hardfloat.git hardfloat    
cd hardfloat    
sbt publish-local

It may work, But I am not sure.

[xxzh12]

to build and publish it locally:

git clone https://github.com/ucb-bar/berkeley-hardfloat.git hardfloat    
cd hardfloat    
sbt publish-local

It may work, But I am not sure.

It seems sbt publish-local -> sbt publishLocal, which works.