First login?
Lost password?
 
 
 
mailing-list for TeXmacs Users

Text archives Help


Re: Choose directory for plugin installation


Chronological Thread 
  • From: Darcy Shen <address@hidden>
  • To: "mobinmob" <address@hidden>
  • Cc: "texmacs-users" <address@hidden>
  • Subject: Re: Choose directory for plugin installation
  • Date: Sat, 31 Aug 2019 16:43:58 +0800
  • Arc-authentication-results: i=1; mx.zoho.com; dkim=pass header.i=zoho.com; spf=pass smtp.mailfrom=address@hidden; dmarc=pass header.from=<address@hidden> header.from=<address@hidden>
  • Arc-message-signature: i=1; a=rsa-sha256; c=relaxed/relaxed; d=zoho.com; s=zohoarc; t=1567241039; h=Content-Type:Cc:Date:From:In-Reply-To:MIME-Version:Message-ID:References:Subject:To:ARC-Authentication-Results; bh=nn/PrOxYOf9woW7m/HsKmKodeRd193M9GvlEz4FoGx0=; b=UM+hUz+rBfzRxXfuX7KFmYpFUG4Mg4TgOlauHmI1+QYzVs/ZHScK+vxCNaSl2nVyFOrHh8XoYYNYDJVfQhLtzcEKckN+IHp8Mi7uHaYgh2rEAPER/5GNWkxJF6YRoGbQnlzaYZkpRfKvDpr0hpvsR2cNTLflEBG5cKd9HVBBMKA=
  • Arc-seal: i=1; a=rsa-sha256; t=1567241039; cv=none; d=zoho.com; s=zohoarc; b=EMfcDL2fY2vVT4BW40cN6erJ35i5RKpoozdFDI+hKWxhXALwjFBctoLaSv64fXWyXheKF4mI54toPw7WP4/QQUffahtCB6BgACcBRIrrReaskakO4S8bqr79mkb/VIUc5G6O53rNEvUR/VQ201toLHen3jPIyM3V5jv0/i35g4U=
  • Domainkey-signature: a=rsa-sha1; q=dns; c=nofws; s=zapps768; d=zoho.com; h=date:from:to:cc:message-id:in-reply-to:references:subject:mime-version:content-type:user-agent; b=EVAoG8Ohu69+v37qNh0gwWvAY5LdFI1pm/FRXpc0+ukZuPv1K/iIlAZDgAfCN28IBp+sDINFwTKA H63XZNGGKctVQ0mzDeTZZENORdB58sSN8+AIKt8FIJpEsIGr3XJk
You may only change install directories of the elf binaries.

see:

Only, axiom/coq/maple/r/shell subprojects will built the elf binaries. Just put these binaries under the $PATH. And TeXmacs will be able to launch it.

---- On Fri, 30 Aug 2019 01:36:53 +0800 mobinmob <address@hidden> wrote ----

Hi!

I am trying to package texmacs (v1.99.1) for voidlinux using cmake [1]. The distribution does not allow installation of ELF files under /usr/share and the rule is enforced during packaging [2].

Is it possible to change the installation directory for plugins?

[1]https://github.com/mobinmob/void-packages/commit/1b62798bb859d0956300fccf4e1e4ad25446cc51

[2]https://github.com/void-linux/void-packages/blob/master/common/hooks/post-install/11-pkglint-elf-in-usrshare.sh




Archive powered by MHonArc 2.6.19.

Top of page