download: Export 'maybe-expand-mirrors'.

* guix/build/download.scm (uri-vicinity, maybe-expand-mirrors): New
  procedures.
  (url-fetch): Remove them from here.

tests: Make the 'lint' tests slightly more concise.

* tests/lint.scm (with-warnings): New macro.
  Replace all uses of 'call-with-warnings' with the corresponding
  'with-warnings' form.

tests: Factorize the 'dummy-package' macro.

* guix/tests.scm (dummy-package): New macro.
* tests/lint.scm (dummy-package): Remove.
* tests/packages.scm (dummy-package): Remove.

lint: Add tests for the 'home-page' checker.

Suggested by Cyril Roelandt <tipecaml@gmail.com>.

* tests/lint.scm (%http-server-port, %http-server-socket, %local-url,
  stub-http-server): New variables.
  (http-write, call-with-http-server): New procedures.
  (with-http-server): New macro.
  ("home-page: wrong home-page", "home-page: invalid URI", "home-page:
  host not found", "home-page: Connection refused", "home-page: 200",
  "home-page: 404"): New tests.
* guix/scripts/lint.scm (check-home-page): Export.

gnu: Fix misuses of 'x11-style' licenses.

* gnu/packages/xorg.scm (libevdev)[license]: Actually call
  'license:x11-style'.
  (libxshmfence): Likewise.

lint: Report on the package being checked.

* guix/scripts/lint.scm (run-checkers): Check
  whether (current-error-port) is a tty, and print the package being
  checked and the checker currently running when it is.

gnu: Fix or update a number of 'home-page' fields.

* gnu/packages/fltk.scm (fltk): Fix 'home-page'.
* gnu/packages/fonts.scm (font-bitstream-vera): Likewise, and fix
  license URL.
* gnu/packages/games.scm (gnubg, cmatrix, chess): Fix 'home-page'.
* gnu/packages/kde.scm (attica): Likewise.
* gnu/packages/mail.scm (fetchmail): Likewise.
* gnu/packages/popt.scm (popt): Likewise.
* gnu/packages/python.scm (python-mock): Likewise.
* gnu/packages/stalonetray.scm (stalonetray): Likewise.

lint: Add 'home-page' checker.

* guix/build/download.scm (open-connection-for-uri): Export.
* guix/scripts/lint.scm (probe-uri, check-home-page): New procedures.
  (%checkers): Add 'home-page' checker.

Merge branch 'xorg-updates'

gnu: vtk: Fix build with mesa-10.

* gnu/packages/patches/vtk-mesa-10.patch: New file.
* gnu-system.am (dist_patch_DATA): Add it.
* gnu/packages/vtk.scm (vtk): Add patch.  Add glu to inputs.

gnu: gmsh: Add glu to inputs.

* gnu/packages/maths.scm (gmsh): Add glu to inputs.

nls: Add French translation for packages.

gnu: Add pysam.

* gnu/packages/python.scm (python-pysam, python2-pysam): New variables.

Signed-off-by: Ludovic Courtès <ludo@gnu.org>

gnu: Add fastjar.

* gnu/packages/compression.scm (fastjar): New variable.

Signed-off-by: Ludovic Courtès <ludo@gnu.org>

gnu: irrlicht: Fix build with mesa-10.

* gnu/packages/patches/irrlicht-mesa-10.patch: New file.
* gnu-system.am (dist_patch_DATA): Add it.
* gnu/packages/games.scm (irrlicht): Add patch.  Add glu to inputs.

Merge branch 'master' into xorg-updates

gnu: qemu: Update to 2.2.0.

* gnu/packages/qemu.scm (qemu): Update to 2.2.0.

gnu: pingus: Add glu to inputs.

* gnu/packages/games.scm (pingus): Add glu to inputs.

gnu: gnubik: Add glu to inputs.

* gnu/packages/games.scm (gnubik): Add glu to inputs.

gnu: gnubg: Add glu to inputs.

* gnu/packages/games.scm (gnubg): Add glu to inputs.