diff options
author | David Monniaux <david.monniaux@univ-grenoble-alpes.fr> | 2019-01-30 17:06:00 +0100 |
---|---|---|
committer | David Monniaux <david.monniaux@univ-grenoble-alpes.fr> | 2019-01-30 17:06:00 +0100 |
commit | 2b36046e05e6688d225ca0ecc4e8436bd8c2720f (patch) | |
tree | 1489ba928ec2bce5d4018bdfd4faf1f53a2d04f0 /test/monniaux/crypto-algorithms/Makefile | |
parent | 7912e9944b6f67f41f5a8e75e7a41a3aaf8d37e5 (diff) | |
download | compcert-kvx-2b36046e05e6688d225ca0ecc4e8436bd8c2720f.tar.gz compcert-kvx-2b36046e05e6688d225ca0ecc4e8436bd8c2720f.zip |
no need for modulo and division
Diffstat (limited to 'test/monniaux/crypto-algorithms/Makefile')
-rw-r--r-- | test/monniaux/crypto-algorithms/Makefile | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/test/monniaux/crypto-algorithms/Makefile b/test/monniaux/crypto-algorithms/Makefile index 493ad22b..db372898 100644 --- a/test/monniaux/crypto-algorithms/Makefile +++ b/test/monniaux/crypto-algorithms/Makefile @@ -37,7 +37,7 @@ des.all: des_test.ccomp.k1c.out des_test.gcc.k1c.out %_test.gcc.k1c: %.gcc.k1c.o %_test.gcc.k1c.o $(K1C_CC) $(K1C_CFLAGS) $+ -o $@ -%_test.ccomp.k1c: %.ccomp.k1c.o %_test.gcc.k1c.o modulo_division.gcc.k1c.o +%_test.ccomp.k1c: %.ccomp.k1c.o %_test.gcc.k1c.o $(K1C_CCOMP) $(K1C_CCOMPFLAGS) $+ -o $@ %.k1c.out: %.k1c |