diff options
| author | bcpierce00 <bcpierce00@users.noreply.github.com> | 2018-01-02 17:11:41 -0500 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2018-01-02 17:11:41 -0500 |
| commit | 23e7ea9509fa5c678db0de4cd87772ff06d83180 (patch) | |
| tree | bc15be4b274830cb75031babb558d5d0708fc579 /src | |
| parent | 764cdb821e231e8eb30e79b5f68e4ccf4fb2e09e (diff) | |
| parent | e6efb4b810020bcc6643fc76b746969ba2334f13 (diff) | |
| download | unison-23e7ea9509fa5c678db0de4cd87772ff06d83180.zip unison-23e7ea9509fa5c678db0de4cd87772ff06d83180.tar.gz unison-23e7ea9509fa5c678db0de4cd87772ff06d83180.tar.bz2 | |
Merge pull request #114 from erikmd/make-gtk2
[make] Fix detection of lablgtk2 with OPAM
Diffstat (limited to 'src')
| -rw-r--r-- | src/Makefile.OCaml | 9 |
1 files changed, 7 insertions, 2 deletions
diff --git a/src/Makefile.OCaml b/src/Makefile.OCaml index ca9518a..7cefa2e 100644 --- a/src/Makefile.OCaml +++ b/src/Makefile.OCaml @@ -83,8 +83,13 @@ else ifeq ($(wildcard $(LABLGTK2LIB)),$(LABLGTK2LIB)) UISTYLE=gtk2 else - UISTYLE=text -endif + LABLGTK2LIB=$(abspath $(OCAMLLIBDIR)/../lablgtk2) + ifeq ($(wildcard $(LABLGTK2LIB)),$(LABLGTK2LIB)) + UISTYLE=gtk2 + else + UISTYLE=text + endif + endif endif buildexecutable:: @echo UISTYLE = $(UISTYLE) |