diff options
Diffstat (limited to 'Makefile.in')
-rw-r--r-- | Makefile.in | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/Makefile.in b/Makefile.in index 9ca85d6..3686b60 100644 --- a/Makefile.in +++ b/Makefile.in @@ -337,7 +337,9 @@ vpath %.py ${SRC_DIR} .DELETE_ON_ERROR: .DEFAULT_GOAL := all # main goals -all: ${BINARIES} +all: bin lib +bin: ${BINARIES} +lib: $(patsubst %.so,%.${SO_LONG},${LIBRARIES}) ii: ${PREPROCESSED} ll: ${IRS} bc: ${BITCODES} |