Fixed canonicalized/non-canonicalized path mismatch

Author: franv314

task-maker-format/src/ioi/sanity_checks/statement.rs

@@ -296,6 +296,8 @@ impl SanityCheck for StatementCompiledOrGit {
                 return Ok(());
             };
 
+            let relative_target = relatively_resolve_symlink(path)?;
+
             if booklet_dest.contains(target) {
                 return Ok(());
             }
@@ -314,7 +316,7 @@ impl SanityCheck for StatementCompiledOrGit {
                 )),
             )?;
 
-            if check_known_to_git(task, task.path_of(target))? {
+            if check_known_to_git(task, task.path_of(&relative_target))? {
                 return Ok(());
             }
 
@@ -323,10 +325,10 @@ impl SanityCheck for StatementCompiledOrGit {
             eval.add_diagnostic(
                 Diagnostic::error(format!(
                     "The official statement at {} is not compiled by task-maker and not known to git",
-                    task.path_of(target).display()
+                    task.path_of(&relative_target).display()
                 ))
                 .with_note("This means that it won't be available outside of your local directory")
-                .with_help(format!("Try git add -f {}", task.path_of(target).display()))
+                .with_help(format!("Try git add -f {}", task.path_of(&relative_target).display()))
             )?;
 
             Ok(())
@@ -462,6 +464,14 @@ fn extract_subtasks(path: &Path, tex: &str) -> Option<Vec<ExtractedSubtask>> {
         .or_else(|| check_subtasks_ois(path, tex))
 }
 
+fn relatively_resolve_symlink(path: &Path) -> Result<PathBuf, Error> {
+    let mut path = path.to_path_buf();
+    while path.is_symlink() {
+        path = path.read_link()?;
+    }
+    Ok(path)
+}
+
 /// Search for the statement file, returning its path or None if it doesn't exists.
 ///
 /// Will return the path even in case of broken links.