FStarLang#1087 Allow interleaving of F# and F* sources in a project

Preserve the order of files for extraction and F# compilation
mateuszbujalski · Jun 18, 2020 · e777c3e · e777c3e
1 parent 9f0723c
commit e777c3e
Show file tree

Hide file tree

Showing 17 changed files with 472 additions and 343 deletions.
diff --git a/examples/algorithms/BinarySearch.fst.hints b/examples/algorithms/BinarySearch.fst.hints
diff --git a/examples/algorithms/BinarySearch/BinarySearch.fsproj b/examples/algorithms/BinarySearch/BinarySearch.fsproj
@@ -47,7 +47,7 @@
   </PropertyGroup>
   <Import Project="$(FSTAR_HOME)\fsharp.extraction.targets" />
   <ItemGroup>
-    <FStarSourceFile Include="..\BinarySearch.fst" />
+    <Compile Include="..\BinarySearch.fst" Link="BinarySearch.fst" />
     <None Include="BinarySearch.repl.fsx" />
     <Content Include="packages.config" />
   </ItemGroup>