-
-
Notifications
You must be signed in to change notification settings - Fork 13.7k
Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Merge remote-tracking branch 'upstream/release-18.03' into meta-check…
…-18.03
- Loading branch information
Showing
844 changed files
with
28,826 additions
and
15,943 deletions.
There are no files selected for viewing
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Original file line number | Diff line number | Diff line change |
---|---|---|
@@ -0,0 +1,6 @@ | ||
*.chapter.xml | ||
*.section.xml | ||
.version | ||
out | ||
manual-full.xml | ||
highlightjs |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Original file line number | Diff line number | Diff line change |
---|---|---|
@@ -0,0 +1,96 @@ | ||
MD_TARGETS=$(addsuffix .xml, $(basename $(wildcard ./*.md ./**/*.md))) | ||
|
||
.PHONY: all | ||
all: validate out/html/index.html out/epub/manual.epub | ||
|
||
.PHONY: debug | ||
debug: | ||
nix-shell --run "xmloscopy --docbook5 ./manual.xml ./manual-full.xml" | ||
|
||
.PHONY: clean | ||
clean: | ||
rm -f ${MD_TARGETS} .version manual-full.xml | ||
rm -rf ./out/ ./highlightjs | ||
|
||
.PHONY: validate | ||
validate: manual-full.xml | ||
jing "$$RNG" manual-full.xml | ||
|
||
out/html/index.html: manual-full.xml style.css highlightjs | ||
mkdir -p out/html | ||
xsltproc ${xsltFlags} \ | ||
--nonet --xinclude \ | ||
--output $@ \ | ||
"$$XSL/docbook/xhtml/docbook.xsl" \ | ||
./manual-full.xml | ||
|
||
mkdir -p out/html/highlightjs/ | ||
echo "document.onreadystatechange = function () { \ | ||
var listings = document.querySelectorAll('.programlisting, .screen'); \ | ||
for (i = 0; i < listings.length; ++i) { \ | ||
hljs.highlightBlock(listings[i]); \ | ||
} \ | ||
} " > out/html/highlightjs/loader.js | ||
|
||
cp -r highlightjs out/html/ | ||
|
||
cp ./overrides.css out/html/ | ||
cp ./style.css out/html/style.css | ||
|
||
mkdir -p out/html/images/callouts | ||
cp "$$XSL/docbook/images/callouts/"*.svg out/html/images/callouts/ | ||
chmod u+w -R out/html/ | ||
|
||
out/epub/manual.epub: manual-full.xml | ||
mkdir -p out/epub/scratch | ||
xsltproc ${xsltFlags} --nonet \ | ||
--output out/epub/scratch/ \ | ||
"$$XSL/docbook/epub/docbook.xsl" \ | ||
./manual-full.xml | ||
|
||
cp ./overrides.css out/epub/scratch/OEBPS | ||
cp ./style.css out/epub/scratch/OEBPS | ||
mkdir -p out/epub/scratch/OEBPS/images/callouts/ | ||
cp "$$XSL/docbook/images/callouts/"*.svg out/epub/scratch/OEBPS/images/callouts/ | ||
echo "application/epub+zip" > mimetype | ||
zip -0Xq "out/epub/manual.epub" mimetype | ||
rm mimetype | ||
cd "out/epub/scratch/" && zip -Xr9D "../manual.epub" * | ||
rm -rf "out/epub/scratch/" | ||
|
||
highlightjs: | ||
mkdir -p highlightjs | ||
cp -r "$$HIGHLIGHTJS/highlight.pack.js" highlightjs/ | ||
cp -r "$$HIGHLIGHTJS/LICENSE" highlightjs/ | ||
cp -r "$$HIGHLIGHTJS/mono-blue.css" highlightjs/ | ||
|
||
|
||
manual-full.xml: ${MD_TARGETS} .version *.xml | ||
xmllint --nonet --xinclude --noxincludenode manual.xml --output manual-full.xml | ||
|
||
.version: | ||
nix-instantiate --eval \ | ||
-E '(import ../lib).nixpkgsVersion' > .version | ||
|
||
%.section.xml: %.section.md | ||
pandoc $^ -w docbook+smart \ | ||
-f markdown+smart \ | ||
| sed -e 's|<ulink url=|<link xlink:href=|' \ | ||
-e 's|</ulink>|</link>|' \ | ||
-e 's|<sect. id=|<section xml:id=|' \ | ||
-e 's|</sect[0-9]>|</section>|' \ | ||
-e '1s| id=| xml:id=|' \ | ||
-e '1s|\(<[^ ]* \)|\1xmlns="http://docbook.org/ns/docbook" xmlns:xlink="http://www.w3.org/1999/xlink" |' \ | ||
| cat > $@ | ||
|
||
%.chapter.xml: %.chapter.md | ||
pandoc $^ -w docbook+smart \ | ||
--top-level-division=chapter \ | ||
-f markdown+smart \ | ||
| sed -e 's|<ulink url=|<link xlink:href=|' \ | ||
-e 's|</ulink>|</link>|' \ | ||
-e 's|<sect. id=|<section xml:id=|' \ | ||
-e 's|</sect[0-9]>|</section>|' \ | ||
-e '1s| id=| xml:id=|' \ | ||
-e '1s|\(<[^ ]* \)|\1|' \ | ||
| cat > $@ |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
File renamed without changes.
File renamed without changes.
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Original file line number | Diff line number | Diff line change |
---|---|---|
@@ -0,0 +1,39 @@ | ||
Idris packages | ||
============== | ||
|
||
This directory contains build rules for idris packages. In addition, | ||
it contains several functions to build and compose those packages. | ||
Everything is exposed to the user via the `idrisPackages` attribute. | ||
|
||
callPackage | ||
------------ | ||
|
||
This is like the normal nixpkgs callPackage function, specialized to | ||
idris packages. | ||
|
||
builtins | ||
--------- | ||
|
||
This is a list of all of the libraries that come packaged with Idris | ||
itself. | ||
|
||
build-idris-package | ||
-------------------- | ||
|
||
A function to build an idris package. Its sole argument is a set like | ||
you might pass to `stdenv.mkDerivation`, except `build-idris-package` | ||
sets several attributes for you. See `build-idris-package.nix` for | ||
details. | ||
|
||
build-builtin-package | ||
---------------------- | ||
|
||
A version of `build-idris-package` specialized to builtin libraries. | ||
Mostly for internal use. | ||
|
||
with-packages | ||
------------- | ||
|
||
Bundle idris together with a list of packages. Because idris currently | ||
only supports a single directory in its library path, you must include | ||
all desired libraries here, including `prelude` and `base`. |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Oops, something went wrong.