Browse Source

Rename GNU Makefile

tags/v0.0.1
Douglas Stebila 5 years ago
committed by Thom Wiggers
parent
commit
4a387d7896
No known key found for this signature in database GPG Key ID: 1BB0A7CE26E363
1 changed files with 5 additions and 3 deletions
  1. +5
    -3
      crypto_kem/kyber768/clean/Makefile.GNU_make

crypto_kem/kyber768/clean/Makefile → crypto_kem/kyber768/clean/Makefile.GNU_make View File

@@ -5,9 +5,11 @@ OBJECTS=$(patsubst %.c,%.o,$(SOURCES))

CFLAGS=-Wall -Wextra -Wpedantic -Werror -std=c99 -I../../../common $(EXTRAFLAGS)

all: $(LIB)

$(LIB): $(OBJECTS)
$(AR) -r $@ $(OBJECTS)
$(AR) -r $@ $(OBJECTS)

clean:
$(RM) $(OBJECTS)
$(RM) $(LIB)
$(RM) $(OBJECTS)
$(RM) $(LIB)

Loading…
Cancel
Save