From dd41a7f8d8d07a8638a19404072c78e9d0ac01b2 Mon Sep 17 00:00:00 2001
From: Ludovic Courtès <ludo@gnu.org>
Date: Wed, 4 Oct 2017 21:35:31 +0200
Subject: file-systems: Add a 'location' field to <file-system>.

* gnu/system/file-systems.scm (<file-system>)[location]: New field.
---
 gnu/system/file-systems.scm | 6 +++++-
 1 file changed, 5 insertions(+), 1 deletion(-)

(limited to 'gnu')

diff --git a/gnu/system/file-systems.scm b/gnu/system/file-systems.scm
index 52f16676f5..92f040425d 100644
--- a/gnu/system/file-systems.scm
+++ b/gnu/system/file-systems.scm
@@ -38,6 +38,7 @@
             file-system-check?
             file-system-create-mount-point?
             file-system-dependencies
+            file-system-location
 
             file-system-type-predicate
 
@@ -101,7 +102,10 @@
   (create-mount-point? file-system-create-mount-point? ; Boolean
                        (default #f))
   (dependencies     file-system-dependencies      ; list of <file-system>
-                    (default '())))               ; or <mapped-device>
+                    (default '()))                ; or <mapped-device>
+  (location         file-system-location
+                    (default (current-source-location))
+                    (innate)))
 
 ;; Note: This module is used both on the build side and on the host side.
 ;; Arrange not to pull (guix store) and (guix config) because the latter
-- 
cgit v1.2.3

e8e540e475819'>tree</a><a href='/guix/commit/gnu/packages/coq.scm?id=a4c131a749941bf590b108f751fe8e540e475819'>commit</a><a href='/guix/diff/gnu/packages/coq.scm?id=a4c131a749941bf590b108f751fe8e540e475819'>diff</a></td><td class='form'><form class='right' method='get' action='/guix/log/gnu/packages/coq.scm'>
<input type='hidden' name='id' value='a4c131a749941bf590b108f751fe8e540e475819'/><select name='qt'>
<option value='grep'>log msg</option>
<option value='author'>author</option>
<option value='committer'>committer</option>
<option value='range'>range</option>
</select>
<input class='txt' type='search' size='10' name='q' value=''/>
<input type='submit' value='search'/>
</form>
</td></tr></table>
<div class='path'>path: <a href='/guix/log/?id=a4c131a749941bf590b108f751fe8e540e475819'>root</a>/<a href='/guix/log/gnu?id=a4c131a749941bf590b108f751fe8e540e475819'>gnu</a>/<a href='/guix/log/gnu/packages?id=a4c131a749941bf590b108f751fe8e540e475819'>packages</a>/<a href='/guix/log/gnu/packages/coq.scm?id=a4c131a749941bf590b108f751fe8e540e475819'>coq.scm</a></div><div class='content'><table class='list nowrap'><tr class='nohover'><th class='left'>Age</th><th class='left'>Commit message (<a href='/guix/log/gnu/packages/coq.scm?id=a4c131a749941bf590b108f751fe8e540e475819&amp;showmsg=1'>Expand</a>)</th><th class='left'>Author</th></tr>
<tr><td><span title='2022-06-18 13:15:09 +0200'>2022-06-18</span></td><td><a href='/guix/commit/gnu/packages/coq.scm?id=a24dbd25eb39a1823be48774f06124c181db679f'>gnu: coq: Update to 8.15.2.</a><span class='msg-avail'>...</span></td><td>Julien Lepiller</td></tr>
<tr><td><span title='2022-05-01 13:14:57 +0200'>2022-05-01</span></td><td><a href='/guix/commit/gnu/packages/coq.scm?id=556ccb4ae16562d200eeb00e4d22fc00fbee7959'>gnu: coq: Update to 8.15.1.</a><span class='msg-avail'>...</span></td><td>Julien Lepiller</td></tr>
<tr><td><span title='2022-02-11 10:36:39 +0100'>2022-02-11</span></td><td><a href='/guix/commit/gnu/packages/coq.scm?id=58ab579a9856eadb2acc4f2b47d3516734d0b6a4'>gnu: coq-stdpp: Update to 1.7.0.</a><span class='msg-avail'>...</span></td><td>Julien Lepiller</td></tr>
<tr><td><span title='2022-02-11 10:33:17 +0100'>2022-02-11</span></td><td><a href='/guix/commit/gnu/packages/coq.scm?id=74a1e5378ae5ef9e4520120446991914a59d4744'>gnu: coq-mathcomp: Update to 1.14.0.</a><span class='msg-avail'>...</span></td><td>Julien Lepiller</td></tr>
<tr><td><span title='2022-02-11 10:32:56 +0100'>2022-02-11</span></td><td><a href='/guix/commit/gnu/packages/coq.scm?id=5179f4525d0859794b0d75ee1792d0f731d1f9c4'>gnu: coq: Update to 8.15.0.</a><span class='msg-avail'>...</span></td><td>Julien Lepiller</td></tr>
<tr><td><span title='2022-02-11 10:32:53 +0100'>2022-02-11</span></td><td><a href='/guix/commit/gnu/packages/coq.scm?id=6b6474fec71c30a105e9d98f050b29a798b58a0b'>gnu: coq-interval: Update to 4.4.0.</a><span class='msg-avail'>...</span></td><td>Julien Lepiller</td></tr>
<tr><td><span title='2022-02-11 10:32:50 +0100'>2022-02-11</span></td><td><a href='/guix/commit/gnu/packages/coq.scm?id=238a900baeea8df7d02081bd1fb46e1ba3be4eb5'>gnu: coq-bignums: Update to 8.15.0.</a><span class='msg-avail'>...</span></td><td>Julien Lepiller</td></tr>
<tr><td><span title='2022-02-11 10:32:47 +0100'>2022-02-11</span></td><td><a href='/guix/commit/gnu/packages/coq.scm?id=575c4ad510da2c66b38d4ee636b7cd717d5913d3'>gnu: coq-gappa: Update to 1.5.1.</a><span class='msg-avail'>...</span></td><td>Julien Lepiller</td></tr>
<tr><td><span title='2022-02-11 10:32:24 +0100'>2022-02-11</span></td><td><a href='/guix/commit/gnu/packages/coq.scm?id=8a338de2766588f3efffd2ee608c85ff7f6877a3'>gnu: coq-flocq: Update to 4.0.0.</a><span class='msg-avail'>...</span></td><td>Julien Lepiller</td></tr>
<tr><td><span title='2021-12-22 00:41:57 +0100'>2021-12-22</span></td><td><a href='/guix/commit/gnu/packages/coq.scm?id=bdf74dad1a337c2745c80ca94c662e9de0e7b8bb'>gnu: coq: Update to 8.14.1.</a><span class='msg-avail'>...</span></td><td>Julien Lepiller</td></tr>
<tr><td><span title='2021-12-13 17:48:25 +0100'>2021-12-13</span></td><td><a href='/guix/commit/gnu/packages/coq.scm?id=8394619baceb118df92e355377fd543bb1aa501a'>gnu: Simplify package inputs.</a><span class='msg-avail'>...</span></td><td>Ludovic Courtès</td></tr>
<tr><td><span title='2021-11-30 03:52:00 +0100'>2021-11-30</span></td><td><a href='/guix/commit/gnu/packages/coq.scm?id=d95a982cdd898790d247f013440f08a448265e3f'>gnu: coq: Update to 8.14.0.</a><span class='msg-avail'>...</span></td><td>Julien Lepiller</td></tr>
<tr><td><span title='2021-11-30 03:19:33 +0100'>2021-11-30</span></td><td><a href='/guix/commit/gnu/packages/coq.scm?id=189501bf3b8facced98f08e73b7cdb83ec7a272b'>gnu: proof-general: Update to latest commit.</a><span class='msg-avail'>...</span></td><td>Julien Lepiller</td></tr>
<tr><td><span title='2021-11-30 03:19:21 +0100'>2021-11-30</span></td><td><a href='/guix/commit/gnu/packages/coq.scm?id=bcd4c7ae6a8e8374cc75a5daf8e8b27138dc162f'>gnu: coq-semantics: Update to 8.14.0.</a><span class='msg-avail'>...</span></td><td>Julien Lepiller</td></tr>
<tr><td><span title='2021-11-22 19:21:17 +0100'>2021-11-22</span></td><td><a href='/guix/commit/gnu/packages/coq.scm?id=cb296dfa2e2938d18ae0ee347bed0cc94bc79cf8'>gnu: proof-general: Adjust autoloads for Emacs.</a><span class='msg-avail'>...</span></td><td>zimoun</td></tr>
<tr><td><span title='2021-11-21 19:27:13 +0100'>2021-11-21</span></td><td><a href='/guix/commit/gnu/packages/coq.scm?id=63d8c7a82f54a338b0ffb1d1b93faa1d44303bf9'>gnu: coq-stdpp: Update to 1.6.0.</a><span class='msg-avail'>...</span></td><td>Julien Lepiller</td></tr>
<tr><td><span title='2021-11-21 19:27:10 +0100'>2021-11-21</span></td><td><a href='/guix/commit/gnu/packages/coq.scm?id=07fc7046d2ca8c8a7574408c2e3ce9c1e1bb5ff6'>gnu: coq-interval: Update to 4.3.1.</a><span class='msg-avail'>...</span></td><td>Julien Lepiller</td></tr>
<tr><td><span title='2021-11-21 19:27:05 +0100'>2021-11-21</span></td><td><a href='/guix/commit/gnu/packages/coq.scm?id=5bcf0101b295a2d5e3f227b2f122cdff45294e58'>gnu: coq-coquelicot: Update to 3.2.0.</a><span class='msg-avail'>...</span></td><td>Julien Lepiller</td></tr>
<tr><td><span title='2021-11-21 19:27:02 +0100'>2021-11-21</span></td><td><a href='/guix/commit/gnu/packages/coq.scm?id=698e5c38b44dad82b90c744b387486dec98e413f'>gnu: coq-mathcomp: Update to 1.13.0.</a><span class='msg-avail'>...</span></td><td>Julien Lepiller</td></tr>
<tr><td><span title='2021-11-21 19:26:57 +0100'>2021-11-21</span></td><td><a href='/guix/commit/gnu/packages/coq.scm?id=67fbcd437c9906f52b5311058b1c6b48e4c94d02'>gnu: coq-gappa: Update to 1.5.0.</a><span class='msg-avail'>...</span></td><td>Julien Lepiller</td></tr>
<tr><td><span title='2021-11-21 19:26:26 +0100'>2021-11-21</span></td><td><a href='/guix/commit/gnu/packages/coq.scm?id=45bc66dbe9cd7aa3f5d8189f3286867594768089'>gnu: coq-flocq: Update to 3.4.2.</a><span class='msg-avail'>...</span></td><td>Julien Lepiller</td></tr>
<tr><td><span title='2021-11-20 00:39:01 +0100'>2021-11-20</span></td><td><a href='/guix/commit/gnu/packages/coq.scm?id=27c701a17bd86b8fee5196013d3d17b401476be5'>gnu: coq-interval: Update home-page.</a><span class='msg-avail'>...</span></td><td>Julien Lepiller</td></tr>
<tr><td><span title='2021-11-20 00:38:55 +0100'>2021-11-20</span></td><td><a href='/guix/commit/gnu/packages/coq.scm?id=d326fdb7af55dcfac696954d8663d95c849b8d09'>gnu: coq-gappa: Update home-page.</a><span class='msg-avail'>...</span></td><td>Julien Lepiller</td></tr>
<tr><td><span title='2021-11-20 00:36:08 +0100'>2021-11-20</span></td><td><a href='/guix/commit/gnu/packages/coq.scm?id=5f7fb8bd37768174981e2e5c497bd01da3675f17'>gnu: coq-flocq: Update home-page.</a><span class='msg-avail'>...</span></td><td>Julien Lepiller</td></tr>
<tr><td><span title='2021-11-18 04:30:41 +0100'>2021-11-18</span></td><td><a href='/guix/commit/gnu/packages/coq.scm?id=7537ec816ffe0aaa6677c53604ac12fe9d9ca250'>gnu: coq-stdpp: Adjust '#:make-flags'.</a><span class='msg-avail'>...</span></td><td>zimoun</td></tr>
<tr><td><span title='2021-11-18 04:25:38 +0100'>2021-11-18</span></td><td><a href='/guix/commit/gnu/packages/coq.scm?id=4423caece69f6142eeff562007ce53b9144de334'>gnu: coq-equations: Adjust '#:make-flags'.</a><span class='msg-avail'>...</span></td><td>zimoun</td></tr>
<tr><td><span title='2021-11-18 04:22:21 +0100'>2021-11-18</span></td><td><a href='/guix/commit/gnu/packages/coq.scm?id=5d7d64ff8567abb32defbf00038fab789353a8d5'>gnu: coq-autosubst: Adjust '#:make-flags'.</a><span class='msg-avail'>...</span></td><td>zimoun</td></tr>
<tr><td><span title='2021-11-18 04:08:08 +0100'>2021-11-18</span></td><td><a href='/guix/commit/gnu/packages/coq.scm?id=7b93c6d77786c27171900045f62be0fce69432f7'>gnu: coq-mathcomp: Adjust '#:make-flags'.</a><span class='msg-avail'>...</span></td><td>zimoun</td></tr>
<tr><td><span title='2021-11-18 04:08:00 +0100'>2021-11-18</span></td><td><a href='/guix/commit/gnu/packages/coq.scm?id=2d60af4d6d486591c5a6981659d1771b7c69781a'>gnu: Add coq-semantics.</a><span class='msg-avail'>...</span></td><td>zimoun</td></tr>
<tr><td><span title='2021-10-08 04:33:52 +0200'>2021-10-08</span></td><td><a href='/guix/commit/gnu/packages/coq.scm?id=b1baba38c0dd37a44c0be901421431cbdcca21e5'>gnu: coq: Add upstream-name.</a><span class='msg-avail'>...</span></td><td>Julien Lepiller</td></tr>
<tr><td><span title='2021-07-31 23:06:16 +0200'>2021-07-31</span></td><td><a href='/guix/commit/gnu/packages/coq.scm?id=e38b4d5ceb344c9707917a7d32df50d0ced082b5'>gnu: coq: Update to 8.13.2.</a><span class='msg-avail'>...</span></td><td>Julien Lepiller</td></tr>
<tr><td><span title='2021-07-31 23:06:14 +0200'>2021-07-31</span></td><td><a href='/guix/commit/gnu/packages/coq.scm?id=3c44aa2b7456b371a7d5fc52120cca7d3e002f0c'>gnu: coq-stdpp: Update to 1.5.0.</a><span class='msg-avail'>...</span></td><td>Julien Lepiller</td></tr>