Merge pull request #3 from distrap/srk/chores

Chores

Author: sorki

.gitignore

@@ -1,4 +1,5 @@
 dist
+dist-newstyle
 .cabal-sandbox
 cabal.sandbox.config
 TAGS

.travis.yml

@@ -1,3 +1,4 @@
+Copyright (C) 2017-2023, distrap.org
 Copyright (C) 2014-2015, Galois, Inc.
 All rights reserved.
 

CODE_OF_CONDUCT.md

@@ -1,3 +1,5 @@
+[![GitHub Workflow Status](https://img.shields.io/github/actions/workflow/status/distrap/tower/ci.yaml?branch=main)](https://github.com/distrap/tower/actions/workflows/ci.yaml)
+
 # [Tower][tower]
 
 ## About
@@ -12,9 +14,9 @@ system running on the [STM32][] line of microcontrollers is available in
 the [ivory-tower-stm32][] repo, and a backend for general purpose POSIX
 operating systems is available in the [ivory-tower-posix][] repo.
 
-[![Build Status](https://travis-ci.org/GaloisInc/tower.svg?branch=tower-9)](https://travis-ci.org/GaloisInc/tower)
-
 ## Copyright and license
+
+Copyright 2017-2022, distrap.org
 Copyright 2015 [Galois, Inc.][galois]
 
 Licensed under the BSD 3-Clause License; you may not use this work except in
@@ -24,21 +26,12 @@ file.
 Portions Copyright (c) 2013-2014, Spiros Eliopoulos, derived from the now
 unmaintained `toml` package.
 
-[ivory]: http://github.com/GaloisInc/ivory
-[tower]: http://github.com/GaloisInc/tower
-[ivory-tower-stm32]: http://github.com/GaloisInc/ivory-tower-stm32
-[ivory-tower-posix]: http://github.com/GaloisInc/ivory-tower-posix
+[ivory]: http://github.com/distrap/ivory
+[tower]: http://github.com/distrap/tower
+[ivory-tower-stm32]: http://github.com/distrap/ivory-tower-stm32
+[ivory-tower-posix]: http://github.com/distrap/ivory-tower-posix
 [overview]: http://smaccmpilot.org/software/tower-overview.html
 
 [STM32]: http://www.st.com/stm32
 [freertos]: http://freertos.org
 [galois]: http://galois.com
-
-
-## Contributing
-
-This project adheres to the
-[Contributor Covenant code of conduct](CODE_OF_CONDUCT.md).
-By participating, you are expected to uphold this code. Please report unaccpetable
-behavior to [[email protected]](mailto:[email protected]).
-

LICENSE

@@ -8,7 +8,7 @@ packages:
 source-repository-package
   type: git
   location: https://github.com/distrap/ivory
-  tag: e5e316c79998abe62bfd6d2e9f9bcfd311593948
+  tag: 802a976df29a5cac18b689b99f83f39d2f161319
   subdir:
     ivory
     ivory-artifact

Makefile

@@ -0,0 +1,14 @@
+package tower
+    ghc-options: -Wall -Werror -Wunused-packages
+
+package tower-aadl
+    ghc-options: -Wall -Werror -Wunused-packages
+
+package tower-config
+    ghc-options: -Wall -Werror -Wunused-packages
+
+package tower-hal
+    ghc-options: -Wall -Werror -Wunused-packages
+
+package tower-mini
+    ghc-options: -Wall -Werror -Wunused-packages