Skip to content
Browse files

Fix library installation.

  • Loading branch information...
1 parent 6e86353 commit 0ffbaba87eb3f0a1edeee7c589ea1a0e572a356a @samoht samoht committed
Showing with 3 additions and 3 deletions.
  1. +3 −3 Makefile
View
6 Makefile
@@ -77,12 +77,12 @@ uninstall:
rm -f $(prefix)/bin/opam*
rm -f $(mandir)/man1/opam*
-LIB = opam-lib
+LIB = opam-core
NOMLI = opamGlobals.ml
-MLI = $(foreach i, $(shell find src/ -name "*.mli"), $(notdir $i))
+MLI = $(foreach i, $(shell find src/core -name "*.mli"), $(notdir $i))
_FILES= $(LIB:%=%.a) $(LIB:%=%.cma) $(LIB:%=%.cmxa)\
$(MLI:%.mli=%.cmi)
-FILES = $(_FILES:%=_obuild/opam-lib/%) $(NOMLI:%.ml=_obuild/opam-lib/%.cmi)
+FILES = $(_FILES:%=_obuild/opam-core/%) $(NOMLI:%.ml=_obuild/opam-core/%.cmi)
.PHONY: libuninstall libinstall
libinstall: META

0 comments on commit 0ffbaba

Please sign in to comment.
Something went wrong with that request. Please try again.