diff options
| author | Luca Deri <deri@ntop.org> | 2018-12-10 12:19:53 +0100 |
|---|---|---|
| committer | Luca Deri <deri@ntop.org> | 2018-12-10 12:19:53 +0100 |
| commit | e7cf989c7a5393c3f2edd477e540d04b5e76eff4 (patch) | |
| tree | b2d6c770ce2f2bbbca005169e214be3088e6d888 /src | |
| parent | 2a1313ffd5a1f5030e51960580f9abb4c83d058b (diff) | |
| parent | 140ed9887bf5681d01690ce9a28b12cb0053ec52 (diff) | |
Merge branch 'dev' of https://github.com/ntop/nDPI into dev
Diffstat (limited to 'src')
| -rw-r--r-- | src/lib/Makefile.in | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/src/lib/Makefile.in b/src/lib/Makefile.in index 297869fe3..0ffeb9db5 100644 --- a/src/lib/Makefile.in +++ b/src/lib/Makefile.in @@ -47,6 +47,7 @@ $(NDPI_LIB_STATIC): $(OBJECTS) $(NDPI_LIB_SHARED): $(OBJECTS) $(CC) -shared -fPIC $(SONAME_FLAG) -o $@ $(OBJECTS) ln -Ffs $(NDPI_LIB_SHARED) $(NDPI_LIB_SHARED_BASE) + ln -Ffs $(NDPI_LIB_SHARED) $(NDPI_LIB_SHARED_BASE).$(NDPI_VERSION_MAJOR) %.o: %.c $(HEADERS) Makefile $(CC) $(CFLAGS) -c $< -o $@ @@ -61,5 +62,6 @@ install: $(NDPI_LIBS) mkdir -p $(DESTDIR)$(libdir) cp $(NDPI_LIBS) $(DESTDIR)$(libdir)/ ln -Ffs $(DESTDIR)$(libdir)/$(NDPI_LIB_SHARED) $(DESTDIR)$(libdir)/$(NDPI_LIB_SHARED_BASE) + ln -Ffs $(DESTDIR)$(libdir)/$(NDPI_LIB_SHARED) $(DESTDIR)$(libdir)/$(NDPI_LIB_SHARED_BASE).$(NDPI_VERSION_MAJOR) mkdir -p $(DESTDIR)$(includedir) cp ../include/*.h $(DESTDIR)$(includedir) |