Skip to content
Permalink
Browse files

restore fsdoc.sh

  • Loading branch information
mtzguido committed Dec 11, 2017
1 parent d4803fa commit c08cfbd6bd5e092519f9ce6001943e5c48d9ef4f
Showing with 3 additions and 83 deletions.
  1. +3 −83 .ci/fsdoc.sh
@@ -21,90 +21,10 @@ mkdir -p "$FSDOC_ODIR"
pushd ulib
# Get fst, fsti files (files are name-sorted by default).
# SI: Used to be this:
#FST_FILES=(*.fst *.fsti)
# but FStar.IndefiniteDescription.fst fails to parse;
# prims.fst has a lower-case filename but an upper-case modulename
# (pandoc looks for Prims.md but there's only a prims.md).
FST_FILES=(
FStar.All.fst \
FStar.Array.fst \
FStar.Axiomatic.Array.fst \
FStar.BaseTypes.fsti \
FStar.BitVector.fst \
FStar.Buffer.fst \
FStar.Buffer.Quantifiers.fst \
FStar.Bytes.fst \
FStar.Char.fsti \
FStar.Classical.fst \
FStar.Constructive.fst \
FStar.Crypto.fst \
FStar.ErasedLogic.fst \
FStar.Float.fsti \
FStar.FunctionalExtensionality.fst \
FStar.Ghost.fst \
FStar.Heap.fst \
FStar.HyperHeap.fst \
FStar.HyperStack.fst \
FStar.Int.Cast.fst \
FStar.Int.fst \
FStar.Int128.fst \
FStar.Int16.fst \
FStar.Int31.fst \
FStar.Int32.fst \
FStar.Int63.fst \
FStar.Int64.fst \
FStar.Int8.fst \
FStar.Integers.fst \
FStar.IO.fsti \
FStar.List.Tot.fst \
FStar.List.Tot.Properties.fst \
FStar.List.Tot.fst \
FStar.List.fst \
FStar.Map.fst \
FStar.MarkovsPrinciple.fst \
FStar.Math.Lemmas.fst \
FStar.Math.Lib.fst \
FStar.Matrix2.fsti \
FStar.Monotonic.RRef.fst \
FStar.Monotonic.Seq.fst \
FStar.MRef.fst \
FStar.Mul.fst \
FStar.Option.fsti \
FStar.OrdMap.fst \
FStar.OrdMapProps.fst \
FStar.OrdSet.fst \
FStar.OrdSetProps.fst \
FStar.PredicateExtensionality.fst \
FStar.PropositionalExtensionality.fst \
FStar.Reader.fst \
FStar.Relational.Comp.fst \
FStar.Relational.Relational.fst \
FStar.Relational.State.fst \
FStar.Seq.Base.fst \
FStar.Seq.Properties.fst \
FStar.Seq.fst \
FStar.Set.fst \
FStar.Squash.fst \
FStar.Squash.fsti \
FStar.SquashEffect.fst \
FStar.SquashProperties.fst \
FStar.ST.fst \
FStar.String.fsti \
FStar.StrongExcludedMiddle.fst \
FStar.Tcp.fst \
FStar.TSet.fst \
FStar.TwoLevelHeap.fst \
FST_FILES=(FStar.*.fst FStar.*.fsti)

FStar.UInt.fst \
FStar.UInt128.fst \
FStar.UInt16.fst \
FStar.UInt31.fst \

FStar.UInt32.fst \
FStar.UInt63.fst \
FStar.UInt64.fst \
FStar.UInt8.fst \
FStar.Util.fst)
# In case some files needs to be removed use this:
# FST_FILES=( ${FST_FILES[@]/"prims.fst"} )

../bin/fstar-any.sh --odir "../$FSDOC_ODIR" --doc ${FST_FILES[*]}
popd

0 comments on commit c08cfbd

Please sign in to comment.
You can’t perform that action at this time.