On Tue, Jan 03, 2023, EDWARD GOLDBERG wrote:
> Is it possible to remove me from this list please?
You should use the last feature from this page:
https://lists.gnu.org/mailman/listinfo/bug-gnubg
Best regards,
Philippe Michel
tir. 3. jan. 2023 kl. 22:44 skrev Philippe Michel :
> This is not a core library approach either, but I think that in chess
> open source software they tend to use a similar approach, with a few GUI
> applications and many engines using a common communication protocol.
>
> That may be an
On Sat, Dec 24, 2022 at 12:46:44PM +, Carsten Wenderdel wrote:
> 2. Separation of concerns
>
> If you want to play around with inputs and evaluation, develop a bot
> or another GUI it would be very helpful to have a core gnubg library
> without application code. For example a simple C or
On Sat, Dec 24, 2022 at 12:46:44PM +, Carsten Wenderdel wrote:
> 1. Build issues
>
> Last weekend I tried to compile gnubg on my M1 Mac and I couldn’t make
> it compile under macOS.
A few months ago I was contacted by someone who was trying to do exactly
that.
There were a few issues in
Hi Philippe,
thanks for your detailed answer!
> I converted the gnubg and gnubg-nn subdirectories in separate git repos.
> This seemed more natural to have gnubg at the root of its repo.
Yes, separate repositories might also make sense, I don't know what's better.
Having both in one
Thanks for your answer Øystein!
I agree that converting from cvs to git is a good idea. However, GitHub as the
git repo provider may not be the best, and I think that should be discussed. (I
do love GitHub, and I use it for all my personal projects, but there are some
issues ... )
What I
Hi, savannah-users!
I'm one of the maintainers/developers of the GNU project GNU Backgammon
(gnubg) and we are actually still using CVS as our main repo. We would like
to convert our main code base to git, as we strongly believe this has
become the new standard for developing open source
Happy new year to all!
I agree that converting from cvs to git is a good idea. However, GitHub as
the git repo provider may not be the best, and I think that should be
discussed. (I do love GitHub, and I use it for all my personal projects,
but there are some issues ... )
What I rather suggest
