Skip to content

Commit

Permalink
REF: shorten line in Makefile rule cudd
Browse files Browse the repository at this point in the history
  • Loading branch information
johnyf committed Dec 8, 2023
1 parent 024d560 commit 56fe4d2
Showing 1 changed file with 7 additions and 1 deletion.
8 changes: 7 additions & 1 deletion Makefile
Original file line number Diff line number Diff line change
Expand Up @@ -122,7 +122,13 @@ show_deprecated:

cudd:
cd cudd-*; \
make build XCFLAGS="-fPIC -mtune=native -DHAVE_IEEE_754 -DBSD -DSIZEOF_VOID_P=8 -DSIZEOF_LONG=8"
make build XCFLAGS="\
-fPIC \
-mtune=native \
-DHAVE_IEEE_754 \
-DBSD \
-DSIZEOF_VOID_P=8 \
-DSIZEOF_LONG=8"

doc:
grip --export doc.md index.html
Expand Down

0 comments on commit 56fe4d2

Please sign in to comment.