replaced by configure script

fplll / g6k

The General Sieve Kernel

GNU General Public License v2.0

99 stars 30 forks source link

replaced by configure script #83

Closed malb closed 2 years ago

malb commented 3 years ago

If we agree that configure is feature complete, we should remove rebuild.sh to avoid surprises in the future.

lducas commented 3 years ago

Please document how to use the same options that rebuild.sh offered within configure though :)

malb commented 3 years ago

Please document how to use the same options that rebuild.sh offered within configure though :)

Where? It's all in ./configure --help at the moment.

malb commented 2 years ago

Can I merge this?

joerowell commented 2 years ago

I agree -- I didn't see anything missing and rebuild always confuses me.

On Fri, 19 Nov 2021, 09:30 Martin R. Albrecht, @.***> wrote:

Can I merge this?

— You are receiving this because you are subscribed to this thread. Reply to this email directly, view it on GitHub https://github.com/fplll/g6k/pull/83#issuecomment-973903380, or unsubscribe https://github.com/notifications/unsubscribe-auth/AF7CASBXBUECVKNXXW5FAKLUMYKJXANCNFSM44MXN2LQ .

lducas commented 2 years ago

cr-marcstevens commented 2 years ago