@@ -375,6 +375,7 @@ Test-suite regression-and-feature-tests
376Executable idris-codegen-c
376Executable idris-codegen-c
377 Main-is: Main.hs
377 Main-is: Main.hs
378+ other-modules: Paths_idris
378 hs-source-dirs: codegen/idris-codegen-c
379 hs-source-dirs: codegen/idris-codegen-c
380 Build-depends: idris
381 Build-depends: idris
@@ -389,6 +390,7 @@ Executable idris-codegen-c
390Executable idris-codegen-javascript
391Executable idris-codegen-javascript
391 Main-is: Main.hs
392 Main-is: Main.hs
393+ other-modules: Paths_idris
392 hs-source-dirs: codegen/idris-codegen-javascript
394 hs-source-dirs: codegen/idris-codegen-javascript
394 Build-depends: idris
396 Build-depends: idris
@@ -403,6 +405,7 @@ Executable idris-codegen-javascript
404Executable idris-codegen-node
406Executable idris-codegen-node
405 Main-is: Main.hs
407 Main-is: Main.hs
408+ other-modules: Paths_idris
406 hs-source-dirs: codegen/idris-codegen-node
409 hs-source-dirs: codegen/idris-codegen-node
408 Build-depends: idris
411 Build-depends: idris