diff options
author | Vivien Kraus <vivien@planete-kraus.eu> | 2022-10-26 00:17:23 +0200 |
---|---|---|
committer | Vivien Kraus <vivien@planete-kraus.eu> | 2022-10-26 00:17:48 +0200 |
commit | 498a16b4f63359923a72038be217b6b1dca6361a (patch) | |
tree | f5f41921eab83456487d06154521f9c5863a5983 | |
parent | d064b4704d9939e089319fc893243669900f2982 (diff) |
Do not build gtk with tracker.
-rw-r--r-- | disfluid/maintainer/channel-code.scm | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/disfluid/maintainer/channel-code.scm b/disfluid/maintainer/channel-code.scm index bc45356..d669194 100644 --- a/disfluid/maintainer/channel-code.scm +++ b/disfluid/maintainer/channel-code.scm @@ -165,12 +165,14 @@ (append (,(string->symbol "ungexp") configure-flags) (list - "-Dmedia-gstreamer=disabled")))))) + "-Dmedia-gstreamer=disabled" + "-Dtracker=disabled")))))) (inputs (filter (match-lambda (("gst-plugins-bad" . _) #f) (("gst-plugins-base" . _) #f) + (("tracker" . _) #f) (else #t)) (package-inputs gtk)))))) (call-with-input-file |